Tagged Questions
3
votes
2answers
139 views
What's the difference between “Not Completely True” and “Completely Not True”?
From what I understand, in second order propositional logic, ∀¬x and ¬∀x are equivalent statements. Apparently these are not equal. ¬∀x ≡ ∃¬x
However, rendered into the English language, consider ...
