"010011111" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

¬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 konditsionaalide tagajärgede eituste vahelise alternatiivi aluste eituste vaheliseks disjunktsiooniks