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

5.1311 Se pois de p ∨ q e de ~p inferimos q, a relação entre as formas das proposições “p ∨ q” e “∼p” se oculta em virtude da maneira de simbolizar. Se em lugar de “p ∨ q”, escrevemos, por exemplo, “p | q . | . p | q” e em lugar de “∼p” “p | p” (p | q = nem p nem q), logo se torna clara a conexão interna.

De (x).fx pode-se inferir fa; isto mostra que a universalidade já está presente no símbolo “(x).fx”.