逻辑推理公式
编者按例文-通知书范文
直言命题
所有的都是 上反对
必有一假
包
矛盾
容
有的是
所有的都不是
包
容
必有一真
下反对 有的不是
所有的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