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