9. Sınıf Algoritmalarda ve Matematiksel İspatlarda Mantık Bağlaçları ve Niceleyiciler Nedir? Test 2

P(x): "x asal sayıdır" ve Q(x): "x tek sayıdır" önermeleri veriliyor. "Bazı asal sayılar tek değildir" ifadesinin mantıksal gösterimi nedir?

A) ∃x (P(x) ∧ ¬Q(x))
B) ∀x (P(x) → ¬Q(x))
C) ∃x (P(x) → ¬Q(x))
D) ∀x (P(x) ∧ ¬Q(x))