早教吧 育儿知识 作业答案 考试题库 百科 知识分享

好难啊,有没有人可以帮你我啊?一.用谓词表达式符号化下列命题;(1)并不是所有的人都爱吃糖;(4)并非一切推理都能用计算机完成;

题目详情
好难啊,有没有人可以帮你我啊?
一.用谓词表达式符号化下列命题;
(1) 并不是所有的人都爱吃糖;
(4) 并非一切推理都能用计算机完成;
▼优质解答
答案和解析
(1)设F(x):x是人,M(x):x爱吃糖
命题化为:┐倒A x(F(x)→M(x))
(2)设F(x):x是推理,M(y):y是计算机,G(x,y):x能用y完成
命题化为:┐(倒A x)(倒A y)(F(x)∧M(y)→G(x,y))
看了 好难啊,有没有人可以帮你我啊...的网友还看了以下: