当前位置 :
【离散数学题鸟会飞,猴子不会飞,所以猴子不是鸟.在谓词中逻辑符号化命题,用构造法证明推理】
1人问答
问题描述:

离散数学题鸟会飞,猴子不会飞,所以猴子不是鸟.

在谓词中逻辑符号化命题,用构造法证明推理

商少凌回答:
  根据题意可设,M(x):x是猴子Q(x):x是鸟P(x):x会飞   前提:∀x(Q(x)→P(x))∀x(M(x)→┐P(x))   结论:∀x(M(x)→┐Q(x))   (1)∀x(Q(x)→P(x))P   (2)∀x(M(x)→┐P(x))P   (3)Q(a)→P(a)US(1)   (4)M(a)→┐P(a)US(2)   (5)┐P(a)→┐Q(a)T(3)E   (6)M(a)→┐Q(a)T(4)(5)I   (7)∀x(M(x)→┐Q(x))UG(6)   对于所有的猴子都不是鸟
数学推荐
最新更新
优秀数学推荐
热门数学
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞