Tractatus

5.254

La operación puede desaparecer (por ejemplo, la negación en «~~p», ~~p = p).