早教吧作业答案频道 -->其他-->
离散数字有一题在谓词逻辑中,将下列命题符号化,并构造该推理的证明所有大学生都喜欢运动，李明是大离散数字有一题在谓词逻辑中,将下列命题符号化,并构造该推理的证明所有大学生都
题目详情
离散数字有一题 在谓词逻辑中,将下列命题符号化,并构造该推理的证明 所有大学生都喜欢运动，李明是大
离散数字有一题 在谓词逻辑中,将下列命题符号化,并构造该推理的证明
所有大学生都喜欢运动，李明是大学生
所有李明喜欢运动
我需要完整的答案 考试用的
离散数字有一题 在谓词逻辑中,将下列命题符号化,并构造该推理的证明
所有大学生都喜欢运动，李明是大学生
所有李明喜欢运动
我需要完整的答案 考试用的
▼优质解答
答案和解析
A(x):x是大学生
B(x):x喜欢运动
a:李明
前提：∀x(A(x)→B(x)),A(a)
结论：B(a)
（1）∀x(A(x)→B(x)) P规则
（2）A(a)→B(a) (1)
（3）A(a) P规则
（4）B(a) (2)(3)
B(x):x喜欢运动
a:李明
前提：∀x(A(x)→B(x)),A(a)
结论：B(a)
（1）∀x(A(x)→B(x)) P规则
（2）A(a)→B(a) (1)
（3）A(a) P规则
（4）B(a) (2)(3)
看了离散数字有一题在谓词逻辑中,将...的网友还看了以下：
设a,b都是正实数,且不等于根号2×b,证明根号2必在a/b和（a+2b/a+b）之间,并说明这两 2020-05-21 …
《国语•晋语》说：“事君不贰是谓臣，好恶不易是谓君。君君臣臣，是谓明训。”“委质为臣，无有二心，委 2020-06-14 …
请高手将以下古文翻译成英文反听之谓聪,内视之谓明,自胜之谓强.——西汉•司马迁《史记•商 2020-06-22 …
英语标点符号用法Seenfromthemoon,outearthwaterwithcovering 2020-06-27 …
Themomentthe29thOlympicGamesopen,thewholeworldche 2020-07-23 …
数一数。1．小明去电影院看电影，数一数，小明座号是（）排（）号。2．小刚的电影票是8排12号，请找 2020-08-04 …
关于英语问题：冒号后面可以跟非谓语?冒号后面既可以引句子也可以引非谓语吗冒号后面的第一个单词首字母要 2020-11-08 …
微生物获得能量有哪些方式?请对每种方式进行简要说明并各举一例.请专业人士作答.试述细菌纯培养生长曲线 2020-11-13 …
一代史学大家朱希祖的痛与梦朱希祖1919年任北京大学中国文学系代理主任，教授中国文学史。”五四”前后 2020-11-21 …
根据年龄的称谓在括号内填上岁数。幼学之年()弱冠之年(...根据年龄的称谓在括号内填上岁数。幼学之年 2020-11-27 …