HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 5.502


5.502
Therefore I write instead of "(- - - - - T)( xi , . . . .)", "N( xi-bar )".

N( xi-bar ) is the negation of all the values of the propositional variable  xi .


HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 5.502