Template:Individual-TLP-paragraph-es-5.512

5.512 «~p» es verdadero, si «p» es falso. Pues en la proposición verdadera «~p» es «p» una proposición falsa. ¿Cómo puede la barra «~» hacerlo concordar con la realidad?

Lo que niega en «~p» no es, sin embargo, «~», sino aquello que todos los signos de esta notación, las cuales niegan p, tienen en común.

Así, la regla general según la cual «~p», «~~~p», «~p ∨ ~p», «~p . ~p», etc. etc. (indefinidamente [ad inf.]) son construidas. Y esto común refleja la negación.