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

(Ǝx Gx ∧ ∀x ((Fx ∧ Gx) ∨ (~Fx ∧ ~Gx)))

(∀x Gx ∧ ∀x ((Fx ∧ Gx) ∨ (~Fx ∧ ~Gx)))

(Ǝx Gx ∧ ∀y ((Fy ∧ Gy) ∨ (~Fy ∧ ~Gy)))

Ǝx∀y(Gx ∧ ((Fy ∧ Gy) ∨ (~Fy ∧ ~Gy)))

(Ǝx Gx ∧ ∀y) Fy ∧ Gy ∨ (~Fy ∧ ~Gy)

Yanıt Açıklaması:

(Ǝx Gx ∧ ∀x (Fx ↔Gx)) önermesinin ön-nicelemeli normal biçimi:

Ǝx∀y(Gx ∧ ((Fy ∧ Gy) ∨ (~Fy ∧ ~Gy))) şeklindedir.

PAYLAŞ:

Sınava Dön Hata Bildir