自然数整数问题.docx

已知：（1）自然数都是大于零的整数。 所有整数不是偶数就是奇数。 偶数除以 2 是整数。 求证： 所有自然数不是奇数就是其一半为整数的数。 解： 设 N (x) 表示 x 是自然数。 I (x) 表示 x 是整数。E(x) 表示 x 是偶数。O(x) 表示 x 是奇数。GZ (x) 表示 x 大于零。S (x) 表示 x 除以 2。则上面命题用谓词公式 表示为：（5 分） F1: (?x)(N (x) ? GZ (x) ? I (x)) F 2 : (?x)(I (x) ? E(x) ? O(x)) F 3: (?x)(E(x) ? I (S (x))) G : (?x)(N (x) ? (O(x) ? I (S (x))) 把 F1、F2、F3 及￢G 化成子句集：（5 分） (1)?N (x) ? GZ (x)? ?(2)?N (x) ? I (x) ? F1 ? (3)?I ( y) ? E( y) ? O( y)? F 2 (4) ?E(z) ? I (S (z))? F 3 (5)N (t) ? ?(6)?O(t) ? ?G ? ?(7)?I (S (t))? ? (8)?I (t) ? E(t) (9)?E(t) (10)?I (t) (11)?N (t) (12)NIL  (3)(6)归结，{t / y} (4)(7)归结，{t / z} (8)(9)归结 (2)(10)归结，{t / x} (5)(11)归结 ?所有自然数不是奇数就是其一般为整数的数。