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

y (Fy → Ɐz (Gz ˄ Ga) önermesinin {a,b} kümesindeki doğrusal açılımı aşağıdakilerden hangisidir?

(Fb → ((Ga ˄ GA) ˄ (Ga ˄ GA))) ˅ (Fb → ((Ga ˄ GA) ˄ (Gb ˄ GA)))

(Fa → ((Ga ˄ GA) ˄ (Gb ˄ GA))) ˅ (Fb → ((Ga ˄ GA) ˄ (Gb ˄ GA)))

(Fa → ((Ga ˄ GA) ˄ (Ga ˄ GA))) ˅ (Fb → ((Ga ˄ GA) ˄ (Gb ˄ GA)))

(Fa → ((Ga ˄ GA) ˄ (Gb ˄ GA))) ˅ (Fa → ((Ga ˄ GA) ˄ (Gb ˄ GA)))

(Fa → ((Gb ˄ GA) ˄ (Gb ˄ GA))) ˅ (Fb → ((Ga ˄ GA) ˄ (Gb ˄ GA)))

Yanıt Açıklaması:

y (Fy → Ɐz (Gz ˄ Ga) önermesinin {a,b} kümesindeki açılımını oluşturmak için önce y nicelemesini eleyelim. Bu durumda; (Fa → Ɐz (Gz ˄ GA)) ˅ (Fb → Ɐz (Gz ˄ GA)) ifadesi elde edilir. Şimdi Ɐz nicelemelerini de elersek, (Fa → ((Ga ˄ GA) ˄ (Gb ˄ GA))) ˅ (Fb → ((Ga ˄ GA) ˄ (Gb ˄ GA))) ifadesi elde edilir.

PAYLAŞ:

SORUNUN CEVABI: B

Sınava Dön Hata Bildir

Yorumlar

0 Yorum