Ayrık tasımda öncüllerden biri tikel evetleme önermesidir. Diğer öncül ise tikel evetleme önermesinin bileşenlerinden birinin yanlış olduğunu iddia eder. Yani bileşenlerden birini eler ve tikel evetleme önermesinin diğer bileşenin doğru olduğu sonucu çıkarılır. Buna göre verilen örnekte “Bana aldığı hediye elbise ya kırmızı ya da siyahtır.” öncülü bir tikel evetleme, ikinci öncül olan “Aldığı elbise siyah değildir.” ise tikel evetleme önermesinin bileşenlerinden birinin yanlış olduğunu iddia eden önermedir. Sonuç olarak da diğer bileşenin (elbisenin kırmızı olması) doğru olduğu sonucuna varılır.