命题逻辑基础练习题：填空、选择与计算题.pdfVIP

第一章1.3-1.4

填空题

1.一个命题含有4个原子命题，则对其所有可能赋值有种。

2.设P，Q的真值为0，R，S的真值为1，则¬(P∨(Q→(R∧¬P)))→(R∨¬S)的

真值为。

3.设P，Q真值为0；R，S真值为1。则(P∧(R∨S))→((P∨Q)∧(R∧S))的真值

为。

选择题

1.设P：2×2=5，Q：雪是黑的，R：2×4=8，S：从东方，下列（）命题

的真值为真。

A、P→Q∧R；B、R→P∧S；C、S→Q∧R；D、(P∧R)∨(Q∧S)。

2.下列符号串是合式的有（）

A、

P⇔Q；B、PP∨Q；C、(¬P∨Q)∧(P∨¬Q)；D、¬(P↔Q)

3.下列各符号串，不是合式的有（）

A、(P∧Q)∧¬R；B、((P→Q)→(R∧S)；

C、P∨Q∨∧R；D、(¬(P∨Q)∧R)∨S。

4.下列等价式成立的有（）

A、

P→Q⇔¬Q→¬P；B、P∨(P∧R)⇔R；

C、P∧(P→Q)⇔Q；D、P→(Q→R)⇔(P∧Q)→R

计算题

1.设命题A，A的真值为1，A，A真值为0，求命题

1234

(A∨(A→(A∧¬A)))↔(A∨¬A)的真值。

123124

2.给定3个命题：P：比人口多；Q：2大于1；R：15是素数。求复合命题：

(Q→R)↔(P∧¬R)的真值。

Chapter11.3-1.4

填空题

1.Ifapropositioncontains4atomicpropositions,thenthereare。

2.SupposethetruevalueofPandQis0,andthetruevalueofRandSis1,then)

()))(((ThetruevalueofSRPRQP¬∨→∧¬→∨¬is.

3.LetthetruevaluesofPandQbe0;thetruevaluesofRandSbe1.Then))()(())((

ThetruevalueofSRQPSRP∧∨→∨∧∧is.Multiplechoice

question

1.SupposeP:2×2=5,Q:Snowisblack,R:2×4=8,S:Thesunrisesfromtheeast,and

thetruthvalueofthefollowingproposition()istrue.

A、RQP→∧;B、SPR