Çoklu tasım yani Polysyllogismden bahsedilmektedir. 

Tam Girişimlik: Kavramlardan yalnız biri, diğerinin tüm bireylerini içine alıyorsa aralarında tam girişimlik vardır. Doğru cevap C'dir.

Örnekte Aysel Ayşe ortaya attığı iddiayı onu karalayarak çürütmeye çalışmaktadır. Bu da örneğin adam karalama safsatası olduğunu göstermektedir. Adam karalamada iddiaya değil de iddiayı ortaya atan kişiye saldırı yapılıp kötüleyerek iddianın yanlışlığı ileri sürülerek yapılır. İddianın o kişinin karakteriyle ya da hareketleriyle alakalandırılıp, yanlışlığının ileri sürülmesi safsatadır.

Bütünleme (Birleştirme) hatası; bütünün kendisini oluşturan parçalarla aynı özelliğe sahip olduğunu çıkarma hatasıdır 

Her iki öncülün ve sonucun koşul önermesi olduğu çıkarım tipine Hipotetik Tasım adı verilir. 

Olumlu önermeleri göstermek için Latince “ben evetliyorum (tasdik ediyorum)” anlamına gelen AFFIRMO sözcüğünün ilk iki sesli harfinden birincisi, A, ile tümel olumlu önerme tipini, ikincisi, I, ile tikel olumlu önerme tipini gösterirler. Olumsuz önermeleri göstermek için de yine “ben değilliyorum (reddediyorum)” anlamına gelen Latince NEGO sözcüğünün iki sesli harfinden birincisi, E, ile tümel olumsuz önerme tipini, ikinci sesli harfi olan O ile de tikel olumsuz önerme tipini gösterirler. Buna göre;

A – Bütün S’ler P’dir.

I – Bazı S’ler P’dir.

E – Hiçbir S, P değildir.

O – Bazı S’ler P değildir. Sıralama, A – E- O şeklinde olur. 

Ayrık tasımda bir tikel evetleme önermesinin bileşenlerinden biri değillenir, diğeri sonuç olarak çıkarılır. 

Adam karalamada iddiaya değil de iddiayı ortaya atan kişiye saldırı yapılıp kötüleyerek iddianın yanlışlığı ileri sürülerek yapılır. İddianın o kişinin karakteriyle ya da hareketleriyle alakalandırılıp, yanlışlığının ileri sürülmesi safsatadır. 

Bir kişinin iddiası ile eylemlerinin çelişmesi sebebiyle iddiasının yanlış olduğunu öne sürmeye sen de safsatası denir. 

Alternatif tasımı açıklar. 

Bir tikel evetleme önermesinin koşul önermelerinin ön bileşenini evetlediği çıkarım tipine Yapıcı İkilem adı verilir. 

İkilem yapıcı ve yıkıcı olarak iki çeşittir.

Modus ponens çıkarımında ö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. Buna göre verilen örnekte “Ormanda ateş yakılırsa yangın çıkar” öncülü koşul önermesidir. İkinci öncül de koşul önermesinin önbileşenini (ateş yakmak) evetlemiştir. Koşul önermesinin artbileşeni (yangın çıkacak) sonuç olarak çıkarılmıştır. 

Koşul önermelerinin önbileşenleri ve artbileşenlerinin aynı olduğu çıkarım tipine Basit Yıkıcı İkilem adı verilir. 

Verilen önermede bileşenlerden en az birinin doğru olduğu görülmektedir. Ancak diğer bileşenin de doğru olabileceği iddiasını da içermektedir. Bu durumda örnek Tikel evetlemeye girmektedir. Tikel evetleme ekleminin Türkçedeki tipik karşılığı “veya”dır. Elbisenin rengi ya kırmızıdır ya da mavi. İkisinin birden doğru olması olanaklı olmadığı için tikel evetleme olarak yorumlanabilir. 

Tümdengelimde öncüller, sonuç için yeterli gerekçeyi taşır. Tümevarımda ise öncüller, sonuç için yeterli gerekçeyi taşımaz. Sonucun doğruluğu hiçbir zaman kesin değildir. Bunun sebebi, tümdengelimde sonucun öncüllerle sınırlı olmasıdır. Öncüllerde gizli olan şeyler tümdengelimle açık hale getirilir. Tümevarımda ise sonuç, öncüllerde verilenden daha fazlasını ihtiva eder. Öncüllerin çok ötesine taşar. Tümevarımda öncüllerin doğruluğunu kabul etsek bile sonucun doğruluğunu kabul etmeyebiliriz. Tümdengelimde ise bu mümkün değildir. Tümdengelimde öncüller doğruysa sonuç da doğru ve sonuç öncüllerden çıkarılıyorsa da geçerlidir. Tümevarımda ise bütün öncüller doğru olsa bile sonuç yanlış olabilir.