离散数学题目及的答案.docVIP

数理逻辑习题 判断题 1．任何命题公式存在惟一的特异析取范式 （ √ ） ． 公式是永真式 （ √ ） 3．命题公式是永真式 （ √ ） 4．命题公式的成真赋值为010 （ × ） ． （ √ ）× ） 7． （ √ ） 8．是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． 是永真式（ √ ） 11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） ． （ √ ） ．是永假式 （ × ） ．每个命题公式都有唯一的特异（主）合取范式 （ √ ） ．若，则是永真式 （ √ ） ．每个逻辑公式都有唯一的前束范式 （ × ） ．的特异（主）析取式为 （ × ） ．命题公式 的成假赋值是110 （ √ ） ．一阶逻辑公式是闭式（ × ） 1． 下述不是命题的是（ ） A． 花儿真美啊! B． 明天是阴天。 C． 2是偶数。 D． 铅球是方的。 ．谓词公式（y）（x）（P（x）→R（x,y））∧yQ（x,y）中变元y （ 　） A． 是自由变元但不是约束变元 B． 是约束变元但不是自由变元 C． 既是自由变元又是约束变元 D． 既不是自由变元又不是约束变元 ．下列命题公式为重言式的是（ ） A．p→ （p∨q） B．（p∨┐p）→q C．q∧┐q D．p→┐q ． 下列语句中不是命题的只有（ ） A．花儿为什么这样红？ B．2+2=0 C．飞碟来自地球外的星球。 D．凡石头都可练成金。 ．在公式中变元y是（ ） A．自由变元　　　　　　　　　　　　　　B．约束变元 C．既是自由变元，又是约束变元　　　　　D．既不是自由变元，又不是约束变元 ．下列命题公式为重言式的是（ ） A．p→ （p∨q） B．（p∨┐p）→q C．q∧┐q D．q→┐p ．p，q，r （ ） A B．（p ( q ( r） ( （(p ( q） C．（p ( q ( r） ( （(p ( q ( r） 　　　D．（p ( q ( r） ( （(p ( q ( r） 9．设个体域为整数集,则下列公式中值为真的是（ A ）。 A． （y）（x）（x·y=2）　　　　　　　 B．（x）（y）（x·y=2） C． （x）（x－y=x）　　　　　　　　　　 D．（x）（ y）（x+y=2y） 10． 11． 用P表示：天下大雨；Q表示：他乘公共汽车上班。将“如果天下大雨，他就乘公共汽车上班。”符号化正确的是（ A ） A．P(Q ．Q(P．P(Q ．P(Qy）（x）（P（x）→R（x,y））∧xQ（x,y）中变元y （ C ） A． 是自由变元但不是约束变元 B． 是约束变元但不是自由变元 C． 既是自由变元又是约束变元 D． 既不是自由变元又不是约束变元 13．下列命题公式为式的是（ ） A．p （pq）B．pq C．qq D．pq 14．下列语句中，不是命题的是（ ） A． 铅球不是球。 B． 要是他不上场，我们就不会输。 C． 刘翔跨110米栏用了不到13秒钟，你说他是不是运动健将呢? D． 刘翔跨110米栏用了不到13秒钟，他是一个真正的运动健将。 ．关于命题变元P和Q的成假赋值为01对应的极大项是（ ） A．┐P∧Q B．┐P∨QC．P∨┐Q D．P∧┐Q ．谓词公式（y）（x）（P（x）→R（x,y））∧yQ（x,y）中变元y （ ） A． 是自由变元但不是约束变元 B． 是约束变元但不是自由变元 C． 既是自由变元又是约束变元 D． 既不是自由变元又不是约束变元 ． 设开关A开，：开关B开,则“开且只开A、B中一个开关”的命题公式是（ ） A． B． C． （）（） D． （）（） ．下列等价式正确的是（ ） A．┐┐AB． C．┐┐AD． ．在论域D={a,b}中与公式（）A（x）等价的不含存在量词的公式是（　） A． B． C． D． ．下列命题公式为重言式的是（ ） A．p→ （p∧q） B．（p∨┐p）→q C．p∨┐p D．p→┐q ．下列命题中真值为1的是（ ） A．若2+2=4, 则3+3(6B．若2+2=4, 则3+3=6 C．2+2=4, 当且仅当3+3(6D．2+2(4, 当且仅当3+3=6 ．设个体域为整数，下列公式中真值为1的是（ ） A． (x(y（x + y = 1） B． (x(y（x + y = 1） C． (x(y（x + y = 1）