谓词逻辑
前言
苏格拉底三段论(Socrates syllogism):所有人都是要死的。苏格拉底是人。所以苏格拉底是要死的。 (Socrates, 古希腊哲学家,公元前470~前399) (孔子,中国伟大哲学家,公元前551~前479)
前言
在命题逻辑中,如果设: P:凡人都是要死的; Q:苏格拉底是人; R:苏格拉底是要死的。前提:P,Q,结论:R。则(P∧Q)→R表示上述推理,这个命题公式不是重言式。
|
楼主: 打了个飞的
|
73
0
[课件与资料] 谓词逻辑 |
|
已卖:7602份资源 院士 94%
-
|
| ||
|
|
扫码京ICP备16021002号-2 京B2-20170662号
京公网安备 11010802022788号
论坛法律顾问:王进律师
知识产权保护声明
免责及隐私声明


