Klasik Mantık Deneme Sınavı Sorusu #480369

“-Ya A olacak ya da B olacak.

-A olursa C olacak

-B olursa D olacak

-Öyleyse, ya C olacak ya da D olacak” durumu hangi tür çıkarım kuralına örnektir?


Koşullu Tasım

 

Ayrık Tasım

 

Alternatif Tasım

 

Yıkıcı İkilem

Yapıcı İkilem


Yanıt Açıklaması:

Yapıcı ikilemde, tikel evetleme önermesi, koşul önermelerinin önbileşenini evetler, yani önbileşenlerden en az birinin doğru olduğunu ileri sürer. Sonuç olarak da koşul önermelerinin artbileşenlerinden en az birinin doğru olduğu, C v D, çıkarılır. 

Yorumlar
  • 0 Yorum