2️⃣ Rule of double negation § = double Negation (minimal logic) can be reduced to no negation at all Notation § (DN) A¬¬A