Template:Individual-TLP-paragraph-pt-br-5.254

5.254 A operação pode desaparecer (por exemplo, a negação em “∼∼p”, ∼∼p = p).