Klasik mantık konu anlatımı Test 1

Klasik mantıkta \( \forall x (Px \rightarrow Qx) \) biçimindeki bir önermenin contradiction'ı (çelişiği) nedir?

A) \( \forall x (Px \land \neg Qx) \)
B) \( \exists x (Px \land \neg Qx) \)
C) \( \forall x (\neg Px \lor Qx) \)
D) \( \exists x (\neg Px \land Qx) \)