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

5.512 “∼p” é verdadeiro se “p” fôr falso. Portanto, numa proposição verdadeira “~p”, “p” é uma falsa proposição. Como lhe é possível fazer o traço “∼” concordar com a realidade?

O que é negado em “∼p” não é “∼”, mas o que é comum a todos os signos dessa notação que negam p.

Dêsse modo, a regra comum pela qual se formam “∼p”, “∼∼∼p”, “∼p ∨ ∼p”, “∼p . ∼p”, etc., etc. (ao infinito). E o que é comum espelha a negação.