永真式又称为（）。

单项选择题设Σ={0，1}，则所有以11开头，以11结尾的字符串构成的集合对应文法（）。

A.
B.
C.
D.

单项选择题矛盾式的值（）。

A.永远为真
B.永远为假
C.其值可能为真
D.以上全部错误

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

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