命题故事考试题及答案

命题故事考试题及答案一、选择题（8题，每题3分，共24分）

1.在数理逻辑中，下列哪个概念用于表示命题的真假性？

A.元素

B.关系

C.谓词

D.命题变元

2.在命题逻辑中，符号“∧”表示什么？

A.或

B.非

C.与

D.蕴涵

3.在命题逻辑中，符号“→”表示什么？

A.或

B.非

C.与

D.蕴涵

4.在命题逻辑中，符号“¬”表示什么？

A.或

B.非

C.与

D.蕴涵

5.在命题逻辑中，下列哪个是重言式？

A.p∧¬p

B.p∨¬p

C.p∧p

D.p∨p

6.在命题逻辑中，下列哪个是矛盾式？

A.p∧¬p

B.p∨¬p

C.p∧p

D.p∨p

7.在命题逻辑中，下列哪个是可满足式？

A.p∧¬p

B.p∨¬p

C.p∧p

D.p∨p

8.在命题逻辑中，下列哪个是永假式？

A.p∧¬p

B.p∨¬p

C.p∧p

D.p∨p

二、（一）多项选择题（5题，每题4分，共20分）

1.在命题逻辑中，下列哪些是命题变元？

A.p

B.q

C.r

D.s

2.在命题逻辑中，下列哪些是逻辑联结词？

A.∧

B.∨

C.¬

D.→

3.在命题逻辑中，下列哪些是重言式？

A.p∧¬p

B.p∨¬p

C.p∧p

D.p∨p

4.在命题逻辑中，下列哪些是矛盾式？

A.p∧¬p

B.p∨¬p

C.p∧p

D.p∨p

5.在命题逻辑中，下列哪些是可满足式？

A.p∧¬p

B.p∨¬p

C.p∧p

D.p∨p

（二）判断题（7题，每题2分，共14分）

1.在命题逻辑中，命题变元是命题的基本单位。

2.在命题逻辑中，逻辑联结词用于连接命题。

3.在命题逻辑中，重言式是永远为真的命题。

4.在命题逻辑中，矛盾式是永远为假的命题。

5.在命题逻辑中，可满足式是至少在一种解释下为真的命题。

6.在命题逻辑中，永假式是永远为假的命题。

7.在命题逻辑中，命题变元可以独立存在。

三、（一）填空题（6题，每题3分，共18分）

1.在命题逻辑中，符号“∧”表示________。

2.在命题逻辑中，符号“→”表示________。

3.在命题逻辑中，符号“¬”表示________。

4.在命题逻辑中，重言式是________。

5.在命题逻辑中，矛盾式是________。

6.在命题逻辑中，可满足式是________。

（二）计算题（4题，每题4分，共16分）

1.判断命题“p∧q”在以下真值赋值下的真假：

p:真,q:真

2.判断命题“p∨¬q”在以下真值赋值下的真假：

p:假,q:真

3.判断命题“¬(p∧q)”在以下真值赋值下的真假：

p:真,q:假

4.判断命题“(p→q)∧(q→p)”在以下真值赋值下的真假：

p:假,q:假

四、综合题（2题，每题8分，共16分）

1.构造一个命题公式，使其在所有真值赋值下都为真，并解释其逻辑结构。

2.构造一个命题公式，使其在所有真值赋值下都为假，并解释其逻辑结构。

五、材料分析题（2题，每题14分，共28分）

1.分析以下命题逻辑公式的逻辑结构，并说明其是否为重言式、矛盾式或可满足式：

(p∧q)→p

2.分析以下命题逻辑公式的逻辑结构，并说明其是否为重言式、矛盾式或可满足式：

(p∨q)→(p∧q)

答案部分：

一、选择题

1.D

2.C

3.D

4.B

5.B

6.A

7.B

8.A

二、（一）多项选择题

1.A,B,C,D

2.A,B,C,D

3.B,D

4.A

5.B,C,D

（二）判断题

1.对

2.对

3.对

4.对

5.对

6.对

7.对

三、（一）填空题

1.与

2.蕴涵

3.非

4.永远为真的命题

5.永远为假的命题

6.至少在一种解释下为真的命题

（二）计算题

1.真

2.真

3.真

4.真

四、综合题

1.公式：p∨¬p，逻辑结构：这是一个命题逻辑中的排中律，表示p和¬p中至少有一个为真。

2.公式：p∧¬p，逻辑结构：这是一个命题逻辑中的矛盾式，表示p和¬p同时为真，这在任何真值赋值下都不可能成立。

五、材料分析题

1.逻辑结构：(p∧q)→p是一个蕴涵式，其中p和q是命题变元。这个公式表示如果p和q都为真，则p为真。这是一个重言式，因为在任何真值赋值下，这个公式