Tümel niceleyici (Her - ∀) Test 1

Matematiksel mantıkta "∀x(P(x) → Q(x))" önermesi ile "∃x(P(x) ∧ ¬Q(x))" önermesi arasında nasıl bir ilişki vardır?

A) Eşdeğerdirler
B) Birbirlerinin olumsuzudur
C) Birbirlerini gerektirirler
D) Hiçbir ilişkileri yoktur