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

Eklemlerin öncelik sırasına göre parantezler kaldırıldığında ((p ˅ q) ˄ r)) → (p˅~(q ˄ r)) önermesinden elde edilen önerme aşağıdakilerden hangisidir?


(p ˅ q) ˄ r→p˅~(q ˄ r)

(p ˅ q) ˄ r→p˅~q ˄ r

(p ˅ q) ˄ r→ (p˅~q) ˄ r

p ˅ q ˄ r→p˅~(q ˄ r)

(p ˅ q) ˄ r) → (p˅~q ˄ r))


Yanıt Açıklaması:

Aritmetikte olduğu gibi eklemler arasında ~, ˄, ˅, →,  ↔ öncelik sırası gözetilerek çoğu parantez kaldırılabilir.

Yorumlar
  • 0 Yorum