谓词逻辑推理

题目

谓词逻辑推理
1．设已知以下事实：
A
B
A→C
B∧C→D
D→Q
求证：Q为真.
2、 设已知如下事实：
（1）凡是容易的课程小王都喜欢.
（2）C班的课程都是容易的.
（3）ds 是C班的一门课程.
求证：小王喜欢 ds 这门课程.
求详解

答案

设容易的为X小王喜欢为Y C班的课程为M ds为M
M→C
C→X
X→Y
M→Y
所以小王喜欢ds这门课程