在全总个体域下，用一阶逻辑将命题“有的火车比有的汽车快”符号化不正确的有：

答案查看网，轻松搜题/搜资源

【多选题】【消耗次数：1】

① $x$y(F(x) ùG(y) ?H(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

② $x$y(F(x) ùG(y) ùH(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

③ $x$y(F(x) ùG(y) úH(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

④ $x$y(F(x) ?G(y) ùH(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比 y 快.

参考答案：

复制

纠错

➡️如需代学继续教育，联系微信：yizhituziang

相关题目

【多选题】令 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): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“有的汽车比有的火车跑得快”可符号化为：

① <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/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 /> G( 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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G( y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> H(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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G( y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> H(x, y))

④ <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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G( y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> H(x, y))

查看完整题目与答案

【多选题】令 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): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快，则命题“有的火车比所有的汽车跑得快”可符号化为：

① <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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G( 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/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G( y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> H(x, y))

③ <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/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 /> (G( y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> H(x, y)))

④ <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/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 /> G( y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> H(x, y)).

查看完整题目与答案

【单选题】令 F(x): x 是汽车, G( y): y 是火车, H(x, y): 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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G( y) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> H(x, y))

② <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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G( 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/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 /> (G( y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> H(x, y)))

④ <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/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 /> G( y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> H(x, y)).

查看完整题目与答案

【单选题】令 F(x): x 是汽车, G( y): y 是火车, H(x, y): 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 /> G( 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 />H(x, y))

② <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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G( 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 />H(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 /> (G( 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 /> H(x, y)))

④ <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/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 /> G( 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 />H(x, y)).

查看完整题目与答案

【判断题】实数集合里，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]

查看完整题目与答案

【简答题】自然数里，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]

查看完整题目与答案

【判断题】自然数里，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。公式“xF(g(x,a),x)”的真值为真。

① 正确

② 错误

查看完整题目与答案

随机题目

【判断题】 BLX是橡皮绝缘铝芯导线。

① 正确

② 错误

查看完整题目与答案

【单选题】供电系统对过电流保护装置的基本要求是选择性、速动性、可靠性、（）。

① 稳定性

② 经济性

③ 灵敏性

④ 安全性

查看完整题目与答案

【判断题】施工现场的用电设备，必须实行“一机一闸”制。

① 正确

② 错误

查看完整题目与答案

【单选题】电杆主要作用是支撑导线，同时保持导线的相间距离和对地距离。

① 正确

② 错误

查看完整题目与答案

【单选题】敷设垂直排列的接户线，零线应在（）方。

① 最上

② 上、下换位

③ 最下

④ 中间

查看完整题目与答案

【判断题】导线架设为提高供电可靠性，在一个档距内每一层架空线的接头数不得超过该层线条数的30%。

① 正确

② 错误

查看完整题目与答案

【单选题】安装螺口灯时，应将螺纹接线端接在（）。

① 都可以

② 地线

③ 零线

④ 火线

查看完整题目与答案

【单选题】电缆桥架可以在穿过楼板或墙壁处进行连接。因为不便于安装连接附件和进行防火封堵。

① 正确

② 错误

查看完整题目与答案

【单选题】桥架上部距顶棚、楼板或梁等障碍物不宜小于0.3m。

① 正确

② 错误

查看完整题目与答案

【单选题】母线接地开关底座、绝缘子技校、母线托架、地刀静触头整体组织，检查处理导电部分连接部件的接触面，清洁后涂以（）连接。

① 复合电力脂

② 护套电缆

③ 中心线

④ 避雷线

查看完整题目与答案