Negationsbeseitigungsregel is a logical rule (in logic or mathematics) that allows you to remove a negation from a statement, typically by inferring the positive form if the double negation is proven false. It’s also called the rule of double negation elimination.