令p:今天晚上我在家看书,q:今天晚上我去电影院看电影。则命题“今天晚上我在家看书或去电影院看电影。”可以符号化为:( )
A. p∨q
B. ¬p∨¬q
C. (p∧¬q)∨(¬p∧q)
D. p∧q
查看答案
下列语句不是命题的是( )。
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. 析取范式