命题(1)(4)(5),具有
“若P, 则q” 的形式
也可写成 “如果P,那么q” 的形式
也可写成 “只要P,就有q” 的形式
通常,我们把这种形式的命题中的P叫做命题的条件,q叫做结论.
记做: