等价联结词

P 当且仅当 Q 称为 P 与 Q 的 等价式

$$P\leftrightarrow Q$$