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

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

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