1 命题
1、命题：可以判断其真值的陈述句
2、真值：真或者假(1或者0)
3、真命题：真值为真的命题
4、假命题：真值为假的命题
5、原子命题：不可以再被分解成更简单的命题
6、复合命题：由原子命题通过联结词联结而成的命题
2 命题联结词
1、五种命题联结词：否定、合取、析取、蕴含和等价
2、蕴含联结词需要注意：
p为1并且q为0 结果才为0
3、等价联结词需要注意：
4、联结词的优先顺序：
1 () 括号
2 否定
3 合取
4 析取
5 蕴含
6 等价
5、注意：原子命题
6、注意：排斥或
7、注意：相容或
8、注意：蕴含
1 ..., 仅当... p->q
2 仅当..., ...q->p
9、注意：等价
3 命题公式及其赋值
1、命题变元：真值可以变化的命题
2、成真赋值和成假赋值：使其对应真值为1或0
3、重言式,矛盾式和可满足式：
1 重言式(永真式)：命题公式A在各种赋值下取值都为真
2 矛盾式(永假式)：命题公式A在各种赋值下取值都为假
3 可满足式：**不是矛盾式**
4 题目
注意：
1 除非..., 否则... **非p->非q**
解释：
1 除非天下雨,否则他不在室内运动
2 他在室内运动,说明天下雨
3 p->q 逻辑恒等于 非p或q
4 那么 q->p表示：他在室内运动,天下雨
5 q->p 逻辑恒等于 非q或p 也就是 p或非q
6 p或非q 也就是 非p蕴含非q
每一种组合称为一种指派
