Loogika aine ja ajalugu
((A B) &A) B.
2. Kui esimene, siis teine; mitte teine; järelikult mitte esimene. ((A B) &ØB) ØA.
3. Mitte korraga esimene ja teine; esimene; järelikult mitte teine. (Ø(A &B) &A) ØB.
4. Kas esimene või teine; esimene; järelikult mitte teine. (((A ÚB) &Ø(A &B)) &A) ØB.
5. Kas esimene või teine; teine; järelikult mitte esimene. (((A ÚB) &Ø(A &B)) &B) ØA.
Neist viiest aksioomist tuletas Chrysippos veel suure hulga õigeid väiteskeeme. Paraku on ekslik Chrysippose kinnitus,
et kõik õiged väiteskeemid on nimetatud viiest tuletatavad.
Keskaegsed ja hilisemad loogikatekstid kommenteerisid nii Aristotelese mõisteloogikat kui Stoikute lausearvutust.
Peale Chrysippost kirjutati Kreekas küll mitmeid kommentaare Aristotelese ja Chrysippose teostele, aktiivne
loogikauurimine aga jäi soiku.
2.2 Keskaegne loogika
Kreeka loogikatraditsiooni kanti ladinakeelsesse maailma hulga tõlgete abil, olulisemad olid seejuures Cicero (106-43
e.m
annaabi.ee 
