题目内容

已知樊臻的老师是张先生，樊臻与李伟是同班同学。如果x与y是同班同学，则x的老师也是y的老师。请问李伟的老师是谁？

查看答案

搜索结果不匹配？点我反馈

更多问题

把下列谓词公式分别化为相应的子句集： (1)(z)(y)(P(z，y)∧Q(z，y)) (2)(x)(y)(P(x，y)→Q(x，y)) (3)(x)(y)(P(x，y)∨(Q(x，y)→R(x，y))) (4)(x)(y)(z)(P(x，y)∨Q(x，y)∨R(x，z)) (5)(x)(y)(z)(u)(v)(w)(p(x，y，z，u，v，w)∧(Q(x，y，z，u，v，w)∨～R(x，z，w)))

证明： (y)(Q(y)→(B(y)∧C(y)))∧(y)(Q(y)∧D(y))→(y)(D(y)∧C(y))

什么是完备的归结控制策略？有哪些归结控制策略是完备的？

设有下列事实性知识：张晓辉是一名计算机系的学生，但他不喜欢编程序。李晓鹏比他父亲长得高。试用谓词公式表示这些知识。