离散试题.docVIP

第一部分 命题逻辑复习 一、填空题 1. 设p: 天下雨，q: 天刮风，r: 我去书店，则命题“如果天不下雨并且不刮风，我就去书店”的符号化形式为。,,命题“只要,就有”可以符号化为 。 3. 公式的成真赋值为 和 。 4．公式的成真赋值为 和 。 5. 重言式的析取是_______，一个重言式与一个矛盾式的析取是 _ _______式重言式的取是_______，矛盾式的_ _ _____。 二、选择题 1. 下列语句中是命题的只有…………………………………( ) A、实数范围内， B、在实数范围内， C、请回答这个问题 D、真正有学问的人怎么会不关心政治？ 2. 命题公式A与B是等价(值)的，是指……………………（ ） A、A与B有相同的原子变元 B、A与B都是可满足的 C、A的真值为真时，B的真值也为真 D、A与B有相同的真值 3. 所有使命题公式为真的赋值为………………（ ） A. 010,100,101,110,111 B. 010,100,101,111 C. 全体赋值 D. 不存在 4. 若为命题变元，则的类型是…（ ） A．永真式 B. 矛盾式 C. 可满足式 D.不可满足式 5. 下列语句中是真命题的是…………………………………( ) A、实数范围内， B、3或5是偶数 C、如果1+2=5，那么雪是黑的 D、大家想做什么，就做什么，行吗？为命题变元，则的类型是（ ） A、重言式 B、 矛盾式 C、 可满足式 D、不可满足式 7. 设p：我很累，q：我去学习，命题：“除非我很累，否则我就去学习”的符号化正确的是（ ） A．┐pq B．┐p→q C．┐p→┐q D．p→┐q下列命题公式为重言式的是（ ） A．p→ (pq) B．(p┐p)→q C．q┐q D．p→┐q 下面4个推理定律中，不正确的为 () A. A=(A∨B) (附加律)B. (A∨B)∧┐A=B (析取三段论)C. (A→B)∧A=B (假言推理)D. (A→B)∧┐B=A (拒取式) ） A．这个语句是假的。 B．1+1=1.0 C．飞碟来自地球外的星球。 D．凡石头都可练成金。 三、综合题 1. 求公式的主析取范式和主合取范式（要求写出步骤，结果用极小项或极大项的编码表示），并给出公式的成真赋值。 2．求公式的主析取范式主析取范式主合取范式。的主析取范式和主合取范式（要求写出步骤，结果用极小项或极大项的编码表示）。 4．在自然推理系统P中构造下面推理的证明。 只要A曾到过受害者房间并且11点以前没有离开，A就犯了谋杀罪。A曾到过受害者房间。如果A在11点以前离开，看门人会看见他。看门人没有看见他。所以A犯了谋杀罪。 5. 求命题公式((P(Q)((P∨(Q) 的主析取范式和主合取范式（要求写出步骤，结果用极小项或极大项的编码表示）。……………………（ ） A. B. C． D. 2. 设个体域为 ……}，则以下谓词公式中为假的是（） A、 B、 C、 D、 3．关于谓词公式，下面的描述中错误的是( ) A．的辖域是 B．是该谓词公式的约束变元 C．的辖域是 D．是该谓词公式的约束变元 4．命题(xG(x)取真值1的充分必要条件是( ). A. 对任意x，G(x)都取真值1. B. 有一个x0，使G(x0)取真值1. C. 有某些x，使G(x0)取真值1. D. 以上答案都不对. 三、综合题 1．将谓词公式化成前束范式。 2. 将谓词公式化成前束范式。 3．求公式的前束范式。 4. 自然推理系统中，构造下面推理的证明： 所有的有理数是实数，某些有理数是整数，因此，有些实数是整数。 5. 自然推理系统中，构造下面推理的证明： 每个科学工作者都是刻苦钻研的，每个刻苦钻研而又聪明的人在他的事业中都将获得成功。王大海是科学工作者，并且是聪明的，所以王大海在他的事业中将获得成功。（个体域为人类集合） 6. 设个体域为D＝{a,b,c}，将公式的量词消去。 7.在自然推理系统NF中构造下面的推理证明。 “所有的哺乳动物都是脊椎动物；并非所有的哺乳动物都是胎生动物。所以有些脊椎动物不是胎生的。”（个体域为全总个体域） 8.在自然推理系统NF