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) ≡ … ≡ ¹⁾ ⇒ ⊥

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