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

离散数学:用谓词逻辑表示并证明。有些病人相信所有的医生,所有的病人都不相信骗子,医生一定不是骗子
2026年09月26日 17:34
有1个网友回答
网友(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)) )