Template:Individual-TLP-paragraph-it-5.512
5.512 «~p» è vera se è falsa «p». Quindi nella proposizione vera «~p», «p» è una proposizione falsa. Ora come può il tratto «~» portarla a concordare con la realtà?
Quello che in «~p» nega non è però il «~», bensì ciò che è comune a tutti i segni di questa notazione che negano p.
Cioè la regola comune secondo la quale «~p», «~~~p», «~p ∨ ~p», «~p . ~p», ecc. ecc. (ad infinitum) vengono costruite. E questo qualcosa che è comune [a tutti i segni che negano p] rispecchia la negazione.