"formaliseeritudkujul" - 1 õppematerjal

Loogika ja matemaatika

faktidele garanteerib alati edu Mõtlemise aspektid Kui väide A on õige, siis A on õige Kui A ja B, siis A Ei ole tõsi, et A ja mitte A Modus ponens: Kui Ast järeldub B ja A on tõsi, siis on ka B tõsi. Näide: Iga anarhist on vabaabielu pooldaja Mõned valitseva partei liikmed on anarhistid --------------------------------------------- Mõned valitseva partei liikmed on vabaabielu pooldajad Näite jätk Iga x on y Mõni z on x ------------------- Mõni z on y Loogika - keel formaliseeritudkujul, kasutades kunstlikke formaalseid keeli Lausearvutuse keel Predikaatarvutuse keel Reeglid Samasusseadus ­ ühegi lause sisu ei muutu arutluse käigus Vasturääkivusseadus ­ ükski lause ei saa olla endaga vastuolus Välistatud kolmanda seadus ­ iga lause on kas tõene või väär, kolmandat võimalust ei ole Küllaldase aluse seadus ­ ühtli lauset ei saa pidada tõeseks või vääraks ilma küllaldase aluseta. Näide Maril on täna hea tuju Kui Maril on hea tuju, siis on Jüri