题目
设个体域是实数集，P(x): x是有理数，G(x): x能表示成分数，那么“有理数都能表示成分数”可符号化为( ).A. forall x (P(x) arrow G(x))B. exists x (P(x) arrow G(x))C. forall x (P(x) land G(x))D. exists x (P(x) land G(x))
设个体域是实数集，$P(x)$: $x$是有理数，$G(x)$: $x$能表示成分数，那么“有理数都能表示成分数”可符号化为( ).
A. $\forall x (P(x) \rightarrow G(x))$
B. $\exists x (P(x) \rightarrow G(x))$
C. $\forall x (P(x) \land G(x))$
D. $\exists x (P(x) \land G(x))$
题目解答
答案
A. $\forall x (P(x) \rightarrow G(x))$