离散数学试题(60学时).pdfVIP

离散数学试题A 一、解答题(本大题共7 小题, 每小题5 分, 共35 分) 1. 用命题逻辑推证语句: “如果你不走, 那么我和她都不留”与“如果我和她有一个留 下, 那么你就得必须走”具有相同的逻辑含义. 2. 设给定解释I 如下: 个体域D = {3, 6, 8}, 谓词P(x): x ≤3, G(x): x5,R(x): x ≤9,求下列 I 谓词公式的真值. (写出判断过程, 仅给出结果而无过程