下面哪个公式不是重言式？ （    ）

A: Q→（PVQ）
B: （P∧Q）→P
C: ┐（P∧┐Q）∧(┐P v Q)
D: P→Q<->(┐P v Q)

令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（     ）

A: p∧┐q
B: p∨┐q
C: p∧q
D: p→┐q

命题公式┐B → ┐A等价于(       )

A: ┐A∨┐B
B: ┐（A∨B)
C: ┐A∧┐B
D: A→B

命题公式(┐P→Q)→(┐Q v P)中极大项的个数为（     ）。

A: 0
B: 1
C: 2
D: 3

全体极小项合取式为（     ）。

A: 可满足式
B: 矛盾式
C: 永真式
D: A，B，C 都有可能

设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为 (     )

A: p→q
B: q→p
C: ┐q→p
D: ┐p→q

┐（P∧Q）→R的主析取范式中含极小项的个数为（    ）。

A: 8
B: 3
C: 5
D: 0

“所有的人都是要死的。苏格拉底是人，所以苏格拉底是要死的。”则该句话（    ）

A: 不是命题
B: 是真命题
C: 是假命题
D: 是悖论

数理逻辑是采用（　　　）研究抽象思维规律的一门科学。

A: 数学方法
B: 逻辑方法
C: 实践方法
D: 抽象方法

_____________是错误的。 （    ）

A: (P→Q)∧(Q→R)<=>P→R
B: P→(Q→R)<=>(P∧Q)→R
C: (P→Q)∧(R→Q)<=>(PVR)→Q
D: Pv(P∧Q)<=>P

下列语句中哪个是真命题？ （    ）

A: 我在说假话。
B: 如果1+2=3，那么雪是黑的。
C: 严禁吸烟！
D: 如果疑问句是命题，那么地球将停止转动。

含有3个命题变元的具有不同真值的命题公式的个数为（        ）

A: 2的3次方
B: 3的2次方
C: 2的（2次方的3次方）次方
D: 2的（3次方的2次方）次方

n个命题变元可产生（         ）个互不等价的极小项。

A: n
B: n的2次方
C: 2n
D: 2的n次方

若p表示“天下大雨”，q表示“他乘车上班”，则“只有天下大雨，他才乘车上班”可符号化为（    ）

A: p→q
B: q→p
C: p→┐q
D: ┐q→p

令P：我听课，Q：我看小说，则命题“我不能一边听课，一边看小说”的符号化为（          ）

A: P→ ┐Q
B: ┐P→ Q
C: ┐P∧┐Q
D: ┐(P∧Q)

下列集合中哪个是最小完备联结词集（           ）

A: {┐，→}
B: {┐，<->}
C: {→ , <->}
D: {┐，v , ∧}

下列语句中哪个是真命题（   ）。

A: 我正在说谎。
B: 如果1+2=3，那么雪是黑色的。
C:如果1+2=5，那么雪是白色的。
D: 严禁吸烟。

下列语句是命题的有（         ）。

A: 明年中秋节的晚上是晴天
B: x+y>0
C: xy>0当且仅当x和y都大于0
D: 我正在说谎

┐（p v q）∧（r v s）的层数是3                       

标准答案：Y

若A为重言式，则A的主合取范式为0           （ ）

若A为矛盾式，则A的主析取范式为1            （ ）

(P→Q)∧(R→S)∧(P v R)=>___________为构造性二难推理定律

设p、q为真命题，r、s为假命题，则复合命题(p <-> r)<->(┐q→s)的真值为_____