SML kordamisküsimustele vastused.
SISSEJUHATUS MATEMAATILISSE LOOGIKASSE
Kordamisküsimused (orienteeruv)
Mõnede sümbolite tähendused
sõna Materjal puudub & Konjuktsioon Ekvivalents üldisuskvantor
Järeldumine Disjunktisoon ¬ Eitus olemasolukvantor
Signatuur Implikatsioon Samaväärsus Loogiline järeldumine
I. Lausearvutus
Laused. Lausearvutuse tehted. Valem. Valemi tõeväärtus. Tõeväärtustabel.
Laused
Põhilised uuritavad objektid lausearvutuses on laused, mis võimaldavad pärineda ükskõik
millisest valdkonnast. Oluline on, et igale lausearvutusele saaks vastavusse seada
tõeväärtuse, mis kirjeldab lause tegelikkusele vastava määra. Eeldame, et käsitlevad
laused rahuldavad järgmisi tingimusi:
· Välistatud kolmanda seadus. Iga lause on kas tõene või väär
· Mittevasturääkivuse seadus...
annaabi.ee 
