文档介绍：第四讲命题逻辑
原子命题
复合命题
命题名称
命题形式
符号形式
联结词
联言命题
P并且q
p∧q
合取
选言命题
P或者q
p∨q
相容析取
要么p,要么q
p⊙q
不相容析取
假言命题
如果p,那么q
p→q
蕴涵
只有p,才q
p←q
逆蕴涵
q当且仅当p
p q
等值于
负命题
并非p
﹁p
并非
复合命题真值表
p
q
p∧q
p∨q
p⊙q
p→q
p←q
p q
﹁p
T
T
T
T
F
T
T
T
F
T
F
F
T
T
F
T
F
F
F
T
F
T
T
T
F
F
T
F
F
F
F
F
T
T
T
T
命题推理规则
联言推理
选言推理相容选言推理
不相容选言推理
假言推理充分条件假言推理
必要条件假言推理
充要条件假言推理
二难推理
联言推理分解式的一般形式
p1∧p 2∧……∧ pn
———————————
∴pi (i=1,2,……n)
相容选言推理规则
否定一部分选言支,可以肯定另一部分选言支
肯定一部分选言支,不能否定另一部分选言支
不相容选言推理规则
否定一个选言支以外的选言支,可以肯定余下的那个选言支
肯定一个选言支,可以否定其他选言支
充分条件假言推理规则
肯定前件可以肯定后件
否定前件不能否定后件
肯定后件不能肯定前件
否定后件可以否定前件
必要条件假言推理规则
否定前件可以否定后件
肯定前件不能肯定后件
肯定后件可以肯定前件
否定后件不能否定前件
充要条件假言推理
肯定前件可以肯定后件
否定前件可以否定后件
肯定后件可以肯定前件
否定后件可以否定前件