离散数学：用谓词逻辑表示并证明。 有些病人相信所有的医生，所有的
离散数学：用谓词逻辑表示并证明。有些病人相信所有的医生，所有的病人都不相信骗子，医生一定不是骗子...
离散数学：用谓词逻辑表示并证明。
有些病人相信所有的医生，所有的病人都不相信骗子，医生一定不是骗子 展开
有些病人相信所有的医生，所有的病人都不相信骗子，医生一定不是骗子 展开
1个回答
展开全部
有些病人相信所有的医生，但是病人都不相信骗子，所以医生都不是骗子。
设P（x）:x是病人
D（x）:x是医生
Q（x）:x是骗子
L（x,y）:x相信y
第一句话 我可以写出来 ：∃x( p(x)∧∀y(D(y)→L(x,y)) )
第二句话书上是写：：∀x∀y( p(x)∧Q(y)→┐L(x,y)) )
设P（x）:x是病人
D（x）:x是医生
Q（x）:x是骗子
L（x,y）:x相信y
第一句话 我可以写出来 ：∃x( p(x)∧∀y(D(y)→L(x,y)) )
第二句话书上是写：：∀x∀y( p(x)∧Q(y)→┐L(x,y)) )
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
