双条件消去：p↔q, p ⊨ q 有效吗？

p ↔ q 的两侧始终取相同真值，所以由 p 可得 q，由 q 亦可得 p。双条件在两个方向上都成立。