惯用逻辑用语复习
知识网络
命题形式：“若P, 则q”
也可写成 “假如P,那么q” 形式
也可写成 “只要P,就有q” 形式
   通常,我们把这种形式命题中P叫做命题条件,q叫做结论.
记做:
用语言、符号或式子表示，能够判断真假陈说句称为命题．
1.1.1命题
其中判断为真语句称为真命题，判断为假语句称为假命题．