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

Question

如题所述

Answer 1

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

Answer 2

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)本回答被提问者和网友采纳