2-2谓词公式及命题符号化 命题逻辑中有命题公式,类似地,在谓词逻辑 中,要研究谓词公式。 2-2.1客体的数 有些命题中,可能有若干个客体,其中有些客体 之间有函数关系,例如 例题1.如果ⅹ是奇数,则2x是偶数。 其中客体x与客体2x之间就有函数关系,可以设 客体函数g(x)=2x, 谓词0(x):x是奇数,E(x):x是偶数 则此命题可以表示为:Vx(0(x)→E(g(x))2-2 谓词公式及命题符号化 命题逻辑中有命题公式，类似地，在谓词逻辑 中，要研究谓词公式。 2-2.1 客体函数 有些命题中，可能有若干个客体，其中有些客体 之间有函数关系，例如 例题1. 如果x是奇数，则2x是偶数。 其中客体x与客体2x之间就有函数关系，可以设 客体函数 g(x)=2x， 谓词 O(x)：x是奇数， E(x)：x是偶数， 则此命题可以表示为： x(O(x)→E(g(x)))