aof.sorular.net
Sembolik Mantık
Sembolik Mantık Deneme Sınavı
Sembolik Mantık Deneme Sınavı Sorusu #444649
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