kohta ütleme hüpoteetiline süllogism edasipidi siis, kui mõlemad eeldused on tingivad väited (ik on see: pure hypothetical syllogism). Järgnevalt vajame veel kahte sümbolit: loogiline järeldumine, nt: p eeldustest järeldub loogiliselt p; eeldustest saab tuletada, nt: p eeldustest saab tuletada p. Lausearvutuses me juba kasutasime esimest sümbolit, konditsionaalide puhul on arukas kasutada teist. 23_fl_vi-x TINGIV-KATEGOORILINE süllogism ehk hüpoteetilis-kategooriline süllogism (ik mixed hypothetical syllogism) on süllogism, mille suurem eeldus on tingiv ning väiksem eeldus on kategooriline väide. Tingiv-kategoorilisel süllogismil on ainult kaks korrektset moodust, mis kindlustavad tõese järelduse juhul, kui eeldused on tõesed
tollens’it: W→ P, ¬P ⊨ ¬W. Tulemus on sama. Lisaks võib märkida, et näite viimast eeldust rõhutades saab järeldust tõlgendada ka tingiva väitena „Kui Pegasust pole olemas, siis ei ole ta valge”. ÜLESANDEID Puhta hüpoteetilise süllogismi ülesanded on üldjuhul lihtsad, peamine probleem on tavaliselt lausete tõlgendamises. Tööjuhend • Tehke kindlaks, kas esineb tingivate väidete (konditsionaalide) jada, milles iga eelneva lause tagajärg on järgneva lause alus. Vajaduse korral tuleb lauseid täpsustada või tõlgendada. Tähistage süllogismis esinevad lihtlaused. • Kui laused pole õiges järjekorras, siis tasub need paigutada õigesse järjekorda. Järelduseks on konditsionaal, mis seob esimese eelduse aluse viimase eelduse tagajärjega. • Hüpoteetilist süllogismi täiendatakse mõnikord kategoorilise väitega, mille
lahendada: W C, C N, N P (W P) ning vaid saadud tulemile rakendada modus tollens'it: W P, ¬P ¬W. Tulemus on sama. Lisaks võib märkida, et näite viimast eeldust rõhutades saab järeldust tõlgendada ka tingiva väitena ,,Kui Pegasust pole olemas, siis ei ole ta valge". ÜLESANDEID Puhta hüpoteetilise süllogismi ülesanded on üldjuhul lihtsad, peamine probleem on tavaliselt lausete tõlgendamises. Tööjuhend · Tehke kindlaks, kas esineb tingivate väidete (konditsionaalide) jada, milles iga eelneva lause tagajärg on järgneva lause alus. Vajaduse korral tuleb lauseid täpsustada või tõlgendada. Tähistage süllogismis esinevad lihtlaused. · Kui laused pole õiges järjekorras, siis tasub need paigutada õigesse järjekorda. Järelduseks on konditsionaal, mis seob esimese eelduse aluse viimase eelduse tagajärjega.
annaabi.ee 
