x
Negation of propositions — LessWrong