⇔
↔ 实质等价 A ⇔ B 表示 A 真则 B 真，A 假则 B 假。 x + 5 = y +2 ⇔ x + 3 = y
当且仅当
命题逻辑
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。