Kõik maod on roomajad. M+aP– Mõned maod ei ole ohtlikud [loomad]. M–oS+ Mõned ohtlikud loomad ei ole roomajad. S–oP+ See on III figuuri süllogism. Ühtegi eelduste reeglit pole rikutud. Vaatleme terminite reegleid. Süllogism ei ole kehtiv, sest esineb suurema termini (P) lubamatu laiendamine. Süllogismi mittekehtivust näitavad ka III figuuri reeglid, mille järgi peab väiksem (teine) eeldus olema jaatav väide. 15 N6.16.2. Hunt on murdja, sest hundil on kihvad ja murdjatel on kihvad. Lahendus: järeldus eelneb vahetult sõnale „sest”: [Kõik] hundid on murdjad. See on üldjaatav väide S+aP– ; kusjuures hunt on S ja murdja on P. Suurem eeldus [kõikidel] murdjatel on kihvad ja väiksem eeldus [kõikidel] huntidel on kihvad. Kesktermin „kihvad” on tõlgendatav kui „kihvadega loomad”. Tõlgendamisel võib olla tarvis eeldused ümber kirjutada traditsioonilisel kujul kvantor-subjekt-koopula-predikaat. Kõik murdjad on kihvadega loomad.
SoP+ See on III figuuri süllogism. Ühtegi eelduste reeglit pole rikutud. Vaatleme terminite reegleid. Süllogism ei ole kehtiv, sest esineb suurema termini (P) lubamatu laiendamine. Süllogismi mittekehtivust näitavad ka III figuuri reeglid, mille järgi peab väiksem (teine) eeldus olema jaatav väide. 15 N6.16.2. Hunt on murdja, sest hundil on kihvad ja murdjatel on kihvad. Lahendus: järeldus eelneb vahetult sõnale ,,sest": [Kõik] hundid on murdjad. See on üldjaatav väide S+aP ; kusjuures hunt on S ja murdja on P. Suurem eeldus [kõikidel] murdjatel on kihvad ja väiksem eeldus [kõikidel] huntidel on kihvad. Kesktermin ,,kihvad" on tõlgendatav kui ,,kihvadega loomad". Tõlgendamisel võib olla tarvis eeldused ümber kirjutada traditsioonilisel kujul kvantor-subjekt-koopula-predikaat. Kõik murdjad on kihvadega loomad.
annaabi.ee 
