Template:Individual-TLP-paragraph-it-5.513

5.513 Si potrebbe dire: ciò che è comune a tutti i simboli che affermano tanto p quanto q è la proposizione «p . q». Ciò che è comune a tutti i simboli che affermano p oppure q è la proposizione «p ∨ q».

E così si può dire: due proposizioni sono contraddittorie se non hanno niente in comune, e: ogni proposizione ha solo un negativo, poiché vi è una sola proposizione che si trova del tutto al di fuori di essa.

Si mostra così anche nella notazione di Russell che «q : p ∨ ~p» dice lo stesso che «q»; che «p ∨ ~p» non dice niente.