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. Konstruktiivse dilemma nimi on ka lausearvutuse tuletusreeglil CD: (p → q) & (t → s), p ∨ t ├ q ∨ s. Konstruktiivne dilemma kannab esimese eelduse alustevahelise disjunktsiooni üle tagajärgedevaheliseks disjunktsiooniks ning destruktiivne dilemma kannab esimese eelduse tagajärgede eituste vahelise disjunktsiooni üle aluste eituste vaheliseks disjunktsiooniks. Destruktiivse dilemma kehtivust saab näidata ka tõeväärtustabeli abil, analoogiliselt tabelile 10.8 (proovige ise järele)
0 0 0 1 1 1 1 0 0 x 1 0 0 0 0 1 1 1 0 0 x 0 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. Konstruktiivse dilemma nimi on ka lausearvutuse tuletusreeglil CD: (p q) & (t s), p t q s. Konstruktiivne dilemma kannab esimese eelduse alustevahelise disjunktsiooni üle tagajärgedevaheliseks disjunktsiooniks ning destruktiivne dilemma kannab esimese eelduse tagajärgede eituste vahelise disjunktsiooni üle aluste eituste vaheliseks disjunktsiooniks. Destruktiivse dilemma kehtivust saab näidata ka tõeväärtustabeli abil, analoogiliselt tabelile 10.8 (proovige ise järele). Konstruktiivne dilemma näib töötavat vähemalt sama hästi kui
annaabi.ee 
