题目内容

一阶谓词逻辑表示法适合于表示哪种类型的知识？它有哪些特点？

查看答案

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

更多问题

列举出3位我国的奥运会旗手，并说明从事何种体育项目？

判断下列子句集中哪些是不可满足的： (1)S={～P∨Q，～Q，P，～P} (2)S={P∨Q，～P∨Q，P∨～Q，～P∨～Q} (3)S={P(y)∨Q(y)，～P(f(x))∨R(a)} (4)S={～P(x)∨Q(x)，～P(y)∨R(y)，P(a)，S(a)，～S(z)∨～R(z)} (5)S={～P(x)∨～Q(y)∨～L(x，y)，P(a)，～R(z)∨L(a，z)，R(b)，Q(b)} (6)S={～P(x)∨Q(f(x)，a)，～P(h(y))∨Q(f(h(y))，a)∨～P(x)} (7)S={P(x)∨Q(z)∨R(x)，～P(y)∨R(y)，～Q(a)，～R(b)} (8)S={P(x)∨Q(z)，～Q(y)∨R(y)，～P(z)∨Q(z)，～R(u)}

已知樊臻的老师是张先生，樊臻与李伟是同班同学。如果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)))