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

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

【多选题】【消耗次数：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 快.

参考答案：

复制

纠错

相关题目

【多选题】令 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 跑得快，则命题“说所有的火车比所有的汽车跑得快是不对的”符号化不正确的有：

① 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 跑得快，则命题“有的火车比所有的汽车跑得快”可符号化为：

① <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。公式“xF(g(x,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))”的真值为假。

① 正确

② 错误

查看完整题目与答案

随机题目

【单选题】以下不属于学习管理学的意义的是( )

① 帮助我们了解管理的一般规律

② 帮助我们形成感性分析能力

③ 提升我们以直觉判断为基础的决策或决断的能力

④ 提升我们的管理水平

查看完整题目与答案

【单选题】在确定决策目标时，要注意把目标建立在（? ）的基础上

① 需要

② 可能

③ 需要和可能

④ 必要的利润

查看完整题目与答案

【单选题】曹雪芹虽食不果腹，仍然坚持《红楼梦》的创作是出于其（　　）

① 安全的需求

② 社交的需求

③ 自尊与受人尊敬的需求

④ 自我实现的需求

查看完整题目与答案

【单选题】人员配备时实行公开竞争的前提是（　　　）

① 人才必须能够流动

② 责权利一致

③ 用人之长

④ 许诺不断培养

查看完整题目与答案

【单选题】目标不是一成不变的，一般来说，( )应保持一定的稳定性

① 利润目标

② 短期目标

③ 中期目标

④ 长期目标

查看完整题目与答案

【单选题】依据控制的( )分，控制可以分为现场控制，前馈控制和反馈控制

① 内容

② 环节

③ 对象

④ 对象的性质

查看完整题目与答案

【单选题】中层管理者比低层管理者更多地依靠( )

① 正式权力与沟通技巧

② 个人权力与技术技能

③ 人际关系技能与技术技能

④ 沟通技能与人际关系技能

查看完整题目与答案

【单选题】业务决策中，例如生产任务的日常安排、常用物资的订货与采购等诸如此类的经常重复发生，能按原已规定的程序、处理方法和标准进行的决策，属于（?? ）

① 日常管理决策

② 程序化决策

③ 确定型决策

④ 风险型决策

查看完整题目与答案

【单选题】一些公司常常把一位高层经理的办公桌搬到某一问题的中心所在地，使他处于行动的中心；还有的公司要求管理人员深入到各个不同事业部，通过这种途径使管理人员了解各个不同部门的特点，发现特有的问题。你认为下列不是这些做法的优点是( )

① 大大简化了信息流通的程序

② 加强管理阶层与职工感情上的交流

③ 能贯彻实施企业的战略意图

④ 有利于管理者树立威信

查看完整题目与答案

【单选题】 “凡事预则立，不预则废。”是强调（）的重要性

① 预防

② 预测

③ 组织

④ 计划

查看完整题目与答案