离散数学lsjma3.pptVIP

§4.２　公式与解释 1、先介绍几个符号： 1）常量符号：用a、b、c……表示 2）变量符号：用x、y、z……表示 3）函数符号：用f、g、h……表示 4）谓词符号：用P 、Q、R……表示 ２、项 1）常量符号是项：如a 2）变量符号是项：如x 3）若f(t1……tn)是n元谓词，t1……tn是项，则f（t1……tn）是项 4）所有项是有限次使用（1）（2）（3）生成的字符串 3、原子 若p(x1……xn)是n元谓词符号，t1……tn是项，则p(t1……tn)是原子 4、公式 1、原子是公式 2、若G、H是公式，则（ G),(G∨H),(G∧H),(G→H),(G　H) 3、若G是公式，x是G中的自由变量，则 是公式 4、所有公式都是有限次使用（1）、（2）、（3）生成的符号串。 5、解释： 首先给出一个个体集合D，公式中的常量符号是赋以D中的某个元素，变量符号的变化范围指定为D，函数符号赋以D上的一个具体函数，谓词符号赋以D上的一个具体谓词。 3）对每个n元谓词符号，指定一个谓词，即指定Dn到{0、1}上 的一个映射 具体讲：给定一个非空集合D