‍设一阶逻辑公式，则与G等价的是（）。

公式中，只是约束变元，不是自由变元的是（）。A.xB.不存在C.yD.z

单项选择题

公式中，只是约束变元，不是自由变元的是（）。

下列逻辑等价式中，不正确的是（）。A.B.C.D.

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

​语句“不撞南墙不回头”（p：撞南墙，q：回头），符号化为（）。A.B.C.D.

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