离散数字 用谓词公式证明？ 谓词公式的类型

• 离散数学：用谓词逻辑表示并证明。 有些病人相信所有的医生，所有的
• 离散数字有一题 在谓词逻辑中,将下列命题符号化,并构造该推理的证明 所有大学生都喜欢运动，李明是大
• 离散数学，谓词表达式
• 离散数学，判定谓词公式是不是永真式

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

有些病人相信所有的医生，但是病人都不相信骗子，所以医生都不是骗子。

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

离散数字有一题 在谓词逻辑中,将下列命题符号化,并构造该推理的证明 所有大学生都喜欢运动，李明是大

A(x):x是大学生

B(x):x喜欢运动

a:李明

前提：∀x(A(x)→B(x)),A(a)

结论：B(a)

（1）∀x(A(x)→B(x)) P规则

（2）A(a)→B(a) (1)

（3）A(a) P规则

（4）B(a) (2)(3)

离散数学，谓词表达式

设F(x)：x是足球运动员，G(x)：x是排球运动员，a：王亮

命题符号化为：F(a)∨G(a)

离散数学，判定谓词公式是不是永真式

不是，是永假式。

前件是1，后件是0，蕴涵式是1→0，真值是0。