作业帮谓词逻辑推理1．设已知以下事实：A B A→C B∧C→D D→Q 求证：Q为真.2、 设已知如下事实：（1）凡是容易的课程小王都喜欢.（2）C班的课程都是容易的.（3）ds 是C班的一门课程.求证：小王喜
来源：学生作业帮助网 编辑：作业帮 时间：2024/07/30 21:00:11
xN@_exm@rVΦ/P $H =h^,P]ݞ
Nw)xҙo+i2{ K -\bߢ
8X &vbPD%T\TZ
deTo/M6@R
§@4>߆c:>ؙ RwElϺ2w|= @slcM]GPV\/qw g<LPD,xDx%
K b\JLT_ymжNI.N %Qo|[u
m
PM$$XPYBVKwyv ٗD];8nh
谓词逻辑推理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这门课程