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

A. 你打算考硕士研究生吗？
B. 太阳系以外的星球上有生物。
C. 离散数学是计算机系的一门必修课。
D. 雪是白色的。

下列语句是命题的有( )。

A. 这份试卷看上去很容易。
B. 中国的国庆节是10月1日。
C. 大学生多么朝气蓬勃呀!
D. 公共场所禁止吸烟!

下列语句中是真命题的是( )。

A. 你是杰克吗?
B. 凡石头都可练成金。
C. 如果2+2=4,那么雪是黑的。
D. 如果1+2=4,那么雪是黑的。

命题公式p→(p∨￢p)的类型是( )

A. 永真式
B. 矛盾式
C. 非永真式的可满足式
D. 析取范式

A是重言式,那么A的否定式是( )

A. 矛盾式
B. 重言式
C. 可满足式
D. 不能确定

以下命题公式为永假式的是( )

A. p→(p∨q∨r)
B. (p→┐p)→┐p
C. ┐(q→q)∧p
D. ┐(q∨┐p)→(p∧┐p)

命题公式 p→q 的成假赋值是( )

A. 00,11
B. 00,01,11
C. 10,11
D. 10

判断一个语句是否为命题, 首先要看它是否为____, 然后再看它是否有唯一的____。

设A是包含命题变项p,q,r的重言式,则公式A∨(( p∧q) →r)的类型是____。

命题公式 p∨(q∧r) 的所有成假赋值共____个。