"111010001x1" - 1 õppematerjal

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

vahel, sümbolkujul [(p→ q) & (t → s)], p ∨ t ⊨ q ∨ s. Tabel 10.8. Konstruktiivse (mittevälistava) dilemma kehtivuse hindamise tabel. Uuritav skeem on [(p → q) & (t → s)], p ∨ t; q ∨ s, mõlema eelduse tõesust võib käsitleda kui nendevahelise konjunktsiooni tõesust. On näha, et süllogism on kehtiv, seega [(p → q) & (t → s)], p ∨ t ⊨ q ∨ s. 1. 4. 2. 5. 3. 7. 6. p q t s (p → q) & (t → s) & (p ∨ t) ; (q ∨ s) 111111111+1 111010001x1 110111111+1 110011111+1 101100101x1 101000001x0 100100101x1 100000101x0 7 Sealsamas. 27 011111111+1 011010001x1 010111100x1 010011100x1 001111111+1 001010001x0 000111100x1 000011100x0 D.10.6.2. Destruktiivne dilemma on süllogism, mille üks eeldus koosneb kahest materiaalsest implikatsioonist ning teine eeldus on disjunktsioon implikatsioonide tagajärgede eituste vahel, sümbolkujul [(p → q) & (t → s)], ¬q ∨ ¬s ⊨ ¬p ∨ ¬t.