Sembolik Mantık Deneme Sınavı Sorusu #1073069

Bir çözümleyici çizelgede ((A → B) ∧ A) tümel evetleme önermesinin altındaki ilk satır olan n. satırda A yer alıyorsa n+1. satırda yer alması gereken önerme aşağıdakilerden hangisidir? 


B

A

B → A

B ∧ A

~A 


Yanıt Açıklaması:

((A → B) ∧ A) tümel-evetleme önermesinin doğru olması için, (A → B) ve A önermelerinin birlikte doğru olmaları gereklidir. Buna göre tümel-evetleme
önermesine ait çözümleyici çizelge kuralı; bu önermenin altındaki n. satırda (A → B), bir sonraki satırda ise A'nın olmasıdır. Doğru yanıt B seçeneğidir.  

Yorumlar
  • 0 Yorum