四种命题
情境引入
我们知道，能够判断真假语句叫做命题．比如　假如两个三角形全等，那么它们面积相等；    ①　假如两个三角形面积相等，那么它们全等；    ②　假如两个三角形不全等，那么它们面积不相等；  ③　假如两个三角形面积不相等，那么它们不全等．  ④　　思索　命题②，③，④与命题①有什么关系？
数学建构
　　上面四个命题都是“假如……，那么……”形式命题，能够记为“若p则q”，其中p是命题条件， q是命题结论．