一阶逻辑公式及解释.pptVIP

. 4.2 一阶逻辑公式及解释 上节学习了 一阶逻辑的基本概念：个体词、谓词、量词 一阶逻辑符号化的有关概念和方法 本节学习 一阶逻辑公式的概念：字母表、项、原子公式、公式、指导变元、辖域、闭式等 一阶逻辑公式的解释及公式类型的判断。 定义4.1（字母表） 以下是字母表的成员： (1)个体常项:a，b，c，…，ai，bi，ci，…，i≥1 (2)个体变项:x，y，z，…，xi，yi，zi，…，i≥1 (3)函数符号:f，g，h，…，fi，gi，hi，…，i≥1 (4)谓词符号:F，G，H，…, Fi，Gi，Hi，…，i≥1 (5)量词符号: ?，? (6)联结词符号: ┐，∧，∨，→，? (7)括号和逗号:（） ， 定义4.2（项） 项的递归定义如下： （1）个体常项和个体变项是项。 （2）如果?(x1,x2,…,xn)是任意的n元函数，t1,t2,…,tn是任意的n个项，则?(t1,t2,…,tn)仍然是项。 （3）只有有限次使用(1)，(2)生成的符号串才是项。 定义4.3（原子公式） 设R(x1,x2,…,xn)是任意的n元谓词，t1,t2,…,tn是任意的n个项，则称R（t1,t2,…,tn）为原子公式。 原子公式是谓词逻辑公式的最小单位，最小的句子单位