teadmist. Nt: Kõik inimesed on surelikud. Sokrates on inimene Sokrates on surelik Kuidas järeldusi liigitatakse? Deduktiivsed järeldused liigitatakse vahetuteks ja vahendatud järeldusteks. - Vahetuks nimetatakse järeldust ühest eeldusest. Kõige enam kasutatakse seda lihtsaimat järeldamise liiki argisituatsioonides. - Vahendatud süllogismid jaotatakse lihtkategoorilisteks, liitkategoorilisteks, tingivateks, tingiv-kategoorilisteks, liigitatavateks ja tingiv-liigitatavateks süllogismideks.
loom on asi ja iga koer on loom, siis iga koer on asi''. Aristoteles võttis loogikas kasutusele muutujad: see alusidee võimaldas luua süsteemi, mis jäi loogika vundamendiks Euroopas kuni 18. sajandini. Aristotelese loogika käsitleb väiteid, mis koosnevad järgmistest grammatilistest komponentidest: (1) kvantor (``kõik'', ``mõni'', ``mitte ükski''), (2) subjekt, (3) koopula, (4) eitus, (5) predikaat. Niisugusi väiteid nimetatakse ``kategoorilisteks väideteks'' ja nad jagunevad kaheksaks liigiks: 1. ``Iga b on a''. 2. ``Mitte ükski b pole a''. 3. ``Mõni b on a''. 4. ``Mõni b ei ole a''. 5. ``b on a''. 6. ``b ei ole a''. 7. ``x on a'', kus x tähistab konkreetset indiviidi. Naäiteks: ``Sokrates on surelik''. 8. ``x ei ole a'', kus x tähistab konkreetset indiviidi. Liike 1-4 loeti teistest olulisemaks. Üldjuhul ignoreeris süllogistika liike (7) ja (8). Liigid (5) ja (6) loeti
annaabi.ee 
