双条件的声明

双条件语句是A的组合条件语句它的反义词写在当且仅当的形式。

两条线段是相等的当且仅当它们的长度相等。

它是两个条件语句的组合，“如果两条线段相等，那么它们的长度相等”和“如果两条线段相等，那么它们的长度相等”。

当且仅当两个条件都为真时，双条件为真。

双条件语句由符号表示 $\leftrightarrow$ 或 $\Leftrightarrow$ 。

$p \leftrightarrow 问$ 意味着 $p \to 问$ 和 $问 \to p$ 。也就是说, $p \leftrightarrow 问 = （ p \to 问） \land （问 \to p ）$ 。

例子:

写出与下面的双条件语句相关联的两个条件语句。

一个矩形是正方形当且仅当其邻边相等。