万能的loc，懂数学逻辑的大神，帮我解一道题吧!!!!!!!!!!!!!!!!!

hahaha

hahaha 发表于 2019-2-28 11:21

谢谢大佬讲解
请问一下怎么样就算是成立？ 是左边=右边吗？
是y*(2*x-y)=0, y=0的情况下这个当然是成立的

南京扛把子

hahaha 发表于 2019-2-28 11:21

谢谢大佬讲解
请问一下怎么样就算是成立？ 是左边=右边吗？
你y=0的时候0乘任何数都是0啊，你管2x-y等于多少干嘛

hahaha

题目打错了，比如第一行应该是∀x∃y(2x-y=0) 意思是对所有x 存在y 使得2x-y=0成立。

shc

dabiantai 发表于 2019-2-28 11:36

题目打错了，比如第一行应该是∀x∃y(2x-y=0) 意思是对所有x 存在y 使得2x-y=0成立。
...
他这是截图，怎么可能会错。。。又不是手打的

南京扛把子

南京扛把子 发表于 2019-2-28 11:37

他这是截图，怎么可能会错。。。又不是手打的
截图本身有错啊
hahaha 发表于 2019-2-28 11:40

应该没有错，这是我们上学期期末考试的原卷。老师也没说有错误，我是直接截图下来的 ...
懂了吗？

dabiantai

hahaha 发表于 2019-2-28 11:37

∀x∃y不是只是用来描述x和y的范围吗？为什么y会参与到计算里？
谁跟你说只用来描述单个变量的范围了，也能用来描述一个等式是否成立

南京扛把子

hahaha 发表于 2019-2-28 11:40

应该没有错，这是我们上学期期末考试的原卷。老师也没说有错误，我是直接截图下来的 ...
什么国家的学校？可能有我不知道的表述方式。但是含义都应该是2x-y=0而不是y(2x-y)=0

hahaha

hahaha 发表于 2019-2-28 11:47

还是不懂啊，
y*(2*x-y)=0 公式中第一个y是哪里的？∀x∃y只是用来描述x和y的范围吗？为什么会参与到计算 ...
对于任意的x，存在                              y(2x-y)                              =0,这样看懂了吗。。。

dabiantaihahaha

不行你加我QQ,452973002,论坛打字太累了

hahaha

看都看不懂


hahaha 发表于 2019-2-28 11:37

∀x∃y不是只是用来描述x和y的范围吗？为什么y会参与到计算里？
我觉得题目的意思是对于任意x存在这样的(x, y)，使得y(2x-y)=0.