为什么无法用命题逻辑证明苏格拉底三段论

答案:3 悬赏:40 手机版

解决时间 2021-01-30 19:01

提问者网友：書生途
2021-01-30 08:20

为什么无法用命题逻辑证明苏格拉底三段论

最佳答案

五星知识达人网友：过活
2021-01-30 08:25

p:是人都要死的
q：苏格拉底是人
r：苏格拉底要死
(p,q,r均已不可再分解)

命题逻辑：p，q->r（这显然是不能够证明的）

命题逻辑不能够阐述命题之间的关联
这时只能引入谓词

p(x):x是要死的
q(x):x是人
已知对任意x if q(x),then p(x)
and q(Socrates) is ture，then p(Socrates)

全部回答

1楼网友：零点过十分
2021-01-30 10:01

命题逻辑本质上是利用对三个集合（大前提小前提结论）之间的关系的说明进行论证，而苏格拉底是一个个体，而不是一个集合，因而不能用命题逻辑证明，只能用谓词逻辑证明-----谓词逻辑把个体与集合联系了起来。

2楼网友：酒者煙囻
2021-01-30 09:03

命题逻辑本质上是利用对三个集合（大前提小前提结论）之间的关系的说明进行论证，而苏格拉底是一个个体，而不是一个集合，因而不能用命题逻辑证明，只能用谓词逻辑证明-----谓词逻辑把个体与集合联系了起来。 p:是人都要死的 q：苏格拉底是人 r：苏格拉底要死 (p,q,r均已不可再分解) 命题逻辑：p,q->r（这显然是不能够证明的）命题逻辑不能够阐述命题之间的关联这时只能引入谓词 p(x):x是要死的 q(x):x是人已知对任意x if q(x),then p(x) and q(socrates) is ture,then p(socrates)

我要举报

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息