2) MODUS TOLLENDO PONENS DISJUNKTIIVNE SÜLLOGISM on süllogism, mille esimene eeldus on disjunktiivne väide ning teine eeldus on atributiivne väide. 1) MODUS PONENDO TOLLENS 2) MODUS TOLLENDO PONENS TINGIV-LIIGITAVAKS nimetatakse süllogismi, kus üks eeldus koosneb kahest või enamast tingivast väitest, teine eeldus on disjunktiivne väide, mis väljendab alternatiivi. Kui alternatiivi väljendav eeldus koosneb kahest alternatiivist, NIMETATAKSE TINGIV-LIIGITAVAT süllogismi VÄLISTAVAKS DILEMMAKS, kui kolmest alternatiivist, siis VÄLISTAVAKS TRILEMMAKS, kui neljast siis VÄLISTAVAKS TETRALEMMAKS jne. 3) TAGAJÄRJE JAATUS 4) ALUSE EITUS
kasutatakse tänapäeval enamasti lausearvutuse kontekstis, vt nt tabel 9.1, traditsiooniliste välistavate lemmade kasutamine on vähem levinud. D10.5. Tingiv-liigitavaks nimetatakse süllogismi, kus üks eeldus koosneb kahest või enamast tingivast väitest, teine eeldus on disjunktiivne väide, mis väljendab alternatiivi. Kui alternatiivi väljendav eeldus koosneb kahest alternatiivist, nimetatakse tingiv- liigitavat süllogismi välistavaks dilemmaks, kui kolmest alternatiivist, siis välistavaks trilemmaks, kui neljast alternatiivist, siis välistavaks tetralemmaks, jne. Käesolevas õpikus käsitletakse üksnes dilemmasid. VÄLISTAVAD KONSTRUKTIIVSED DILEMMAD Välistav jaatava moodusega dilemma on käsiteldav kui komplekt kahest tingiv-kategoorilisest süllogismist, kus toimub modus ponens'i tüüpi järeldamine. Jaatava moodusega dilemma
annaabi.ee 
