逻辑推理公式
编者按例文-通知书范文
直言命题
所有的都是 上反对
必有一假
包
矛盾
容
有的是
所有的都不是
包
容
必有一真
下反对 有的不是
所有的A是B 上反对
必有一假
所有的A都不是B
包
矛盾
容
有的A是B
包
容
必有一真
下反对 有A的不是B
三段论
A→B
B→C
B→C
A→B 有的B是C
A→C 有的C是B
—B → —A 逆否
（A→B的矛盾关系A
∧
—B）
A→B 有的A→B
有的B→A
—A∨B
第 1 页 共 3
页
充分假言
：前推后（A推B），肯前肯后，否后否前
如果A，那么B； 只要A，就B 若A，则B
所有A，是B 凡是A，是B
为了A，一定B
为了A，必须B A指的就是B
除非不A，否则B
必要假言
B推A
只有A，才B
没有A，就没有B 不A，不B
除非A，否则不B
A是B的前提，保障，基础，条件谁是条件谁在后
选言命题
P、Q √
相容性 P
∨
Q
—P、Q √
P、—Q
√
选言 —P、—Q ×
不相容性P
∕
Q 要么P要么Q
不是P就是Q
P
∨
Q的矛盾命题 —（P
∨
Q） → —P
∧
—Q
P
∨
Q= —P → Q
—Q → P
P
∨
Q 排中律 排除一个选中一个
必须先排
—A∨B = A→B （鲁宾逊定律）
—A∨B的矛盾命题是 A
∧
—B A→B的矛盾命题是
A
∧
—B
第 2 页
共 3 页
模态命题
必然P 上反对
必有一假
包
矛盾
容
必有一真
可能P
下反对
模态命题的具体关系
“并非必然P”等值于“可能非P”，即：不必然=可能不；
“并非必然非P”等值于“可能P”，即：不必然不=可能；
“并非可能P”等值于“必然非P”，即：不可能=必然不；
“并非可能非P”等值于“必然P”，即：不可能不=必然；
模态命题与非模态命题的推出关系
必然P→ P → 可能P
必然非P →
非P → 可能非P
第 3 页 共 3 页
必然非P
包
容
可能非P