命题逻辑--联结词

简单命题
又称原子命题，指不能再分解为更简单的陈述句的命题。
复合命题
由两个或几个简单句加上连词复合而成的命题。
命题的符号化
用英文字母或英文字母和联结词的组合表示命题，称为命题的符号化。
联结词就对应自然语言的连词。
联结词
1、否定 ┐
设p是一个命题，┐p表示一个新命题“非p”。命题┐p称为p的否定。当且仅当p的
真值为假的时，┐p的真值为真。
┐p的真值表

p	┐p
T	F
F	T

“非”、“不”、“无”、“没有”、“并非”等可以用┐来表示。
2、合取∧
设p、q为任意两个命题，p∧q可表示复合命题 “p且q”。当且仅当p和q同时为真，p∧q的真值为真。
p∧q的真值表

p	q	p∧q
F	F	F
F	T	F
T	F	F
T	T	T

“和”、“与”、“也”、“并且”、“既…又”、“不仅…而且”、“虽然…但是”等这样的表连接或转折的词语。
3、析取∨
设p、q为任意两个命题，p∨q表示复合命题“p或q”。当且仅当p和q的真值同时为假的时候，p∨q的真值为假。
p∨q的真值表

p	q	p∨q
F	F	F
F	T	T
T	F	T
T	T	T

“或”、“可能…可能”、“或者…或者”等可用v表示。
或的二义性
自然语言中或具有二义性：“兼容性或”和“不兼容性或”。
兼容性或：电灯不亮是灯泡或线路有问题所致。
不兼容性或（排斥或）：派小王或小李中的一个人去开会。
v表示兼容性或。
例如：
p：电灯不亮是因为灯泡有问题 q：电灯不亮是因为线路有问题
pvq：电灯不亮是灯泡或线路有问题
又例如：
p：派小王去开会 q：派小李去开会
（┐p∧q）v（┐q∧p）:派小王或小李中的一个去开会
4、蕴含→
设p、q表示任意两个命题，p→q可表示复合命题“如果p，则q”。
当且仅当p的真值为真，q的真值为假的时候，p→q的真值为假。
p→q的真值表

p	q	p→q
F	F	T
F	T	T
T	F	F
T	T	T

蕴含式p→q
p为蕴含前件，q为蕴含后件
p是q的充分条件，q是p的必要条件
表示：“如果p，则q” ，“如果p，那么q”，“当p则q”
5、等价 ↔
设p、q为任意两个命题，p↔q表示复合命题“p当且仅当q”
当且仅当p和q同时为真或者同时为假的时候，p↔q为真
p↔q的真值表

p	q	p↔q
F	F	T
F	T	F
T	F	F
T	T	T

等值式p↔q
表示p与q互为充分必要条件的逻辑关系
表示形如“p当且仅当q”，“如果p，那么q，反之亦然”等的命题

五种表达式加上括号的优先级
（） ┐ ∧ ∨ → ↔
从左到右，优先级依次降低