vahetada? Milline on väär? Olemasolukvantor tõstetakse üldisus-kvantori ette või vastupidi 41.Terminit (mõisteväljendit), mida võib kasutada viitamaks erinevatele tähendustele nimetatakse Ekvivookseks 42.Üldjaatav ja üldeitav väide erinevad alati teineteisest …. Väite kvaliteedi tõttu. 43.Suurtermin on termin (mõisteväljend), mis esineb kategoorilise süllogismi … Suuremas eelduses ja lõppjärelduses 44.Ilma eituseta olemasolukvantori rakendamine lunaarsele predikaadile tekitab … Osajaatav või osaeitav lause. 45.Väidetesüsteem on kooskõlaline parajasti siis, kui … See pole vastuoluline 46.Üldeitavast väitest saab pärast ümber pööramist … väide. Üldeitav 47.Kehtivas tingiv-kategoorilises süllogismis: Väljendab teine eeldus alternatiivi. 48.Eroteetilises loogikas peetakse vastuseks … Ainult asjakohast (küsija seisukohalt lähtudes) verbaalset vastukaja. 49
lausearvutuse tehteid väljendada üksteise kaudu nn asendusreeglite abil. D7.8. Põhilised lausearvutuse asendusreeglid.3 1. Kommutatiivsus (Com) p ∨ q = q ∨ p; p & q = q & p. 2. Assotsiatiivsus (Assoc) p ∨ (q ∨ r) = (p ∨ q) ∨ r; p & (q & r) = (p & q) & r. 3. Distributiivsus (Dist) p & (q ∨ r) = p & q ∨ p & r; p ∨ (q & r) = (p ∨ q) & (p ∨ r). 4. Liiasus (Red, Taut) p = p ∨ p; 2 Eksimuste vähendamiseks on tungivalt soovitatav tõlkida jaatavaid lauseid ilma eituseta. Siin on täpsem interpreteerimise asemel rääkida tõlkimisest, sest interpretatsioon määrab ainult tõeväärtused. 3 Põhireeglid on aksioomid, neid ei saa tuletada ega teistele reeglitele taandada. Ent neid saab nt tõesustabelite abil tõestada. Asendusreeglite järjekord ja numeratsioon on eri allikates erinev, kuid rahvusvahelised nimetused ja nende lühendid on kõikjal enam-vähem ühesugused. 16 p = p & p. 5. Kahekordne eitus (DN) p = ¬¬p. 6
2. Assotsiatiivsus (Assoc) p (q r) = (p q) r; p & (q & r) = (p & q) & r. 3. Distributiivsus (Dist) p & (q r) = p & q p & r; p (q & r) = (p q) & (p r). 4. Liiasus (Red, Taut) p = p p; 2 Eksimuste vähendamiseks on tungivalt soovitatav tõlkida jaatavaid lauseid ilma eituseta. Siin on täpsem interpreteerimise asemel rääkida tõlkimisest, sest interpretatsioon määrab ainult tõeväärtused. 3 Põhireeglid on aksioomid, neid ei saa tuletada ega teistele reeglitele taandada. Ent neid saab nt tõesustabelite abil tõestada. Asendusreeglite järjekord ja numeratsioon on eri allikates erinev, kuid rahvusvahelised nimetused ja nende lühendid on kõikjal enam-vähem ühesugused.
annaabi.ee 
