离散数学:用谓词逻辑表示并证明。 有些病人相信所有的医生,所有的_百 ...
发布网友
发布时间:2024-03-04 05:24
我来回答
共1个回答
热心网友
时间:2024-03-05 18:02
有些病人相信所有的医生,但是病人都不相信骗子,所以医生都不是骗子。
设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)) )