数理逻辑课本答案.pdf

第一章 命题逻辑的基本概念 作业 1.1 判断下列语句是否是命题 ，并对命题确定其真值 ： (1) 火星上有生命存在. (2) 12是质数。 (3) 香山比华 山高。 (4) x + y = 2。 (5) 这盆茉莉花真香！ (6) 结果对吗？ (7) 这句话是错 的。 (8) 假如 明天是星期天，那么学校放假 。 解答： (1) “火星上有生命存在”是命题 ，但现在不能确定其真值 ； (2) “12是质数”是命题 ，其真值为假 ； (3) “香山比华 山高”是命题 ，其真值为假 ； (4) “x + y = 2”不是命题 ，因为含有公认是变量的东西，从而不具有确定的真值 ； (5) “这盆茉莉花真香！”是感叹句，因而不是命题 ； (6) “结果对吗？”是疑 问句，因而不是命题 ； (7) “这句话是错 的”是语义悖论，因而不是命题 ； (8) “假如 明天是星期天，那么学校放假 ”是命题 ，其真值为真。 点评：实际上，确定一个具体命题 的真值不是数理逻辑研究的内容，但是不能说一个命题没有 真值 。 作业 1.2 令p表示今天很冷，q表示正在下雪，将下列命题符号化： (1) 如果正在下雪，那么今天很冷。 (2) 今天很冷当且仅当正在下雪。 (3) 正在下雪的必要条件是今天很冷。 用 自然语言叙述下列公式： ¬(p ∧ q) ¬ p ∨ ¬ q p → q ¬ p ∨ q ¬¬ p ¬ p ↔ q 解答： (1) “如果…那么…”是典型的表蕴涵 的连词，因此句子 “如果正在下雪，那么今天很冷”符号 化为q → p ； 1 (2) “当且仅 当”是典型 的表等价 的连词，因此句子 “今天很冷 当且仅 当正在下雪”符 号化 为p ↔ q ； (3) “正在下雪 的必要条件是今天很冷”相 当于 “只有今天很冷，（才 ）正在下雪”，也即 “如果 正在下雪，那么意味着今天很冷”，因此应该符号化为q → p 。 对于公式的 自然语言叙述 ，我们有： (1) 公式¬(p ∧ q)的 自然语言叙述可 以是：“并非今天很冷且正在下雪”； (2) 公式¬ p ∨ ¬ q 的 自然语言叙述可 以是：“并非今天很冷或者并非正在下雪”，或者 “今天不很 冷或者没有正在下雪”； (3) 公式p → q 的 自然语言叙述可 以是：“如果今天很冷，那么正在下雪”； (4) 公式¬ p ∨ q 的 自然语言叙述可 以是：“今天不很冷或者正在下雪”； (5) 公式¬¬ p 的 自然语言叙述可 以是：“并非今天不很冷”； (6) 公式¬ p ↔ q 的 自然语言叙述可 以是：“今天不很冷当且仅当正在下雪”。 点评： 1. 当然这种题 目的答案不惟一，但是有些 同学的 自然叙述十分不符合汉语 习惯。另外，从汉语 语义来说，¬p通常不应该理解为 “今天不冷”，而应正确理解为 “并非今天很冷”，或者 “今天不很 冷”。通常，“不很冷”与 “不冷”的含义并不相 同。第1个公式有许多人叙述为 “今天不是很冷而且没 有正在下雪”，这是错误 的。 2. 另外，对于上面将 自然语言命题 的符号化，不少 同学将第3小题符号化为p → q ，这是 由于粗 心所犯的错误 。 作业 1.3 将下列命题符号化： (1) 他个子高且很胖。 (2) 他个子高但不很胖。 (3) 并非他个子高或很胖。 (4) 他个子不高也不胖。 (5) 他个子高或者他个子矮而很胖。 (6) 他个子矮或他不很胖都是不对的 。 (7) 如果水是清 的，那么或者张三能见到池底或者他是个近视眼。 (8) 如果嫦娥是虚构的，而如果圣诞老人也是虚构的，那么许多孩子受骗了。 解答： (1) 令p表示 “他个子高”，q表示 “（他）很胖”，则句子 “他个子高且很胖”符号化为p ∧ q ； (2) 令p表示 “他个子高”，q表示 “（他）很胖”，则句子 “他个子高但不很胖”符号化为p ∧ ¬q ； (3) 令