koostada süllogismi: [(V → A) & (P → R)], V ⊕ P ╞ A ∨ R. Sisuliselt võib A & R olla välistatud ning sel puhul võime lõppjärelduse ikkagi täiendavalt tõlgendada välistavaks disjunktsioniks. 24 Välistav jaatava moodusega dilemma teisendab tingivate lausete alustevahelise alternatiivi tagajärgedevaheliseks disjunktsiooniks. Juhul kui mõlemal tingival lausel on sama tagajärg, on süllogismi lõppjärelduseks lihtväide, ent sageli võib seda saavutada ka lihtsamalt, ilma dilemmata, selleks tuleb uurida, kas alternatiivi taotlev eeldus on alternatiiv või mitte. Kui alternatiivi asemel on konjunktsioon, tuleb dilemma asendada modus ponens’iga, kui alternatiivi asemel on disjunktsioon, tuleb kasutada mittevälistavat konstruktiivset dilemmat. Kuna traditsioonilises loogikas ei kasutatud mittevälistavat disjunktsiooni, tuleb vanade dilemmasid sisaldavate ülesannetega olla väga ettevaatlik. Väljend „kas üks või teine”
tõlgendada välistavaks disjunktsioniks. 24 Välistav jaatava moodusega dilemma teisendab tingivate lausete alustevahelise alternatiivi tagajärgedevaheliseks disjunktsiooniks. Juhul kui mõlemal tingival lausel on sama tagajärg, on süllogismi lõppjärelduseks lihtväide, ent sageli võib seda saavutada ka lihtsamalt, ilma dilemmata, selleks tuleb uurida, kas alternatiivi taotlev eeldus on alternatiiv või mitte. Kui alternatiivi asemel on konjunktsioon, tuleb dilemma asendada modus ponens'iga, kui alternatiivi asemel on disjunktsioon, tuleb kasutada mittevälistavat konstruktiivset dilemmat. Kuna traditsioonilises loogikas ei kasutatud mittevälistavat disjunktsiooni, tuleb vanade dilemmasid sisaldavate ülesannetega olla väga ettevaatlik. Väljend ,,kas üks või teine"