‎设有限集合A，，则关系（）。（将一个关系作为最小单位，而不再细分到有序集的定义）……

单项选择题‍设R，S是集合A上的关系，则下列说法正确的是（）。

A.若R，S 是传递的，则一定是传递的
B.若R，S 是对称的，则一定是对称的
C.若R，S 是反自反的，则一定是反自反的
D.若R，S 是自反的，则一定是自反的

单项选择题‍设一阶逻辑公式，则与G等价的是（）。

A.
B.
C.
D.

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

A.x
B.不存在
C.y
D.z

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

A.
B.
C.
D.

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

A.
B.
C.
D.