高等继续教育 / 人工智能
题型描述: 简答题
把下列句子变换成子句形式：
(1)(∀x)｛P(x)→P(x)｝
(2)∀x∀y(On(x,y)→Above(x,y))
(3)∀x∀y∀z(Above(x,y)∧Above(y,z)→Above(x,z))
(4)¬｛(∀x)｛P(x)→｛(∀y)［p(y)→p(f(x,y))］∧(∀y)［Q(x,y)→P(y)］｝｝｝
参考答案：
佳题速递：