逻辑学基础习题：命题公式与联结词.pdfVIP

选择题

1.命题P→(QP)是（）

A、式；B、可满足式；C、重言式；D、等价式。

2.在下述中不是重言式为（）

A．(PQ)→(PQ)；

B．(PQ)((P→Q)(Q→P))；

C．(P→Q)Q；

D．P→(PQ)。

3.下列是重言式的有（）

A、(PQ)；B、(PQ)→Q；

C、(Q→P)P；D、(P→Q)P

4.下列选项成立的有（）

A、若ACBC，则AB；

B、若ACBC，则AB；

C、若AB，则AB；

D、若AB，则AB。

5.下列表达式正确的有（）

A(P→Q)Q；BPQP；

C(PQ)(PQ)P；DP→(P→Q)T。

6.下列集合中哪个是最小联结词集（）。

A、{,→}；B、{,}；C、{→,}；D、{,,}

判断题

1.命题(A(A→B))→B是一个式。（）

2.PPP。（）

3.{→，}不是最小全功能联结词组。（）

4.{，，}是最小全功能联结词组。（）

填空题

1．给定命题，该在全功能联结词组中的形式为

A，在中的形式为B，在中的形式为C，在中的形式为

D，在中的形式为E。

计算题

1.用等价演算法和真值表法判断

A((P→Q)(Q→P))(PQ)的类型

：

选择题

1.C2.C3.B4.CD

1.AC3.A

判断题

1.错误2.错误3.错误4.错误

填空题

A：

B：

C：

D：

E：

(1)在中，

。

(2)在中，

(3)在中，

。

(4)在中，

(5)在中，

计算题

（1）等值演算法

A((P→Q)(Q→P))(PQ)(PQ)(PQ)T

（2）真值表法

PQP→QQ→P(P→Q)(Q→P)PQA

11