aof.sorular.net
Sembolik Mantık
Sembolik Mantık Deneme Sınavı
Sembolik Mantık Deneme Sınavı Sorusu #397661
Sembolik Mantık Deneme Sınavı Sorusu #397661
p, q ve r önermelerinin değilleri sırasıyla ~p, ~q, ~r ile gösterildiğine göre, aşağıdakilerden hangisi
p ˄ q → ~p ˅ r önermesine denktir?
|
(p ˅ q) ˄ r |
|
(~p ˅ r) ˅ q |
|
p ˄ (q ˄ ~r) |
|
p ˄ (q ˅ ~r) |
|
q ˄ (~p ˅ r) |
Yanıt Açıklaması:
p ˄ q → ~p ˅ r önermesi bir koşullu önerme olup, koşul bağlacının özelliği kullanılarak
(p ˄ q) ˅ ~(~p ˅ r) elde edilir. Buradan
~(~p ˅ r) ≡ (p ˄ ~r) olduğundan (p ˄ q) ˅ (p ˄ ~r) elde edilir. Sonuç olarak ve / veya doğrusal önerme eklemleri özellikleri kullanılarak p ˄ (q ˅ ~r) önermesine ulaşılır.
Yorumlar
- 0 Yorum