3 ms·Then it's just bad logic. Not(Forall x : P(x)) does not contradict (Exists x : P(x)).by thebooktocome 16y agoThen it's just bad logic. Not(Forall x : P(x)) does not contradict (Exists x : P(x)).