generated at
2/18/2025, 5:20:30 PM
二重否定除去
double-negation elimination
\lnot\lnot P\to P