面白い問題おしえて〜な 38問目

以下の命題が同値であることを証明せよ。

#1 ∀P. P ∨ ¬P
#2 ∀P. ¬¬P → P
#3 ∀P, Q. (P → Q) → ¬P ∨ Q
#4 ∀P, Q. ¬(¬P ∧ ¬Q) → P ∨ Q
#5 ∀P, Q. ((P → Q) → P) → P
#6 ∀P, Q, R. (P → Q) ∨ (Q → R)