数理逻辑习题判断题1．任何命题公式存在惟一的特异析取范式 （ √ ） 2． 公式)(q p p →⌝→是永真式 （ √ ） 3．命题公式p q p →∧)(是永真式 （ √ ） 4．命题公式r q p ∧⌝∧的成真赋值为010 （ × ） 5．))(()(B x A x B x xA →∃=→∀ （ √ ）6．命题“如果1＋2＝3，则雪是黑的”是真命题 （ × ） 7．p q p p =∧∨)( （ √ ）8．))()((x G x F x →∀是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． )()(x xG x xF ∃→∀是永真式（ √ ）11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） 12．p q p p =∨∧)( （ √ ）13．))()((x G x F x →∀是永假式 （ × ）14．每个命题公式都有唯一的特异（主）合取范式 （ √ ） 15．若雪是黑色的:p ，则q →p 公式是永真式 （ √ ） 16．每个逻辑公式都有唯一的前束范式 （ × ） 17．q →p 公式的特异（主）析取式为q p ∨⌝ （ × ） 18．命题公式 )(r q p →∨⌝的成假赋值是110 （ √ ） 19．一阶逻辑公式)),()((y x G x F x →∀是闭式（ × ）单项选择题1． 下述不是命题的是（ A ）A ． 花儿真美啊!B ． 明天是阴天。

C ． 2是偶数。

D ． 铅球是方的。

2．谓词公式（∀y ）（∀x ）（P （x ）→R （x,y ））∧∃yQ （x,y ）中变元y （ B ） A ． 是自由变元但不是约束变元 B ． 是约束变元但不是自由变元 C ． 既是自由变元又是约束变元D ． 既不是自由变元又不是约束变元3．下列命题公式为重言式的是（ A ） A ．p→ （p ∨q ） B ．（p ∨┐p ）→q C ．q ∧┐qD ．p→┐q4． 下列语句中不是．．命题的只有（ A ） A ．花儿为什么这样红？ B ．2+2=0C ．飞碟来自地球外的星球。

D ．凡石头都可练成金。

5．在公式),()())(),()()((z y P y z Q y x P y x ∃→∧∀∃中变元y 是（ B ） A ．自由变元 B ．约束变元C ．既是自由变元，又是约束变元D ．既不是自由变元，又不是约束变元 6．下列命题公式为重言式的是（ A ） A ．p→ （p ∨q ） B ．（p ∨┐p ）→q C ．q ∧┐qD ．q→┐p7．给定如下4个语句:（1）我不会唱歌。

（2）如果天不下雨,我就上街。

（3）我每天都要上课。

（4）火星上有人吗? 其中不是复合命题的是（ B ）A ．（1）（4）B ．（3）（4）C ．（1）（3）D ．（1）（3）（4） 8．下列含有命题p ，q ，r 的公式中，是特异（主）析取范式的是 （ D ）A ．（p ∧ q ∧ r ） ∨ （⌝p ∧ q ）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． 下述不是命题的是（ D ）A ． 花儿是红色的B ． 月亮上有水C ． 3是偶数D ． 3>x11． 用P 表示：天下大雨；Q 表示：他乘公共汽车上班。

将“如果天下大雨，他就乘公共汽车上班。

”符号化正确的是（ A ）A ．P →QB ．Q →PC ．P ∧QD ．P ∨Q12．谓词公式（∀y ）（∀x ）（P （x ）→R （x,y ））∧∃xQ （x,y ）中变元y （ C ） A ． 是自由变元但不是约束变元 B ． 是约束变元但不是自由变元 C ． 既是自由变元又是约束变元D ． 既不是自由变元又不是约束变元13．下列命题公式为永假式的是（ C ）A ．p → （p ∨q ）B ．p ∧q →qC ．q ∧┐qD ．p →q14．下列语句中，不是命题的是（ C ） A ． 铅球不是球。

B ． 要是他不上场，我们就不会输。

C ． 刘翔跨110米栏用了不到13秒钟，你说他是不是运动健将呢?D ． 刘翔跨110米栏用了不到13秒钟，他是一个真正的运动健将。

13．关于命题变元P 和Q 的成假赋值为01对应的极大项是（ C ）A ．┐P ∧QB ．┐P ∨QC ．P ∨┐QD ．P ∧┐Q14．谓词公式（∀y ）（∀x ）（P （x ）→R （x,y ））∧∃yQ （x,y ）中变元y （ B ） A ． 是自由变元但不是约束变元 B ． 是约束变元但不是自由变元 C ． 既是自由变元又是约束变元D ． 既不是自由变元又不是约束变元15． 设:p 开关A 开，q ：开关B 开,则“开且只开A 、B 中一个开关”的命题公式是（ C ） A ． q p ⌝∧ B ． q p ∧⌝C ． （q p ⌝∧）∨（q p ∧⌝）D ． （q p ⌝∧）∧（q p ∧⌝） 16．下列等价式正确的是（ C ）A ．┐)()(x A x ∃⇔∃┐AB ．A y x A y x ))(())((∀∃⇔∀∀C ．┐)()(x A x ∃⇔∀┐AD ．)()()()())()()((x B x x A x x B x A x ∀∨∀⇔∧∀ 17．在论域D={a,b}中与公式（x ∃）A （x ）等价的不含存在量词的公式是（ B ） A ．)b (A )a (A ∧ B ． )b (A )a (A ∨ C ． )b (A )a (A →D ． )a (A )b (A →18．下列命题公式为重言式的是（ C ） A ．p→ （p ∧q ） B ．（p ∨┐p ）→q C ．p ∨┐pD ．p→┐q19．下列命题中真值为1的是（ B ）A ．若2+2=4, 则3+3≠6B ．若2+2=4, 则3+3=6C ．2+2=4, 当且仅当3+3≠6D ．2+2≠4, 当且仅当3+3=6 20．设个体域为整数，下列公式中真值为1的是（ B ） A ． ∀x ∀y （x + y = 1） B ． ∀x ∃y （x + y = 1） C ． ∃x ∀y （x + y = 1） D ． ⌝ ∃x ∃y （x + y = 1 21． 下列命题中真值为0的是（ C ）A ．若2+2=5, 则3+3≠6B ．若2+2=4, 则3+3=6C ．2+2=5, 当且仅当3+3≠6D ．2+2≠4, 当且仅当3+3=6 22．谓词公式)),()(()((y x L yE y x M x →∀∧∃中变元x （ C ） A ． 是自由变元但不是约束变元 B ． 是约束变元但不是自由变元 C ． 既是自由变元又是约束变元D ． 既不是自由变元又不是约束变元23．设个体域为整数，下列公式中真值为1的是（ B ） A ． ∀x ∀y （x + y = 1）B ．∀x ∃y （x + y = 1）C ． ∃x ∀y （x + y = 1）D ．⌝ ∃x ∃y （x + y = 1填空题1．n 个命题变元的极小项有 2n 个。

2．设3:,022:q p =+是奇数，则q p →的真值是 1 。

3．含n 个命题变项的重言式的特异（主）合取范式为 1 4．设个体域为整数集合Z ，命题3(=+∃∀y x y x ）的真值为 1 5．公式∃xP （x ）∨∃xQ （x ）的前束范式为 ∃x(P(x) Q(x))6．设p ：我很累，q ：我去学习，命题：“我很累，但我还去学习”的符号化为 q p ∧ 7．设P 表示：天下大雨；Q 表示：他乘公共汽车上班，则命题“如果天下大雨，他就乘公共汽车上班。

”的符号化是 q p →8．设P ：2+2＝4，Q ：3是奇数,则命题“2+2＝4，当且仅当3是奇数．”的符号化为 Q P ⇔ 9． 含n 个命题变项的矛盾式的特异（主）析取范式为 0 10．命题公式q p ↔成假的解释是 01,10 11．q p ↔的成假解释为 01,10计算题1．求)()(x xG x xF ⌝∃∧∀的前束范式。

解：()()()()()()()()()3x F x x G x x F x x G x x F x G x ∀∧⌝∃⇔∀∧∀⌝⇔∀∧⌝分3分 2．求r q p →∧⌝)(的真值表，并写出它的特异（主）析取范式和特异（主）合取范式。

解：真值表如下：故主析取范式为()()()()()p q r p q r p q r p q r p q r ⌝∧⌝∧∨⌝∧∧∨∧⌝∧∨∧∧⌝∨∧∧主合取范式为()()()p q r p q r p q r ∨∨∧∨⌝∨∧⌝∨∨3．求命题公式的p r q p →→∨))((成真赋值。

解：()()p q r ∨→p →=()()p q r p ⌝∧⌝∨→ =()()p q r p ⌝⌝∧⌝∨∨=()()p q r p ∨∧⌝∨=()()p r q r p ∧⌝∨∧⌝∨ 成真赋值 100，010，101，110，1114．将公式)())()((x xF y yR x xP ∀→∃∨∀化为前束范式。

解： ()()()()x P x y R y x F x∀∨∃→∀ ()()()()x y P x R y xF x ⇔∀∃∨→∀()()()()x y P x R y zF z ⇔∀∃∨→∀ ()()()()x y z P x R y F z ⇔∃∀∀∨→5．求公式 （p ∨（q ∧r ））→（p ∧q ∧r ） 的特异（主）析取范式，并求成真赋值。

解：()()()r q p r q p ∧∧→∧∨()()()()()()()()()()()()()r q p r q p r q p r q p r q p r p q p r q p r q p r q p r q p ∧∧∨⌝∧∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝⇔∧∧∨⌝∧⌝∨⌝∧⌝⇔∧∧∨⌝∨⌝∧⌝⇔∧∧∨∧∨⌝⇔成真赋值为：000，001，010，1116．用谓词公式表示“有人喜欢吃所有的食物”。

解：()x x M :是人，()y y N :是食物()x y x H :,喜欢吃y 符号化：()()()()()y x H y N y x M x ,→∀∧∃7． 用作真值表方法确定下列命题公式的类型： ).())()((q p p q q p ∨⌝→→∧→ 解： 设原式=A ，真值表如下：()()00111010111000111111p q p q q p p q A →∧→⌝∨ 则原式为永真式。