Tractatus

5.513

Man könnte sagen: Das Gemeinsame aller Symbole, die sowohl p als q bejahen, ist der Satz „p.q“. Das Gemeinsame aller Symbole, die entweder p oder q bejahen, ist der Satz „pq“. Und so kann man sagen: Zwei Sätze sind einander entgegengesetzt, wenn sie nichts miteinander gemein haben, und: Jeder Satz hat nur ein Negativ, weil es nur einen Satz gibt, der ganz außerhalb seiner liegt. Es zeigt sich so auch in Russells Notation, dass „q:pp“ dasselbe sagt wie „q“; dass „pp“ nichts sagt.