4 ms·In logic class, these were axiomatically equivalent for all x. P(x) not (exists x. not P(x))by pharmakom 3y agoIn logic class, these were axiomatically equivalent for all x. P(x) not (exists x. not P(x))