计算机判断题标准

谓词与量词的形式化 — 计算机判断题

人工智能导论（大学通用）知识表示与推理 AI 三重审校通过

题目

设论域为所有对象，C(x)表示“x是顾问”，T(y)表示“y是课题”，A(x,y)表示“x为y提供建议”。“存在一位固定顾问能为每个课题提供建议”可形式化为：∀y(T(y)→∃x(C(x)∧A(x,y)))。判断该表述是否正确。