★ 形 成 性 考 核 作业 ★ 1 离散数学作业7 离 散 数 学 数 理 逻 辑 部 分 形 成 性 考 核 书 面 作 业 本 课 程 形 成 性 考 核 书 面 作 业 共 3 次 ,内 容 主 要 分 别 是 集 合 论 部 分 、图 论 部 分 、数 理 逻 辑 部 分 的 综 合 练 习 , 基 本 上 是 按 照 考 试 的 题 型 ( 除 单 项 选 择 题 外 ) 安 排 练习 题 目 , 目 的 是 通 过 综 合 性 书 面 作 业 , 使 同 学 自 己 检 验 学 习 成 果 , 找 出 掌 握 的 薄弱 知 识 点 , 重 点 复 习 , 争 取 尽 快 掌 握 。 本 次 形 考 书 面 作 业 是 第 三 次 作 业 , 大 家 要认 真 及 时 地 完 成 数 理 逻 辑 部 分 的 综 合 练 习 作 业 。 要 求 : 将 此 作 业 用 A4 纸 打 印 出 来 , 手 工 书 写 答 题 , 字 迹 工 整 , 解 答 题 要 有解 答 过 程 , 要 求 本 学 期 第 17 周 末 前 完 成 并 上 交 任 课 教 师 ( 不 收 电 子 稿 ) 。 并 在07 任 务 界 面 下方点 击“保存”和“交 卷”按 钮, 以便教 师 评分 。 一、 填空题 1.命题 公式()PQP的 真 值是 1 或T . 2.设P: 他生病了, Q: 他出 差了.R: 我同 意他不 参加学 习 . 则 命题 “如果 他生病或出 差了, 我就 同 意他不 参加学 习 ”符 号 化 的 结 果 为 ( P Q) R . 3.含 有 三 个 命题 变 项 P, Q, R 的 命题 公式PQ 的 主 析 取 范 式是 (P Q R) (P Q R) . 4.设P(x): x 是 人 , Q(x): x 去 上 课 , 则 命题 “有 人 去 上 课 .” 可 符 号 化 为 x(P(x) Q(x)) . 5.设个 体 域 D= {a, b},那 么 谓 词 公式)()(yyBxxA消 去 量 词 后 的 等 值式为 (A(a) A(b)) ((B(a) B(b)) . 6.设个 体 域 D= {1, 2, 3}, A(x)为 “x 大 于3”, 则 谓 词 公式(x)A(x) 的 真 值为 0(F) . 7.谓 词 命题 公式( x)((A(x)B(x)) C(y))中 的 自 由 变 元 为 y . 8.谓 词 命题 公...