命题逻辑复习题及答案 下载本文

内容发布更新时间 : 2024/11/8 11:41:59星期一 下面是文章的全部内容请认真阅读。

.

命题逻辑

一、选择题(每题3分)

1、下列句子中哪个是命题? ( C )

A、你的离散数学考试通过了吗? B、请系好安全带! C、 ?是有理数 D、 本命题是假的 2、下列句子中哪个不是命题? ( C )

A、你通过了离散数学考试 B、我俩五百年前是一家 C、 我说的是真话 D、 淮海工学院是一座工厂 3、下列联接词运算不可交换的是( C )

A、? B、? C、 ? D、 ? 4、命题公式?P?Q不能表述为( B )

A、P或Q B、非P每当Q C、非P仅当Q D、除非P,否则Q 5、永真式的否定是 ( B )

A、 永真式 B、永假式 C、可满足式 D、 以上答案均有可能 6、下列哪组赋值使命题公式P?(P?Q)的真值为假( D )

A、P假Q真 B、P假Q假 C、P真Q真 D、P真Q假 7、下列为命题公式P?(Q??R)成假指派的是( B )

A、100 B、101 C、110 D、111 8、 下列公式中为永真式的是 ( C )

A、P?(P?Q) B、?P?(P?Q) C、(P?Q)?Q D、(P?Q)?Q 9、 下列公式中为非永真式的是( B )

A、 (P??P)?Q B、(P??P)?Q C、P?(?P?Q)D、P?(?P?Q) 10、下列表达式错误的是( D )

A、P?(P?Q)?P B、P?(P?Q)?P

C、P?(?P?Q)?P?Q D、P?(?P?Q)?P?Q 11、下列表达式正确的是( D )

A、P?P?Q B、P?Q?P C、?Q??(P?Q) D、?(P?Q)??Q 12、下列四个命题中真值为真的命题为( B )

(1)2?2?4当且仅当3是奇数 (2)2?2?4当且仅当3不是奇数; (3)2?2?4当且仅当3是奇数 (4)2?2?4当且仅当3不是奇数 A、(1)与(2) B、(1)与(4) C、(2)与(4) D、(3)与(4)

13、设P:龙凤呈祥是成语,Q:雪是黑的,R:太阳从东方升起,则下列假命题为( A ) A、P?Q?R B、Q?P?S C、P?Q?R D、 Q?P?S

14、设P:我累,Q:我去打球,则命题:“除非我累,否则我去打球”的符号化为( B ) A、P?Q B、P??Q C、 ?P?Q D、?P??Q

15、设P:我听课,Q:我睡觉,则命题 “我不能一边听课,一边睡觉”的符号化为( B ) A、P?Q B、P??Q C、 ?P?Q D、?P??Q 提示:?(P?Q)?P??Q

16、设P:停机;Q:语法错误;R:程序错误,

则命题 “停机的原因在于语法错误或程序错误” 的符号化为( D )

A、P?Q?R B、P?Q?R C、Q?R?P D、Q?R?P 17、设P:你来了;Q:他唱歌;R:你伴奏

则命题 “如果你来了,那末他唱不唱歌将看你是否伴奏而定” 的符号化为( D ) A、P?(Q?R) B、P?(Q?R) C、P?(R?Q) D、P?(Q?R) 18、在命运题逻辑中,任何非永真命题公式的主合取范式都是( A )

A、 存在并且唯一 B、存在但不唯一 C、 不存在 D、 不能够确定

.

.

19、在命题逻辑中,任何非永假命题公式的主析取范式都是( A )

A、 存在并且唯一 B、存在但不唯一 C、 不存在 D、 不能够确定 20、n个命题变元所产生互不等价的极小项项数为( D )

A、n B、2n C、n D、2n 21、n个命题变元所产生互不等价的极大项项数为( D )

2A、n B、2n C、n D、2n

2二、填充题(每题4分)

1、设P:你努力,Q:你失败,则 “虽然你努力了,但还是失败了” 符号化为P?Q. 2、设P:它占据空间,Q:它有质量,R:它不断运动,S:它叫做物质, 则 “占据空间的,有质量的而且不断运动的叫做物质”符号化为S?P?Q?R. 3、一个命题含有n个原子命题,则对其所有可能赋值有2n 种. 4、推理规则A?(A?B)?B的名称为假言推理. 5、推理规则?B?(A?B)??A的名称为拒取式. 6、推理规则?A?(A?B)?B的名称为析取三段论.

7、推理规则(A?B)?(B?C)?A?C的名称为前提三段论.

8、当赋予极小项足标相同的指派时,该极小项的真值为1,当赋予极大项足标相同的指派时,该极大项的真值为0.

9、任意两个不同极小项的合取式的真值为0,而全体极小项的析取式的真值为1. 10、任意两个不同极大项的析取式的真值为1,而全体极大项的合取式的真值为0. 11、n个命题变元可构造包括F的不同的主析取范式类别为2. 12、n个命题变元可构造包括T的不同的主合取范式类别为2.

2n2n

三、问答题(每题6分)

1、设A、B是任意命题公式,请问A?B,A?B分别表示什么?其有何关系? 答:A?B表示A蕴含B,A?B表示A永真蕴含B; 其关系表现为:若A?B为永真式,则有A?B.

2、设A、B是任意命题公式,请问A?B,A?B分别表示什么?其有何关系? 答:A?B表示A等值于B,A?B表示A与B逻辑等价; 其关系表现为:若A?B为永真式,则有A?B.

3、设A、B、C是任意命题公式,若A?C?B?C ,则A?B成立吗?为什么? 答:不一定有A?B;

若A为真,B为假,C为真,则A?C?B?C成立,但A?B不成立.

4、设A、B、C是任意命题公式,若A?C?B?C ,则A?B成立吗?为什么? 答:不一定有A?B;

若A为真,B为假,C为假,则A?C?B?C成立,但A?B不成立. 5、设A、B是任意命题公式,A?(A?B)?B一定为真吗?为什么?

答:一定为真;因A?(A?B)?B?A?(?A?B)?B?(A??A)?(A?B)?B

?F?(A?B)?B?A?B?B?T.(用真值表也可证明)

6、设A、B是任意命题公式,(A?B)?(A??B)??A一定为真吗?为什么? 答:一定为真;因(A?B)?(A??B)?(?A?B)?(?A??B)??A?(B??B) ??A?F??A.(用真值表也可证明)

.

.

四、填表计算题(每题10分)

1、对命题公式 A??(p?q)?(p?q),要求

(1)用0或1填补其真值表的空格处;(2)求该命题公式的主析取范式与主合取范式. 解:

p 0 0 1 1

主析取范式A?q 0 1 0 1

p?q ?(p?q) p?q

1 1 0 1

0 0 1 0

0 1 1 1

A

0 0 1 0

?(2) ;主合取范式A??(0,1,3).

2、对命题公式 A?(p?q)?r,要求

(1)用0或1填补其真值表的空格处;(2)求该命题公式的主析取范式与主合取范式. 解:

p 0 0 0 0 1 1 1 1

主析取范式A?q 0 0 1 1 0 0 1 1

r

p?q 1 1 1 1 0 0 1 1

0 1 0 1 0 1 0 1

A

0 1 0 1 1 0 0 1

?(1,3,4,7) ;主合取范式A??(0,2,5,6).

3、对命题公式 A?(p?q)?(p?r),要求

(1)用0或1填补其真值表的空格处;(2)求该命题公式的主析取范式与主合取范式. 解:

p 0 0 0 0 1 1 1

.

q 0 0 1 1 0 0 1

r

p?q 0 0 0 0 0 0 1

p?r 0 0 0 0 0 1 0

0 1 0 1 0 1 0

A

0 0 0 0 0 1 1