、
效的。
演
例1、所有金属都是导体,所有铁都是金
绎
属;所以,所有铁都是导体。(前提真, 形式有效,结论真)
推
例2、所有金属都是导体 ,所有塑料都是
理
金属,所以,所有的塑料都是导体。(前
的 有
提假,形式有效,结论假)
例3、所有金属都是导体,所有人体都是 导体; 所以,所有人体都是金属。(前
效
提真,形式无效,结论假)
传
逻辑
统
法国的亚诺德和尼柯尔《波尔-罗
逻
亚尔逻辑》
辑
英国的穆勒(Mill)《逻辑体系》
的
发
展
三 、 现 代 发逻 展辑 的 兴 起 与
17世纪末德国哲学家莱布尼兹提出 把推理变成逻辑演算
英国逻辑学家布尔建立了“逻辑代 数”
德国哲学家弗雷格提出命题演算和 谓词演算的思想
罗素和怀德海《数学原理》中建立 了这两个演算系统,使数理逻辑成 为一个新学科
不相容选言推理的有效式
1、肯定否定式:(小前提肯定一个选言肢, 结论否定另一个选言肢)
要么 p,要么q p
所以,非 q
((p∨q)∧p) →¬q
不相容选言推理的有效式
2、否定肯定式: (小前提否定一个选言肢, 结论肯定另一个选言肢)
要么 p,要么q 非p
所以, q
((p∨q) ∧¬ p) → q
如:所有学生都是认真学习的。 所有植物都是呼吸空气的。 所有金属都是导电的。
所有XX都是XX 所有S是P
一 、 思 逻维 辑内 形容 式与 思 维 的
又如:1、如果天下雨,那么地 上湿。
2、如果摩擦,那么就会
生热。
如果怎样,那么就怎样。