单项选择题

如果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都不对