下列语句中是真命题的是( )。
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)