LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
termineid (mõisteid) kui ka väiteid
41. Osaeitava otsustuse terminite (subjekt- S, predikaat- P) mahud on S- ja P+
42. Tõesustabeliga etteantud tõeväärtusega lauset saab alati kirja panna
disjunktiivsel normaalkuju
43. Üldisuskvantori sissetoomisel (loomulikus tuletussüsteemis) tuleb asendada
suvaline konstant kvantoriga seotud muutujaga
44. Kompromissi vasturääkivas arutluses ei luba: välistatud kolmanda seadus
45. Subkontraarsete väidete puhul on paratamatu, et kui üks on väär, siis teine on
tõene
46. Kui dilemmas esineb järeldustüüp modus ponens, siis on tegemist:
konstruktiivse dilemmaga
47. Deontiliste lausete loogilises ruudus on operaatoriga lubatud subkontraarne
(osavastand) operaator mittekohustuslik
48. Üldeitavast väitest saab pärast ümberpööramist üldeitav
49. Tingiv –kategoorilise süllogismi kehtiv moodus modus tollens kehtib siis, kui
süllogismis toimub: tagajärje eitamine
50
annaabi.ee 
