LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
nende konjunktsiooni tõesust. On näha, et süllogism ei kehti, seega [(p → q) & (t → s)],
¬q ⊕ ¬s ⊭ ¬p ⊕ ¬t. Küll aga kehtib süllogism mittevälistava järelduse korral, seega [(p → q)
& (t → s)], ¬q ⊕ ¬s ⊨ ¬p ∨ ¬t, sest siis tuleb 7-ga tähistatud veerus mõlemad miinused
plussiga asendada.
1. 4. 2. 5. 3. 7. 6. 6a.
p q t s (p → q) & (t → s) & (¬q ⊕ ¬s) ; (¬p ∨ ¬t) (¬p ⊕ ¬t)
111111100x00
111010001x00
110111100x11
110011111+11
101100101x00
101000000x00
100100101x11
100000100x11
011111100x11
011010001x11
010111100x10
010011111–10
001111111+11
001010000x11
000111111–10
000011100x10
26
Välistav destruktiivne dilemma sisaldab väiksema eelduse alternatiivi suurema eelduse
konditsionaalide tagajärgede eituste vahel ning järelduses esineb disjunktsioon kõnealuste
konditsionaalide aluste eituste vahel. Välistav destruktiivne dilemma teisendab
annaabi.ee 
