Loogika konspekt
I Mõned üliõpilased on naised.
? Reegel: üks eeldustest peab olema eitav. Kui arutlus toimub II figuuris.
II figuur
A Kõik kreekrlased on inimesed.
I Mõned inimesed on filosoofid.
? Reegel: 4. figuuris reeglit pole. Keskmine termin on inimene.
Predikaat pole täies mahus. Subjektis on väiksem.
Ta pole kummaski täismahus.
Hüpoteetiline süllogism
See on selline süllogism mille suurem eeldus on emplikatiivne (ehk tingiv) otsustus (p → q).
Puhas hüpoteetiline süllogism – kõik elemendid on emplikatiivsed. Aristotelese mooduseks on
tulp.
p→q Tänapäeval kirjutatakse see tulp ühele reale:
p→z [(p → q) ˄ (p → z)] → (p→z)
p→z
Näiteks: Kui täna on kolmapäev, siis me viibime auditooriumis C214.
Suurem eeldus on implikatiivne ja väiksem eeldus on kategooriline otsustus ehk
[(p → q) ˄ p] → q