【多选题】【消耗次数：1】
令 F(x): x 是角, H(x, y): x 和 y 是相等的, L(x, y): x 与 y 是对顶角，则命题“相等的两个角未必都是对顶角”符号化不正确的有：
①
$x(F(x) ù ($y(F(y) ù H(x, y) ù ?L(x, y))).
②
xy(F(x) ù F(y) ù H(x, y) ? ? L(x, y))
③
$x(F(x) ù ($y(F(y) ù H(x, y) ? ?L(x, y))).
④
xy(F(x) ù F(y) ù H(x, y) ù ? L(x, y)).
参考答案：
复制
纠错
相关题目
【单选题】
令 F(x): x 是角, H(x, y): x 和 y 是相等的, L(x, y): x 与 y 是对顶角，则命题“相等的两个角未必都是对顶角”可符号化为：
①
<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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> H(x, y) <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 />L(x, y))).
②
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />y(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> F(y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> H(x, y) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg /> L(x, y))
③
<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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> H(x, y) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />L(x, y))).
④
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />y(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> F(y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> H(x, y) <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 /> L(x, y))
【判断题】
自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xy(F(f(x,a),y) ?F(f(y,a),x))”的真值为假。
①
正确
②
错误
【简答题】
自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“xy(F(f(x,a),y) ?F(f(y,a),x))”的真值：[填空1]
【判断题】
实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xy。公式“xy(F(f(x,y),a) ?G(x,y))”的真值为假。
①
正确
②
错误
【简答题】
实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xy。公式“xy(G(x,y) ??F(f(x,y),a))”的真值：[填空1]
【多选题】
令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“有的火车比所有的汽车跑得快”符号化不正确的有：
①
$x$y(F(x) ù G( y) ù H(x, y))
②
x$y(F(x) ù G( y) ? H(x, y))
③
$xy(F(x) ù (G( y) ? H(x, y)))
④
$xy(F(x) ù G( y) ù H(x, y)).
【简答题】
实数集合里，F(x,y): x=y， G(x,y): xy。公式“xy(G(x,y) ??F(x,y))”的真值：[填空1]
【多选题】
令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“说所有的火车比所有的汽车跑得快是不对的”符号化不正确的有：
①
x$y(F(x) ù G( y) ? H(x, y))
②
$x$y(F(x) ù G( y) ù H(x, y))
③
xy(F(x) ù (G( y) ? H(x, y)))
④
$xy(F(x) ù G( y) ù H(x, y)).
【简答题】
自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“$xF(f(x,x),g(x,x))”的真值：[填空1]
随机题目
【单选题】
《刑事诉讼法》第117条规定，人民检察院、公安机关根据侦查犯罪的需要，可以依照规定查询、冻结犯罪嫌疑人的存款、汇款。对人民检察院和公安机关而言，该条法律规定显示了法的（ ）
①
确定的指引作用
②
有选择的指引作用
③
评价作用
④
强制作用
【单选题】
作为专门的法学术语，法的渊源这一概念在法学研究中有其因有的特定含义，是指( )。
①
统治阶级赖以生存的物质生活条件
②
统治阶级的政策
③
法律效力的来源
④
引起特定法律制度、法律原则、法律规范产生的历史事件和行为