【人工智能学习笔记】 1.5离散数学 -2.一阶谓词逻辑,集合的概念

北京大学慕课学习笔记 一阶谓词逻辑中的 个体、谓词、量词等基本概念 几个重要的等值式 推理定律 个体 将可以独立存在的客体（具体事务或抽象概念）称为个体或个体词，并用a,b,c,…表示个体常元，用x,y,z,…表示个体变元。(个体的函数还是个体，例如，设a,b是数，f(a,b)可以表示a和b的运算结果，如a+b、a . b等。)将个体变元的取值范围称为个体域，个体域可以是有穷或无穷集合。人们称由宇

>>阅读原文<<