Mantık çalışmalarında koşul önermelerinin yapısını anlamak, doğru akıl yürütmenin temelini oluşturur. Bir koşul önermesinde önbileşen yeterli koşulu, artbileşen ise gerekli koşulu ifade eder. Örneğin 'A ise B' şeklinde kurulan bir önermede A, B için yeterli koşulu oluştururken; B de A için gerekli koşulun ta kendisidir. Bu mantıksal ilişki bize, yeterli koşulun varlığından hareketle gerekli koşulun da var olduğu sonucuna ulaşma imkanı verir.
Aynı şekilde, gerekli koşulun bulunmadığı durumlarda yeterli koşulun da mevcut olmadığını söyleyebiliriz. Ancak dikkat edilmesi gereken husus, zorunlu veya gerekli koşulun tek başına var olmasının, yeterli koşulun da kesinlikle var olduğu anlamına gelmediğidir. Artbileşen için birden fazla farklı yeterli koşul pek ala bulunabilir; örneğin evi ısıtmak için kalorifer yeterli bir koşul olduğu gibi, elektrikli soba da aynı sonucu doğuran farklı bir yeterli koşuldur.
Koşul önermelerinin bu temel mekanizması, günlük hayatta ve bilimsel argümanlarda sıkça karşımıza çıkar. Koşul önermesinin bileşenlerinin yer değiştirmesi veya farklı ifadelerle kurulması anlamı doğrudan etkiler. Örneğin 'Sevmiyorsan terk et' önermesi mantıksal olarak 'Ya sev ya terk et' biçimindeki bir tikel evetleme önermesiyle özdeş bir anlama gelebilmektedir.
Yaygın olarak kullanılan geçerli çıkarım kuralları arasında en bilinenleri Modus Ponens ve Modus Tollens kalıplarıdır. Bu kuralların en belirgin ortak özellikleri, öncüllerinden en az birinin bir koşul önermesi olmasındadır. Modus Ponens kuralında, öncül olarak verilen koşul önermesinin önbileşeni ikinci öncülde olumlanır ve sonuç olarak artbileşenin geçerli olduğu türetilir.
Modus Tollens çıkarım kuralında ise süreç tersine işler. Birinci öncül yine koşul önermesiyken, ikinci öncülde artbileşen değillenir ve bunun sonucunda önbileşenin de değillendiği neticesine varılır. Bu kuralların yapısını tam olarak kavramak, karmaşık metinlerdeki gizli safsataları ve yanıltmacaları ayık edebilmek için hayati bir önem taşır.
Öğrencilerin bu kalıpları karıştırmaması için çıkarımın ana yapısını dikkatle incelemesi gerekir. İkinci öncülün koşulun hangi kısmını onayladığı veya reddettiği, çıkarımın geçerli bir kurala mı yoksa bir yanıltmacaya mı ait olduğunu ele veren en temel ipucudur.
Mantık kuralları uygulanırken geçerli çıkarımlara benzeyen ancak mantıksal olarak hatalı olan bazı çıkarım kalıpları da üretilir. Bunlar günlük dilde sıklıkla yapılan yanıltmacalardır. Özellikle Modus Ponens ve Modus Tollens kurallarıyla ilişkili iki temel hatalı çıkarım kalıbı bulunur: 'Önbileşeni değilleme' ve 'Artbileşeni evetleme'.
Önbileşeni değilleme yanıltmacasında, koşul önermesinin önbileşeni ikinci öncülde olumsuzlanır ve buna dayanarak artbileşenin de olumsuzlandığı iddia edilir. Oysa mantıksal olarak bu geçiş geçersizdir çünkü artbileşenin gerçekleşmesi için başka yeterli koşullar da var olabilir. Benzer şekilde, artbileşeni evetleme yanıltmacasında da artbileşenin ikinci öncülde doğrulanmasından yola çıkılarak önbileşenin doğru olduğu sonucu çıkarılmaya çalışılır.
Tarihsel veya politik metinlerde sıkça rastlanan bu hatalı akıl yürütmeler, ilk bakışta sezgisel olarak doğru gibi görünse de formal mantık kuralları açısından tamamen geçersizdir. Yanıltmacaları fark edebilmek, eleştirel düşünme becerisinin gelişmesinde kritik bir basamaktır.
İkilemler (dilemmalar), mantıkta karmaşık ve etkili argüman biçimleri olarak kullanılır. Temelde basit yapıcı ikilem, karmaşık yapıcı ikilem, basit yıkıcı ikilem ve karmaşık yıkıcı ikilem olmak üzere sınıflandırılırlar. Bu yapılar, birden fazla koşul önermesini ve bir tikel evetleme önermesini bir araya getirerek zorlayıcı sonuçlar türetir.
Yapıcı ikilemlerde öncüller koşul önermelerinden oluşur ve tikel evetleme önermesinin bileşenleri bu koşulların önbileşenlerini olumlar. Yıkıcı ikilemlerde ise süreç tersine çalışarak artbileşenlerin değillenmesi üzerinden ilerler. İkilemler, felsefi ve teolojik tartışmalarda (örneğin Tanrı'nın varlığı veya evrenin doğası üzerine kurulan argümanlarda) sıklıkla başvuru yapılan argüman kalıplarıdır.
İkilemlerin gücü, karşı tarafı iki alternatiften birini seçmeye zorlamasından kaynaklanır. Ancak mantıksal olarak bu yapılara karşı etkili itiraz yolları geliştirilmiştir ve argümanın geçerliliği bu yollarla sınanabilir.
Bir ikileme karşı çıkmak ve onun gücünü kırmak için mantıkta üç temel yöntem benimsenmiştir. İlk yöntem 'ikilemin boynuzları arasından kaçmak' olarak bilinir; burada tikel evetleme önermesinin sunulan alternatiflerin dışındaki ihtimalleri tüketmediği, yani eksik bir ikilem kurulduğu gösterilir.
İkinci yöntem 'ikilemi boynuzlarından tutmak' adını alır. Bu stratejide ise koşul önermelerindeki önbileşenin artbileşeni zorunlu olarak gerektirmediği, yani öncüller arasındaki illiyet bağının hatalı veya eksik olduğu ispatlanmaya çalışılır.
Üçüncü ve en yaratıcı yol ise 'karşı ikilem kurmak'tır. Sunulan argümana benzer yapıda ancak tam tersi sonuç doğuran bambaşka bir ikilem üretilerek orijinal argümanın etkisi tamamen boşa çıkarılabilir. Bu yöntemler felsefi münazaralarda safsataları çürütmek için aktif olarak kullanılır.