来自汲书强的问题
【离散数学题鸟会飞,猴子不会飞,所以猴子不是鸟.在谓词中逻辑符号化命题,用构造法证明推理】
离散数学题鸟会飞,猴子不会飞,所以猴子不是鸟.
在谓词中逻辑符号化命题,用构造法证明推理
根据题意可设,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)
对于所有的猴子都不是鸟
大家都在问
最新问答
海冰含盐量接近淡水，...2020-12-30
三峡游山峰一下子就被...2020-12-30
二元一次方程简单的配...2020-12-30
【偏裨将校是什么意思...2020-12-30
如图秒表的读数为__...2020-12-30
____abigfi...2020-12-30
【知道本金和税后利息...2020-12-30
《一百条裙子》读后感...2020-12-30
利用矩阵解二元一次方...2020-12-30
【英语中的peasa...2020-12-30