命题逻辑练习题：公式分类与联结词集判断.pdfVIP

P→(Q∨P)是（）

1.命题

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

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

(P∧Q)→(P∨Q)；

A．

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；

A∧C⇔B∧C，则A⇔B；

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.Propositionformula)(PQP→∨is()

A.Contradictory;B.Satisfiableformula;C.Heavywords;D.Equivalentformula.

2.Inthefollowingformula,theformulaisnotaheavyword()

A.)()(qpqp∧→∨;B.))()

(()(pqqpqp

↔↔→∧→;c.

qqp¬→∧)(;D.)(qpp}。。

3.Thefollowingformulasarethemostimportantwords()

A、)(QP¬↔;B́QQP∧→)(;

CPQ¬→∧)(;D、PQP

→↔)(

4.Thefollowingoptionsare()

A.IfCBCA∨⇔∨,thenBA⇔;

B.IfCBCA∧⇔∧,thenBA⇔;

C.IfBA¬⇔¬,thenBA⇔;D.If

BA⇔,thenBA¬⇔¬.

5.Thefollowinglistexpressionsar