Template:Individual-TLP-paragraph-pt-br-5.513

5.513 Poder-se-ia dizer: O que é comum a todos os símbolos que afirmam tanto p como q é a proposição “p . q”. O que é comum a todos os símbolos que afirmam p ou q, é a proposição “p ∨ q”.

E assim se pode dizer: Duas proposições são opostas mùtuamente se nada possuem em comum; e: cada proposição tem apenas um negativo, pois há apenas uma proposição que se situa inteiramente fora dela.

E na própria notação de Russell é evidente que “q : p ∨ ∼p” diz a mesma coisa que “q” e que “p ∨ ∼p” não diz nada.