当前位置 :
为什么无法用命题逻辑证明苏格拉底三段论
1人问答
问题描述:

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

艾明晶回答:
  p:是人都要死的   q:苏格拉底是人   r:苏格拉底要死   (p,q,r均已不可再分解)   命题逻辑:p,q->r(这显然是不能够证明的)   命题逻辑不能够阐述命题之间的关联   这时只能引入谓词   p(x):x是要死的   q(x):x是人   已知对任意xifq(x),thenp(x)   andq(Socrates)isture,thenp(Socrates)
最新更新
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞