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

5.513

We could say: What is common to all symbols, which assert both p and q, is the proposition "p . q". What is common to all symbols, which asserts either p or q, is the proposition "p v q".

And similarly we can say: Two p ropositions are opposed to one another when they have nothing in common with one another; and every proposition has only one negative, because there is only one proposition which lies altogether outside it.

Thus in Russell's notation also it appears evident that "q : p v ~p" says the same thing as "q"; that "p v ~p" says nothing.

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