Template:Individual-TLP-paragraph-fr-5.512

5.512 « ~p » est vraie si « p » est fausse. Par conséquent, dans la proposition vraie « ~p », « p » est une proposition fausse. Comment le trait « ~ » peut-il la rendre conforme à la réalité ?

Ce qui nie dans « ~p » ce n'est pas le « ~ », mais ce qui est commun à tous les signes de cette notation qui nient p.

Et par conséquent la règle commune selon laquelle sont construits « ~ p », « ~~~p », « ~p ∨ ~p », « ~p . ~p », etc. (ad inf.). Et ce qui est commun est le reflet répété de la négation.