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

Question

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

Answer 1

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)