第十一章 一阶谓词逻辑教学课件.pptVIP

约定：我们用字母x，y，z，u，…（或加下标）表示语法变项，它们的值是任一个体变项；用字母F，G，Q，R，…（或加下标）表示语法变项，它们的值是任一（n元）谓词符号；用字母a，b，c，…（或加下标）表示语法变项，它们的值是任一个体常项。 第二节 一阶公式 一种拼音语言，当它的字母表给定以后，人们就可以随意地对字母表中的字母进行排列，这样随意排列出来的符号序列，并不一定都有意义。于是人们又规定了一些拼音的规则， 使得用这些规则排列出来的符号序列有意义，即表示字或者表示一定的意义。对于一阶语言L来说也是如此。我们也将规定一些规则，使得按我们的规则所形成的符号序列有意义，否则就无意义。并称这样的符号序列是由S确定的一阶语言L的项或公式。 （一）L的形成规则 甲： S中的个体变项和个体常项统称 S项，S项用t或加下标表示； 乙：如果t0,t1,…,tn-1都是S项，而Rn是S中的任一n元谓词符号，那么 Rn(t0,t1,…,tn-1)是一个S公式； 丙：如果?是S公式，那么┑?也是； 丁：如果?和?都是S公式，那么 （? ? ?）也是； 戊：如果?是一个S公式而x是一个个体变项，那么?x?（x）和?x?（x）都是S公式； 己：只有适合以上乙至戊四条的符号 序列才是S公式，记做Wff。 如果在上下文中，只涉及一个S时，我们也常把S项和S公式分别简称为项和公式。 由S公式的