A.永真式B.永假式C.可满足式D.以上全部错误
单项选择题永真式又称为（）。
A.矛盾式B.可满足式C.重言式D.永假式
单项选择题设Σ={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.树
