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

逆,逆,对照的

给出一个if-then语句“if p ,然后 ,我们可以创建三个相关的声明:

条件句由两部分组成,if从句中的假设和then从句中的结论。例如,“如果下雨,他们就取消学校。”
“下雨”是假设。
“他们取消学校”是结论。

要形成条件命题的逆命题,可以交换假设和结论。
的交谈"如果下雨,他们就会停课"“如果他们不上课,就会下雨。”

要形成条件命题的逆命题,需要对假设和结论都进行否定。
的倒数"如果下雨,他们就会停课"“如果不下雨,他们就不会停课。”

交换条件命题的假设和结论,形成条件命题的对映命题。
的对换的"如果下雨,他们就会停课"“如果他们不取消课程,就不会下雨。”

声明 如果 p ,然后
匡威 如果 ,然后 p
如果不是 p ,然后不
对换的 如果不是 ,然后不 p

如果命题为真,则反命题在逻辑上也为真。如果逆命题为真,那么逆命题在逻辑上也为真。

示例1:

声明 如果两个角全等,那么它们的度数相同。
匡威 如果两个角的度数相同,那么它们就全等。
如果两个角不全等,那么它们的度数就不相等。
对换的 如果两个角的度数不同,那么它们就不全等。

在上面的例子中,由于假设和结论是等价的,所以四个命题都是正确的。但情况不会永远如此!

示例2:

声明 如果一个四边形是一个矩形,那么它有两对平行的边。
匡威 如果一个四边形有两条平行的边,那么它就是矩形。(错误!)
如果一个四边形不是一个矩形,那么它就没有两对平行的边。(错误!)
对换的 如果一个四边形没有两条平行的边,那么它就不是矩形。