？？？
求解，数老嗨进
- 已编辑
麻了，数理逻辑越看越晕
用一句经典的寓言来说，“蜈蚣在思考它是如何控制每一条腿时，它连走路都不会了”，但我又不想略过这个问题
这个是一个签名档或者说是小尾巴!
这个知乎大佬有解释
https://www.zhihu.com/question/288117056
意思是实质蕴含之上还有一个严格蕴含？日常生活中用的更多的还是严格蕴含？
想起以前上逻辑学的时候
我问老师逆否命题里很多含义都改变了，虽然正确性并不改变
老师说那就是语言学的问题，有些超纲了
Tony大将军 我已经被绕晕了，只能说实质蕴涵确实很反直觉，维基上说要避免这种争议性的怪论最好是在表述时改为诸如“either pekora is not streaming, or Paris belongs to France, or both.”而不是“if pekora is streaming, then Paris belongs to France.”
这个是一个签名档或者说是小尾巴!
Monoid1989 蕴含描述的是一种关系，不要去关注命题本身。你可以理解为，当我的条件是假命题的时候，后面跟什么批话都是对的。
举个例子：“如果墨茶能复活，那么我是亚洲首富。”很显然这是一句批话，因为前件为假，后件怎么说都行，事实上这种话我们经常说。
但反过来，“如果墨茶死了，那么我是亚洲首富。”这就是错的，而且仅有这种情况——前件真、后件假的情况下，一个蕴含式是错的。这并不违反直觉。
一个数理逻辑转换成自然语言可以有很多表达方式，“如果……则”，“只要……就”，“只有……才”，不要过分依赖自然语言去理解。
练习忠字舞中，少话
- 已编辑
而且还需要当且仅当前件为真的所有模型中后件皆为真
这不就是AND短路运算符？https://en.wikipedia.org/wiki/Short-circuit_evaluation
[right]本站更新记录与bug反馈[/right]
7 个月 后
想起一个有趣的例子，法语里表达英语or的语义用的是et/ou的写法。
似乎是因为法语的ou实际上是xor。
3 年 后
「n0099」于「[未知讨论] 」引用此帖