Template:Individual-TLP-paragraph-es-5.513

5.513 Se podría decir: lo común de todos los símbolos que afirman tanto p como q, es la proposición «p . q». Lo común de todos los símbolos que afirman o bien p o bien q, es la proposición «p ∨ q».

Y así se puede decir: dos proposiciones son recíprocamente contrarias, cuando no tienen nada en común entre sí, y: cada proposición tiene solo un negativo, porque solo hay una proposición que reside completamente fuera de sí.

Se muestra también en la notación de Russell que «q : p ∨ ~p» dice lo mismo que «q»; que «p ∨ ~p» no dice nada.