2.2.1表示方法导引 定义谓词如下: N(x):x是自然数 I(x):x是整数 E(x):x是偶数 O(x):x是奇数 CZ(x):x大于零 另外,用函数S(x)表示x除以2。此时,上述三个句子可用 谓词公式表示为: (x)(N(x)→GZ(x)∧I(x) (x)((x)→E(x)VO(x) (x)(E(x)→I(S(x)定义谓词如下： N（x）：x 是自然数 I（x ）：x 是整数 E（x）：x 是偶数 O（x）：x 是奇数 GZ（x）：x 大于零 另外，用函数S（x）表示x 除以 2 。此时，上述三个句子可用 谓词公式表示为： ( x)(N(x)→GZ(x)∧I(x)) ( x)(I(x)→E(x)∨O(x)) ( x)(E(x)→I(S(x))) 2 . 2 . 1 表示方法导引