矛盾式的值（）。

单项选择题下面哪个联结词运算不可交换？（）

A.Ù
B.®
C.Ú
D.«

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

A.子公式
B.序偶
C.图
D.树

单项选择题令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