2. a on b ja g on b. 3. b on a ja b on g. 4. a on b ja b on g. Nelja väideteliiki A,E,I,O saab nelja figuuri abil kombineerida kokku 256. erineval viisil ja ainult 24 nendest viisidest annavad õige süllogismi: 6 tükki iga figuuri jaoks. Keskaja skolastilises traditsioonis oli Aristotelese loogikal tähtis koht ja nimetatud 24 õige süllogismi jaoks leiutati järgmised meelespidamist hõlbustavad nimed (rühmitatud figuuride kaupa): 1. Barbara, Celarent, Darii, Ferio, Barbari, Celaront. 2. Cesare, Camestres, Festino, Baroco, Cesaro, Camestrop. 3. Darapti, Disamis, Datisi, Felapton, Bocardo, Ferison. 4. Bramantip, Camenes, Dimaris, Fesapo, Fresison, Camenop. Täishäälikute järjekord nimes määrab kategooriliste väidete jaärjekorra süllogismi moodustamisviisis, eeldustega alustades ja järeldusega lõpetades. Süllogismid Baroco ja Bocardo on tõestatavad ainult kaudselt, reductio ad absurdum'i abil. Kõik teised süllogismid
AAA EAE AAI AAI EAE AEE IAI AEE AII EIO AII IAI EIO EOO EAO EAO (AAI) (EAO) OAO EIO (EAO) (AEO) ElO (AEO) Klassikaliselt nimetatakse kehtivaid süllogismi mooduseid järgnevate nimedega, millest koostatud luuletused aitasid keskajal süllogismid ära õppida: Barbara, Celarent, Darii, Ferio, (Barbari), (Celaront); Cesare, Camestres, Festino, Baroco, (Cesaro), (Camestrop); Darapti, Disamis, Datisi, Felapton, Bocardo, Ferison; Bramantip, Camenes, Dimaris, Fesapo, Fresison, (Camenop). Vokaalid nimedes vastavad süllogismide moodustele. Esitäht määrab millisele esimese figuuri süllogismile süllogism taandub, nt Felapton Feriole; s ja p lõpus annavad taandamise meetodi; c- mitte esitähena näitab, et süllogism ei taandu, tõestuseks tuleb kasutada
Tabelis on kaldkirjaga tähistatud moodused, milles võib esineda olemasolu impordi viga ning tuleb teha lisaeeldus, et terminite mahud pole tühjad. Sulgudega on tähistatud osalise järeldusega moodused, mille puhul on olemas täpselt samade eeldustega, ent üldise järeldusega moodus. Traditsiooniliselt nimetatakse kehtivaid süllogismi mooduseid järgmiste nimedega, millest koostatud luuletused aitasid keskajal süllogismid ära õppida: I: Barbara, Celarent, Darii, Ferio, (Barbari), (Celaront); II: Camestres, Cesare, Baroco, Festino, (Cesaro), (Camestrop); III: Darapti, Datisi, Disamis, Felapton, Ferison, Bocardo; IV: Bramantip, Camenes, Dimaris, Fesapo, Fresison, (Camenop). Vokaalid nimedes vastavad süllogismide moodustele. Süllogismide kehtivuse tõestamisel näidati, et kõik teise kuni neljanda figuuri süllogismid on teisendatavad esimese figuuri süllogismideks. Esitäht määrab, millisele esimese figuuri süllogismile mingi süllogism taandub,
Tabelis on kaldkirjaga tähistatud moodused, milles võib esineda olemasolu impordi viga ning tuleb teha lisaeeldus, et terminite mahud pole tühjad. Sulgudega on tähistatud osalise järeldusega moodused, mille puhul on olemas täpselt samade eeldustega, ent üldise järeldusega moodus. Traditsiooniliselt nimetatakse kehtivaid süllogismi mooduseid järgmiste nimedega, millest koostatud luuletused aitasid keskajal süllogismid ära õppida: I: Barbara, Celarent, Darii, Ferio, (Barbari), (Celaront); II: Camestres, Cesare, Baroco, Festino, (Cesaro), (Camestrop); III: Darapti, Datisi, Disamis, Felapton, Ferison, Bocardo; IV: Bramantip, Camenes, Dimaris, Fesapo, Fresison, (Camenop). Vokaalid nimedes vastavad süllogismide moodustele. Süllogismide kehtivuse tõestamisel näidati, et kõik teise kuni neljanda figuuri süllogismid on teisendatavad esimese figuuri süllogismideks