Sorunun Çözümü
- Verilen önerme $P \Rightarrow Q$ şeklindedir, burada $P = (\forall x, x \neq 3)$ ve $Q = (\exists y, y \geq 4)$.
- Bir önermenin değili $(P \Rightarrow Q)' \equiv P \land Q'$ kuralı ile bulunur.
- Öncelikle $Q$ önermesinin değilini bulalım: $Q' = (\exists y, y \geq 4)'$.
- Kuantörlü ifadelerin değili alınırken, $\exists$ kuantörü $\forall$ olur ve eşitsizlik tersine döner. Yani, $(\exists y, y \geq 4)' \equiv (\forall y, y < 4)$.
- Şimdi $P \land Q'$ ifadesini oluşturalım: $(\forall x, x \neq 3) \land (\forall y, y < 4)$.
- Bu ifade seçeneklerdeki A seçeneği ile aynıdır.
- Doğru Seçenek A'dır.