早教吧 育儿知识 作业答案 考试题库 百科 知识分享

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

题目详情
为什么无法用命题逻辑证明苏格拉底三段论
▼优质解答
答案和解析
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)