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

Ɐx z(Hz ˄ ((Gx ˅ Hz) nicelemeli önermesinin eşdeğri aşağıdakilerden hangisidir?


Ɐu w (Hw ˄ ((Gu ˅ Hw))

Ɐx u (Hu ˄ ((Gx ˅ Hu))

Ɐu w (Hz ˄ ((Gx ˅ Hz))

Ɐy y (Hz ˄ ((Gy ˅ Hz))

Ɐu u (Hz ˄ ((Gx ˅ Hz))


Yanıt Açıklaması:

x bağlı değişkeni yerine u değişkenini ve z bağlı değişkeni yerine w değişkeni konmasıyla eşdeğer Ɐu w (Hw ˄ ((Gu ˅ Hw)) önermesi elde edilir.

Yorumlar
  • 0 Yorum