【单选题】
在全总个体域下，用一阶逻辑将命题“没有不能表示成分数的有理数”符号化为
①
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />G(x)), 其中, G(x): x 能表示成分数.
②
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(G(x)), 其中, G(x): x 能表示成分数.
③
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G(x)), 其中, F(x): x 为有理数, G(x): x 能表示成分数.
④
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />G(x)), 其中, F(x): x 为有理数, G(x): x 能表示成分数.
【单选题】
S=Q×Q, Q为有理数集, *为 S 上的二元运算, áa,b?,áx,y?∈S, 有áa,b?*áx,y?=áax, ay+b?，下面关于*运算说法正确的是：
①
可交换；
②
满足等幂律；
③
有零元；
④
可结合。
【多选题】
S=Q×Q, Q为有理数集, *为 S 上的二元运算, áa,b?,áx,y?∈S, 有áa,b?*áx,y?=áax, ay+b?，下面关于*运算说法不正确的是：
①
可交换；
②
满足等幂律；
③
有零元；
④
可结合。