早教吧 育儿知识 作业答案 考试题库 百科 知识分享

人工智能问题将下列谓词公式化为标准子句集彐x{p(x)∧∀[p(y)->~q(y,x)]}

题目详情
人工智能问题 将下列谓词公式化为标准子句集 彐x{p(x)∧∀[p(y)->~q(y,x)]}
▼优质解答
答案和解析
p(a)
~p(y)∨~q(y,a)