早教吧作业答案频道 -->数学-->
为什么无法用命题逻辑证明苏格拉底三段论
题目详情
为什么无法用命题逻辑证明苏格拉底三段论
▼优质解答
答案和解析
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)
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)
看了 为什么无法用命题逻辑证明苏格...的网友还看了以下：
一、假设下列命题为真,请写出该命题的逻辑形式,并根据直言命题间的对当关系,给出同素材的其它三种命题 2020-05-20 …
英语翻译其一：西方侦探小说核心就是的实证和逻辑,而对于国内悬疑推理作者普遍存在的一个问题,他们经常 2020-06-20 …
一个关于数据库逻辑蕴涵的证明题！题目：设U={ABCDE},F={A→B,CD→A,B→D,CD→ 2020-07-05 …
关于逻辑学的,一、假设下列命题为真,请写出该命题的逻辑形式,并根据直言命题间的对当关系,给出同素材 2020-07-05 …
求逻辑,举一反三!如下逻辑.有3个人去投宿,一晚30元.三个人每人掏了10元凑够30元交给了求逻辑 2020-07-14 …
原命题“如果一个三角形的三条边都相等，那么这个三角形的三个角都相等”的否命题、逆命题、逆否命题三个 2020-08-01 …
离散数学初学者,证明逻辑等价严格证明￢(P↔Q)与(P∧Q)∧￢(P∧Q)等价,期望有具体步骤 2020-11-15 …
一道逻辑推理题,某律师事务所共有12名工作人员.(1)有人会使用计算机(2)有人不会使用计算机(3) 2020-12-12 …
布达拉宫位于逻些城，是汉藏两族人民世代友好交往的历史见证，逻些城就是今天的A．洛阳B．长安C．拉萨D 2020-12-21 …
不等式证明,逻辑清楚有加分x∈（0,π/2）证明：tanx/x>x/sinx 2020-12-25 …
相关搜索：为什么无法用命题逻辑证明苏格拉底三段论