HOME TOP UP PREV NEXT GERMAN MAP Tractatus Logico-Philosophicus 5.502
N() is the negation of all the values of the propositional variable .