题目详情
单选题 已知:张和李是同班同学,如果x和y是同班同学,则x的教室也是y的教室,现在张在302教室上课.问:现在李在哪个教室上课? 其中定义谓词:C(x, y)为x和y是同班同学;At(x, u)为x在u教室上课. 则以下 选项不属于该问题反演求解过程中的子句集
A. C(zhang, li)
B. ¬At(li, v)∨At(li, v)
C. ¬C(x, y)∨At(x, u)∨At(y, u)
D. At(zhang, 302)
学科:默认课程
时间:2026-03-28 06:33:37
相关题目
相关作业