★ 形 成 性 考 核 作业 ★ 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．谓 词 命题 公...
