CEVAP: Stoa mantıkçıları tasım sistemini geçerli saydıkları çıkarım kalıplarını sıralayarak ve önerme değişkenleri kullanarak ortaya koymuşlardır.