Tractatus

5.254

L’operazione può scomparire (ad es. la negazione in «~~p», ~~p = p).