¬φ ↔ φ → ⊥

φ	¬φ	φ → ⊥	¬φ ↔ (φ → ⊥)
⊤	⊥	⊥	⊤
⊥	⊤	⊤	⊤