SORU: Ayrık tasım nedir örneklerle açıklayınız?
CEVAP: 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. Örnek 1: Ahmet’in arabasını ya Mustafa ya da Mehmet çalmıştır. Mustafa çalmamış. Öyleyse, Ahmet’in arabasını Mehmet çalmıştır. Genel yapısı şöyledir: A v B A v B -A -B A B A A. Bu çıkarım biçiminde bileşenlerden birinin doğru olmasından diğerinin yanlış olduğu sonucu çıkmaz. Çünkü tikel evetleme önermesi en az bir bileşenin doğru olduğunu iddia ediyor. Dolayısıyla ikisi de doğru olabilir. Tikel evetleme önermelerinin bileşen sayısı ikiden fazla olabilir. Yukarıdaki örnekteki tikel evetleme önermesi Ahmet’in arabasını ya Mustafa ya Mehmet ya da Hasan çalmıştır. da olabilirdi. O ikinci öncül Mustafa ihtimalini elediğinden sonuç olarak Ya Mehmet ya da Hasan çalmıştır önermesi çıkarılırdı. Örnek 2: Fikret ya teist ya deist ya ateist ya da agnostiktir. Fikret ateist değildir. Öyleyse, Fikret ya teist ya deist ya da agnostiktir.