第二节公式与解释 本节主要内容有 1给出了4种符号即常量符号、变量符号、函 数符号、谓词符号的定义; 2在4种符号的基础上定义了项在项和谓词 的基础上定义原子在原子的基础上用递归 的方法定义了公式; 3公式的指导变元、辖域、约束变元、自由 变元及变元的改名规则; 4命题的解释或赋值的概念 4恒真、恒假公式的定义; 3 返回本章首页 2021/1212021/1/21 3 第二节 公式与解释 本节主要内容有: 1.给出了4种符号,即常量符号、变量符号、函 数符号、谓词符号的定义; 2.在4种符号的基础上,定义了项,在项和谓词 的基础上定义原子,在原子的基础上用递归 的方法定义了公式； 3.公式的指导变元、辖域、约束变元、自由 变元及变元的改名规则; 4.命题的解释或赋值的概念； 4.恒真、恒假公式的定义; 返回本章首页