Template:Individual-TLP-paragraph-fr-5.513

5.513 On pourrait dire : ce qui est commun à tous les symboles qui affirment à la fois p et q, c'est la proposition « p . q ». Ce qui est commun à tous les symboles qui affirment p ou q, c'est la proposition « p ∨ q ».

Et ainsi pourrait-on dire : deux propositions sont opposées quand elles n'ont rien en commun ; et : à chaque proposition correspond une seule négation, parce qu'il n'y a qu'une seule proposition qui lui soit complètement extérieure.

Dans la notation de Russell, se montre également que « q : p ∨ ~p » dit la même chose que « q » ; que « p ∨ ~p » ne dit rien.