谓词公式 ※谓词公式,由原子公式、联结词和量词可构成谓词公式(严格定 义见教材)。命题的符号化结果都是谓词公式。 例如:(x)(F(x)→G(x)), (x)(F(x)∧G(x), (x)(Yy)(F(x)AF(y)∧L(x,y)→H(x,y))等都是谓词公 式。 ※谓词公式只是一个符号串,没有什么意义,但我们给这个符号串 个解释,使它具有真值,就变成—一个命题.所谓解释就是使公 式中的每一个变项都有个体域中的元素相对应 ※在谓词逻辑中,命题符号化必须明确个体域,无特别说明认为是 全总个体域。一般地,使用全称量词,特性谓词后用→;使用 存在量词彐,特性谓词后用入。谓词公式 ※ 谓词公式，由原子公式、联结词和量词可构成谓词公式(严格定 义见教材)。 命题的符号化结果都是谓词公式。 例如: (x)(F(x)→G(x))， (x)(F(x)G(x))， (x)(y)(F(x)F(y)L(x,y)→H(x,y))等都是谓词公 式。 ※ 谓词公式只是一个符号串，没有什么意义，但我们给这个符号串 一个解释，使它具有真值，就变成一个命题. 所谓解释就是使公 式中的每一个变项都有个体域中的元素相对应。 ※ 在谓词逻辑中，命题符号化必须明确个体域，无特别说明认为是 全总个体域。一般地，使用全称量词，特性谓词后用→；使用 存在量词，特性谓词后用