Tasımlar sadece üç terimden oluşur, önce büyük öncül yazılır, orta terim öncüllerde geçer, sonucun öznesini içeren öncül küçük öncüldür ve iki öncül bir sonuç önermesinden oluşur.

Modus ponensde öncüllerden biri koşul önermesidir. Diğer öncül de koşul önermesinin önbileşenini evetler, yani yeter koşulun yerine geldiğini iddia eder. Koşul önermesinin artbileşeni (koşul önermesinin zorunlu koşulu) sonuç olarak çıkarılır. 

Tasımlar çıkarımlardır. 

Meleklerin olmadığını ispat edemediğimize göre melekler vardır örneği, bir şey aksi ispatlanamadığı sürece doğrudur varsayımına dayanır. Bir iddianın yanlışlığının ispatlanamamış olması, dolayısı ile doğru olduğunu ya da doğruluğunun ispatlanamamış olması, dolayısı ile yanlış olduğunu ileri sürmektir. Bu durum ispatlama mecburiyeti safsatasında görülmektedir. 

Orta terim, sonuçta geçmez öncüllerde iki kez geçer. 

Saldırı safsataları; “Adam Karalama”, “Sen De”, “Niteliksel Adam Karalama” olarak gruplanmaktadır. Hepsindeki ortak nokta iddiaya değil de iddiayı yapan kişiye saldırmaktır 

Sık kullanılan geçerli çıkarım kuralları şu şekilde sıralanmaktadır:-Modus Ponens -Modus Tollens -Koşullu Tasım -Ayrık Tasım -Alternatif Tasım -Yapıcı İkilem -Yıkıcı İkilem. 

İkinci öncül koşul önermesinin artbileşenini evetlediği, sonuç olarak da önbileşenin evetlenmesinin çıktığı yanıltmaca artbileşenin evetlenmesi yanıltmacasıdır. 

Bir kişinin iddiasının yanlış olduğuna dair deliller ileri sürmek yerine bir grubun veya içinde bulunduğu grubun baskısını öne sürmeye grup baskısı adı verilir. 

Koşul önermelerinin önbileşenleri farklı, artbileşenleri ise aynı olduğu çıkarım tipine Karmaşık Yıkıcı İkilem adı verilir. 

1 nolu alan S olan P olan ve M olmayan kısımdır.

Öncüllerden birinin koşul önermesi, diğer öncül ise koşul önermesinin ön bileşenini evetlediği çıkarım tipine Modus Ponens denir. 

Entimemlerdir. 

Tümel olumlu önermeleri göstermek için E harfi kullanılır.

Epikeremin öncüllerinden bahsedilmektedir.

İkilemler tikel veya tekil evetleme önermeleri ile ortaya konabileceği gibi retorik soru cümleleri, koşul önermeleri, soru cümleleri ile de ortaya konabilir. 

Üçüncü

Tikel evetleme önermesini çürütmeye ikilemin boynuzları arasından kaçma yolu, koşul önermelerini çürütmeye de ikilemi boynuzlarından yakalama yolu denir. Bu durumda I ve II ters olarak verildiğinden yanlış olur. İkilemlerden kurtulmanın bir üçüncü yolu daha vardır. Buna da karşı ikilem oluşturma yolu denir. İkilemler genellikle bardağın boş tarafını gösterir. Bardağın dolu tarafını gösteren bir ikilem kurarak ikilemlere karşı gelinebilir. O halde III doğru olur.