双条件の除去：p↔q, p ⊨ q は妥当か？

p ↔ q の両側は常に同じ真理値をとるので、p から q が、q から p が得られます。双条件は両方向に働きます。