Prove that $A \leftrightarrow \lnot\lnot A$ (WIP)

Task

Prove that $A \leftrightarrow \lnot\lnot A$ using only the following axioms:

1. $P \rightarrow (Q \rightarrow P)$
2. $(P \rightarrow (Q \rightarrow R)) \rightarrow ((P \rightarrow Q) \rightarrow (P \rightarrow R))$
3. $(P \rightarrow Q) \leftrightarrow (\lnot Q \rightarrow \lnot P)$

Scoring

Your score will be the number of times you apply any of the axioms above.

posted about 3 years ago

CC BY-SA 4.0

user‭

1546 reputation 9 59 174 89