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

“-Ateş varsa oksijen de vardır.
-Oksijen yok.
-Öyleyse ateş de yok.” durumu hangi tür çıkarım kuralına örnektir?


Koşullu Tasım

 

Ayrık Tasım

 

Modus Ponens

 

Modus Tollens

Alternatif Tasım


Yanıt Açıklaması:

Modus Tollens: Öncüllerden biri koşul önermesidir. Diğer öncül, koşul önermesinin artbileşenini (önbileşen için zorunlu koşulu) değiller ve koşul önermesinin önbileşeninin değillemesi (B için yeterli koşulun olmadığı) sonuç olarak çıkarılır. 

Yorumlar
  • 0 Yorum