Hotmath
数学作业。做得更快，学得更好。

条件语句

一份写在if - then形式是一个条件语句。

p → 问 表示条件语句

“如果 p 然后 问 ．”

示例1:

如果两个角是相邻，那么它们就有共同的一面。

下面陈述的部分如果被称为假设，以及接下来的部分然后叫做结论。

如果 两个角相邻， ︸ 假设 然后 它们有共同的一面 ． ︸ 结论

示例2:

找出下列陈述的假设和结论。

一个多边形如果它有五个边，那就是五边形。

假设如这个多边形有五条边。

结论这是一个五边形。

双条件的声明

双条件语句是一个条件语句和它的反命题的组合当且仅当的形式。

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

它是两个条件命题的组合，“如果两条线段相等，那么它们就相等”和“如果两条线段相等，那么它们就相等”。

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

双条件符号由符号表示 ↔ 或 ⇔ ．

p ↔ 问 意味着 p → 问 和 问 → p ．也就是说, p ↔ 问 ＝ （ p → 问 ） ∧ （ 问 → p ） ．

例子:

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

当且仅当相邻边全等时，矩形是正方形。

关联的条件语句是:

如果一个矩形的相邻边全等，那么它是一个正方形。

如果一个矩形是一个正方形，那么它的邻边全等。