如果X是合式公式A的一部分，而且X本身也是一个合式公式，则称X为公式A的（）。

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

A.p∧￢q
B.p∨￢q
C.p∧q
D.p→￢q

单项选择题由简单命题通过联结词联结而成的命题称为（）。

A.复合命题
B.原子命题
C.AB都对
D.AB都不对

单项选择题在离散数学中，下列不属于自然数的是（）。

A.0
B.1
C.2
D.-1

单项选择题如果P和Q的真值都是真，则P和Q的与非为（）。

A.真
B.假
C.不确定
D.以上全部错误

单项选择题P∨Q，当P和Q都为真的时候为（）。

A.真
B.假
C.不确定
D.以上全部错误