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?