离散数学样题2014.docxVIP

个离散数学样题 2014 一、填空题（每小题 2 分，共 20 分） 令 p：小明拿一个苹果，q：小明拿一个梨。命题 “ 小明只能拿一个苹果或一个梨。” 的符号化形式为 。 令 F(x)：x 是素数，G(x)：x 是偶数。命题 “并非所有的素数都不是偶数。” 的符号化形式为 。 命题公式 ? (p?r)∧r∧q 的类型为 。 设个体域 D={a, b }，消去公式 ?x ?y (F(x) →G(y)) 中的量词后 。 ┐?x ?y F(x, y) 的前束范式为 。 设 A={a, b}，则 A 上有 个偏序关系。 设 L 是格，?a, b, c∈L ，b∨(c∧a)≤(b∨c)∧a 的对偶