题海让大学四年没有难题
白天模式登陆

题目详情

单选题 已知:张和李是同班同学,如果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

Copyright © 2022 津ICP备2021001502号