 Double-negation elimination

ID: double-negation-elimination

Double-negation elimination is the inference from

\neg\neg A

A

 New to topics? Read the docs here!