下列语句中，哪个是真命题（）

下列命题公式中，永真式的是（）

在谓词逻辑中，令 $F(x)$ 表示 $x$ 是火车； $G(y)$ 表示 $y$ 是汽车； $L(x,y)$ 表示 $x$ 比 $y$ 快。命题“并不是所有的火车比所有的汽车快”的符号表示中哪些是正确的？（ ）
1. $\neg \forall x\forall y(F(x)\land G(y)\to L(x,y))$ 11. $\exists x\exists y(F(x)\land G(y)\land \neg L(x,y))$ 111. $\exists x\exists y(F(x)\land G(y)\rightarrow \neg L(x,y))$

下列结论正确的是: ( )

设 $A_{1} = \phi$ ， $A_{2} = \{\phi\}$ ， $A_{3} = \rho(\{\phi\})$ ， $A_{4} = \rho(\phi)$ ，以下命题为假的是（ ）

设 $R$ 是集合 $A = \{a, b, c, a\}$ 上的二元关系； $R = \{, , , , , \}$ 。下列哪些命题为真？（ ）
1. $R \cdot R$ 是对称的
II. $R \cdot R$ 是自反的
III. $R \cdot R$ 不是传递的

$R$ 是二元关系且 $R = R^4$ ，则一定是传递的是（ ）

设 $R_{1}$ 和 $R_{2}$ 是非空集合 A 上的等价关系，确定下列各式，哪些是 A 上的等价关系（）

函数 $f: X \to Y$ 可逆的充要条件是：（）

下列集合中，哪个集合的基数与其他集合的基数不同（）