国防科学的技术大学计算机学院离散数学课后习题解答谓词逻辑.docVIP

课后答案网  HYPERLINK /  -  PAGE 6 - 第五章 谓词逻辑 习题5.1 1. 每个自然数都有唯一的后继； 解：“每个”是全称的概念；“自然数”需引进一个特性谓词；“有”表示存在；“唯一”表示所有具有该性质的元素均相等（即若x具有该性质，y也具有该性质，则x等于y）；“后继”用谓词表示。于是，可令： N(x)：x是自然数； Q(x, y)：y是x的后继； E(x, y)：x等于y； 则上述命题可以符号化为： (? x) ( N ( x ) ? (? y) (Q ( x, y ) ? (? z) (Q ( x, z ) ? E ( y, z ) ) b) 没有以0为后继的自然数； 解：“没有”表示不存在；“自然数”用特性谓词表示；“后继”用谓词表示。于是，可令： N(x)：x是自然数； Q(x, y)：y是x的后继； 则上述命题可以符号化为： ? (? x)( N ( x ) ? Q ( x, 0 ) ) 注意： = 1 \* GB3 ① 对于引进的特性谓词，在全称量词约束下要用逻辑联结词“?”，在存在量词约束下要用逻辑联结词“?”。  = 2 \* GB3 ② “唯一”概念的符号化。 2. 存在唯一的偶素数； 解：“存在”是存在量词的概念；“唯一”可参照上题；“偶数”、“素数”用谓词表示。于是，可令： E(x)：x是偶数； S(x)：x是素数； R(x, y)：x等于y； 则上述命题可以符号化为： (? x) ( E ( x ) ? S ( x ) ? (? y) ( E ( y ) ? S ( y ) ? R ( x, y ) ) 没有既是奇数又是偶数的数； 解：“没有”表示不存在；“奇数”、“偶数”、“数”用谓词表示。于是，可令： O(x)：x是奇数； E(x)：x是偶数； Q(x)：x是数； 则上述命题可以符号化为： ? (? x) ( Q ( x ) ? O ( x ) ? E ( x ) ) 3. 所有可证明的算术命题都是真的； 存在真的但不可证明的算术命题； 对于任意的三个算术命题x, y, z ，若z = x ? y且z是可证明的，则x是可证明的或y是可证明的； 对于任意的三个算术命题x, y, z ，若x是真的并且z = x ? y，则z是真的； 4. 对任意整数x, y和z，x z是x y且y z的必要条件； 解：“任意”是全称的概念；“整数”需引进一个特性谓词；“”用谓词表示；“必要条件”用逻辑联结词来表示。于是，可令： I(x)：x是整数； L(x, y)：x y； 则上述命题可以符号化为： (? x) (? y) (? z) ( I ( x ) ? I ( y ) ? I ( z ) ? ( L ( x, y ) ? L ( y, z ) ? L ( x, z ) ) ) b) 对任意整数x，若x = 2，则3? x = 6；反之亦然； 解：“任意”是全称的概念；“整数”需引进一个特性谓词；“=”用谓词表示；“? ”用函词表示。于是，可令：（2、3、6可以用常元表示） I(x)：x是整数； E(x, y)：x = y； f(x, y)：x? y； 则上述命题可以符号化为： (? x) ( I ( x ) ? ( E ( x, 2 ) ? E ( f(3, x), 6 ) ) ? ( E ( f(3, x), 6 ) ? E ( x, 2 ) ) ) 或 (? x) ( I ( x ) ? ( E ( x, 2 ) E ( f(3, x), 6 ) ) ) 习题5.2 1. 除了最后一个x是自由出现外，其它的6次x的出现都是约束出现。 第一个(? x) 的辖域为下面的划线部分： (? x) ( P ( x ) ? ( ? x ) Q ( x ) ) ? ( (? x) P ( x ) ? Q ( x ) ) 第一个( ? x ) 的辖域为下面的划线部分： (? x) ( P ( x ) ? ( ? x ) Q ( x ) ) ? ( (? x) P ( x ) ? Q ( x ) ) 第二个(? x) 的辖域为下面的划线部分： (? x) ( P ( x ) ? ( ? x ) Q ( x ) ) ? ( (? x) P ( x ) ? Q ( x ) ) a) T ； b) F ；c) F ；d) T ；e) T ；f) T 。 以a)为例： 解：因为 P ( a , a ) 为T，所以 ( ? y ) P ( a , y ) 为T； 因为 P ( b , b ) 为T，所以 ( ? y ) P