Mamy pokazać, że zbiór {⇒, ⊥} jest zupełny \\

głębokość n = 1 \\
~ p ≡ (p ⇒ ⊥) \\
Τ ≡ (⊥ ⇒ ⊥) \\

n = 2 trzeba pokazać koniunkcje, alternatywę i równoważność (trzy kropki będą bo mi się nie chce co chwile tego samego robić) \\
p ∨ q ≡ ~ p ⇒ q ≡ (p ⇒ ⊥) ⇒ q \\
p ∧ q ≡ ~ (~ p ∨ ~ q) ≡ ... ≡ (p ⇒ (q ⇒ ⊥)) ⇒ ⊥ \\
p ⇔ q ≡ (p ⇒ q) ∧  (q ⇒ p) ≡ ... ≡ ((p ⇒ q) ⇒ ((q ⇒ p)⇒ ⊥)) ⇒ ⊥ \\

dalej prosta indukcja, skoro zachodzi dla n to zajdzie dla n + 1, bo to będzi:\\
f(n) ∨ q \\
lub \\
f(n) ∧ q \\
lub \\
f(n) ⇔ q \\