Hola:
... a partir de CONS(¬φ)≠SENT se puede afirmar que ⊥ no pertenece CONS(¬φ) ...
En efecto, si CONS(¬φ) ≠ SENT, entonces CONS(¬φ) es consistente (por ser SENT la única teoría inconsistente).
Luego ⊥ ∉ CONS(¬φ) (si perteneciera no sería consistente).