在教科书中学习符号主义AI与逻辑推理
定义谓词逻辑（述語論理）是用“谓词(对象)”形式的符号来表示对象的性质和对象之间的关系的逻辑。
解说例如“咪咪是猫”写作 猫(咪咪)，其中“猫”是谓词，“咪咪”是对象。再组合表示“所有”“存在”的量词（∀・∃），就能写出对许多对象都成立的一般规律，因此它成为由人用符号和规则书写知识、再让机器推理的符号主义 AI 的基础。
类比通讯录如果先定好“姓名”“关系”等栏目再填写，机器就能找出谁和谁是父母子女。谓词逻辑就像是把知识统一成这种固定格式的方法。
记忆钩子想象把语文课学的谓语（是……、比……大）提到最前面，再把主语等放进括号里，按这个字面形状来记。