@贴吧用户_JRPJ2aJ965 回复 问道烟雨中 :你的套用没有任何意义。和你理解不了的5≥3也没有关系。你需要面对的是为什么5≥3被你全否。其中蕴含的5>3哪里去了。
.
回:估计你都不知道我们辨论的话题是什么?
.
①官科说:5≥3为真,
原因是它做了`逻辑或运算`,
即:5≥3与`5>3`U`5=3`等价,
5>3`U`5=3`=1(真),
所以就说5≥3为真
它的意思是:只需要5>3与5=3其中一个关系式成立就行(结果为真)
②我认为不对,核心问题就是这个≥符号、是否具有`逻辑或运算`的操作,于是我们就去考察`≥`符合的逻辑意义是什么
③如何考察≥符号的逻辑意义呢?
最典型的就是x≥3,这种形式中有≥符号,
所以:只要我们通过分析x≥3的逻辑意义、就可以间接得到≥符号的逻辑意义
④x≥3它描述的集合是[3,+∞)
你也可以简单理解为集合{x>3(表示所有大于3的实数集),x=3(表示等于3的实数)}
这种表达形式并不符号官科对集合的规范表达形式,
这只是通过这种表达形式去理解集合[3,+∞)所讲的逻辑意义是什么
考察的核心内容就是:是否只需要x>3与x=3其中一个成立就可以?
很明显不是这样的!
因为:
如果你只需要x>3,那x=3这个实数就弄丢了,
如果你只需要x=3,那x>3描述的所以大于2的实数集就弄丢了,
.
如此类比,我们来考察5≥3
它就可以理解为{5>3,5=3},
然后从上面的分析类比理解,需要5>3与5=3都必须成立!
所以:把5≥3等价于`逻辑或运算`是逻辑有问题的!