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

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

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