Double Negation
Premise. P
Conclusion. ¬¬P
Premise. ¬¬P
Conclusion. P
Converted by
Mathematica
October 4, 2001