Loogika konspekt 6-10
Süllogism ei tööta, sest esimese eelduses pole tegemist alternatiividega.
TINGIV - LIIGITAV (lemmaline) süllogism.
Lemmaliseks nimetatakse süllogismi, kus suurem eeldus koosneb kahest või enamast
tingivast väitest, väiksem eeldus on disjunktiivne väide, mis väljendab alternatiivi.
Kui väiksem eeldus koosneb kahest alternatiivist, nimetatakse süllogismi dilemmaks, kui
kolmest alternatiivist, siis trilemmaks, kui neljast alternatiivist, siis tetralemmaks jne.
Lemmalise järelduse tõesus oleneb sellest, kas tingivad väited suuremas eelduses on
tõesed ja kas kõik liigituse liikmed väiksemas eelduses on ammendavalt esitatud.
Konstruktiivne dilemma
Lihtne (ik simple) modus ponens (jaatav moodus):
(p q) & (t q), Kui hüppan alla aknast, saan surma, ja kui rõdult, saan surma.
p xor t Ma pean hüppama alla kas aknast või rõdult.
q Järelikult: Ma saan surma.
annaabi.ee 
