Discusión y preguntas

Exacto: $\|\bot\|=\Pi$ y por lo tanto $\|A\|\subseteq \|\bot\|$ para toda fórmula $A$. Como $(\cdot)^{\bot}$ es contravariante, entonces $|\bot|\subseteq |A|$, es decir, si realizas $\bot$, entonces realizas todas las fórmulas (lo que es coherente con el princpio "ex falso quodlibet").
Abrazo,
Mauricio.