Erinevalt Aristotelesest, kes kasutas oma loogikas muutujatena kreeka tähti, tarvitasid Stoikud muutujatena numbreid. Näiteks: ``Kas esimene või teine; mitte teine;  järelikult esimene''. Kuulsaim loogik stoikude seast, Chrysippus (279-206 e.m.a), kinnitas, et järgmised viis väiteskeemi on elementaarsed ehk mittetõestatavad ning kõik õiged väiteskeemid on nendest tuletatavad (lisatud on tõlge kaasaegse lausearvutuse keelde):