lühendatud süllogismiks ehk entümeemiks. Entümeem esitatakse tavaliselt liitlausena, milles mõni eeldus loetakse vaikimisi tõeks. Nt: Sa oled neonats, sest sa vihkad kommuniste. Varjatud eeldus (suurem): Kõik, kes vihkavad kommuniste, on neonatsid. Kõik, kes vihkavad kommuniste, on neonatsid. Sa vihkad kommuniste. Sa oled neonats. Epiheireem on süllogism, kus üks või mõlemad eeldused on entümeemid. ! 5/14 14. LAUSEARVUTUSE TEHTED. Vastavalt tehete järjekorrale: Eitus – tähistatakse märgiga ¬. Konjunktsioon – tähistatakse märgiga &. Disjunktsioon – tähistatakse märgiga ∨. Implikatsioon – tähistatakse märgiga →. Ekvivalents – tähistatakse märgiga . Antiekvivalents – tähistatakse märgiga ⊕. 15. LAUSEARVUTUSE VALEMITE KLASSIFITSEERIMINE. TÕESUSTABELID
lühendatud süllogismiks ehk entümeemiks. Entümeem esitatakse tavaliselt liitlausena, milles mõni eeldus loetakse vaikimisi tõeks. Nt: Sa oled neonats, sest sa vihkad kommuniste. Varjatud eeldus (suurem): Kõik, kes vihkavad kommuniste, on neonatsid. Kõik, kes vihkavad kommuniste, on neonatsid. Sa vihkad kommuniste. Sa oled neonats. Epiheireem on süllogism, kus üks või mõlemad eeldused on entümeemid. ! 5/14 14. LAUSEARVUTUSE TEHTED. Vastavalt tehete järjekorrale: Eitus tähistatakse märgiga ¬. Konjunktsioon tähistatakse märgiga &. Disjunktsioon tähistatakse märgiga . Implikatsioon tähistatakse märgiga . Ekvivalents tähistatakse märgiga . Antiekvivalents tähistatakse märgiga . 15. LAUSEARVUTUSE VALEMITE KLASSIFITSEERIMINE. TÕESUSTABELID. 16
(Seda põhjendatakse) Kuna eelduslause sisaldab väiksemat terminit Sa, siis vihkad kommuniste peab olema kesktermin (M) ja väide Sa (S) vihkad kommuniste (M) on väiksem eeldus. Vaikimisi on eeldatud suurem eeldus, mis peab olema üldjaatav väide: Kõik, kes vihkavad kommuniste (M) on neonatsid (P). Nüüd on võimalik diskuteerida selle varjatud eelduse tõeväärtuse üle. Epiheireemiks (ik epicheirema). nimetatakse lühendatud süllogismi, mille üheks või mõlemaks eelduseks on entümeemid. Epiheireemi skeem: M on P, sest M on N. (1) Nt: Kõik mu tuttvad on vargad, sest nad on eestlased. S on M, sest S on O. (2) S on mu tuttav, sest ta on Otuküla poiss. Järelikult, S on P. S on varas (1) on süllogism: Kõik N on P (arutluses välja jäetud) Kõik eestlased on vargad (vt Rehepapp. A. Kivirähk) Kõik M on N kõik M on P. (2) on süllogism: Kõik O on M (arutluses välja jäetud) Kõik Otuküla poisid on mu tuttavad. Kõik S on O
Ent siis tekib kesktermini viga ja süllogismi kahest eeldusest ei tulene enam lõppjäreldust „Sa oled fašist”. Loomulikult võib argumenteerija jätkuvalt arvata, et see lõppjäreldus järeldub, ent loogikat oskav inimene peab mõistma, et sel juhul on tegemist kolme eraldi arvamusega, mida kõiki tuleb eraldi põhjendada. Epiheireemiks (epicheirema) nimetatakse lühendatud süllogismi, mille üheks või mõlemaks eelduseks on entümeemid. Epiheireemi skeem: M on P, sest M on N (1) Kõik mu tuttavad on südametud, sest nad on juristid. S on M, sest S on O (2) X on mu tuttav, sest ta on tartlane. Järelikult: S on P X on südametu. (1) on süllogism: Kõik N on P (välja jäetud): Kõik juristid on südametud. Kõik M on N Kõik M on P (2) on süllogism: Kõik O on M (välja jäetud): Kõik tartlased on mu tuttavad. Kõik S on O Kõik S on M Järelikult: Kõik S on P. X on südametu.
Ent siis tekib kesktermini viga ja süllogismi kahest eeldusest ei tulene enam lõppjäreldust ,,Sa oled fasist". Loomulikult võib argumenteerija jätkuvalt arvata, et see lõppjäreldus järeldub, ent loogikat oskav inimene peab mõistma, et sel juhul on tegemist kolme eraldi arvamusega, mida kõiki tuleb eraldi põhjendada. Epiheireemiks (epicheirema) nimetatakse lühendatud süllogismi, mille üheks või mõlemaks eelduseks on entümeemid. Epiheireemi skeem: M on P, sest M on N (1) Kõik mu tuttavad on südametud, sest nad on juristid. S on M, sest S on O (2) X on mu tuttav, sest ta on tartlane. Järelikult: S on P X on südametu. (1) on süllogism: Kõik N on P (välja jäetud): Kõik juristid on südametud. Kõik M on N Kõik M on P (2) on süllogism: Kõik O on M (välja jäetud): Kõik tartlased on mu tuttavad. Kõik S on O Kõik S on M