单项选择题 公式中，只是约束变元，不是自由变元的是（）。

单项选择题 下列逻辑等价式中，不正确的是（）。

单项选择题 ​语句“不撞南墙不回头”（p：撞南墙，q：回头），符号化为（）。