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