x
Negation of propositions - History — LessWrong