Eitava väite predikaadina 6. Disjunktsioonitehte eitus on … Selle operandide eituste konjunktsioon. 7. Traditsioonilisele arutlusele „üldiselt üksikule“ vastab klassikalises loogikas … Üldisuskvantori eemaldamine. 8. Olgu antud süllogism: „Kui kana ei mune, siis ta ei kaaguta. Kana kaagutab, seega ta muneb.“ Millise süllogismi moodusega on tegu? Kehtiv modus tollens 9. Milline allpool toodud operaatoritest on aleetilises loogikas üks kahest peamisest operaatorist? Võimalikkuse operaator 10.Milline järgnevatest väidetest on väär? Alamtuletuste sees ei tohi olla täiendavaid alamtulemusi. Tingimuslik tõestus sisaldab alamtuletusi. Väljaspool alamtuletust ei tohi kasutada alamtuletuse sammude vahetulemeid. Väljaspool alamtuletust tohib kasutada alamtuletuse lõppjäreldust. Kaudne tõestus sisaldab alamtuletusi. 11
korral 83. Tingiv-kategoorilises süllogismis tagab tõekindla järelduse tagajärje eitamine 84. Ristuvad terminid on ühitatavad 85. Vasturääkivusseaduse põhjal on arutlus vasturääkiv, siis kui mingi väide, mis esineb arutluses korduvalt esineb nii tõese kui ka väärana. (Ei saa olla tõene, et väide p ja väide mitte-p on korraga tõesed.) 86. Disjunktsioon on väär siis ja ainult siis, kui selle mõlemad osalaused on väärad Aleetilises loogikas võetakse kasutusele: A) võimatu ja paratamatuse opetaatorid B) võimatu ja sattumuslikkuse operaatorid C) võimalikkuse ja paratamatuse operaatorid ÕIGE D) võimalikkuse ja sattumuslikkuse operaatorid E) paratamatuse ja sattumuslikkuse operaatorid Loogiliselt paratamatu on lause, mis kehtib: A)ühes konkreetses võimalikus maailmas B) vähemalt ühes võimalikus maailmas C) vähemalt kahes võimalikus maailmas D) kõikides võimalikes maailmades ÕIGE
kasutusel, tähistamaks modaalseid kõneviise ja verbe, mis on seotud nt lubamise ja keelamise, võimalikkuse ning hinnangutega. Loogikas vastavad neile modaalsed operaatorid. 2 Leibnizi järgi on olemas lõpmatult palju võimalikke maailmu, kuid Jumal valis tegelikuks maailmaks välja kõikidest võimalikest kõige parema (2005: 168[229]). 2 Aleetilises modaalses loogikas võetakse kasutusele võimalikkuse modaalne operaator ja paratamatuse modaalne operaator ning neid kasutatakse süntaksi poolest sarnaselt eitusega, järgnevates valemites tähistab p suvalist formaalset lauset: on võimalik, et p p või Pp (Possible); on paratamatu, et p p või Np (Necessary); on võimatu, et p ¬ p või Ip (Impossible). Allpool kasutatakse samu sümboleid mis lauseloogikas, neile lisanduvad modaalsed operaatorid
annaabi.ee 
