Question

离散数学：用谓词逻辑表示并证明。 有些病人相信所有的医生，所有的

离散数学：用谓词逻辑表示并证明。
有些病人相信所有的医生，所有的病人都不相信骗子，医生一定不是骗子

Answer 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)) )