aof.sorular.net
Sembolik Mantık
Sembolik Mantık Deneme Sınavı
Sembolik Mantık Deneme Sınavı Sorusu #1073069
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