“等价”就是重言等值，“推出”就是重言蕴涵吗？ 第1页
1
inversioner 网友的相关建议:
数学中的蕴涵是纯形式的概念。蕴涵式 其实就是 。(如果这不好理解，想象一下 就是 ，真不能推假)如果一个蕴含式是重言式，这说明其中的逻辑变元(术语貌似是“原子命题”)无论如何取真值，都是真的。这就是重言蕴涵。比如 ，这个命题就是 ，而后者是一个重言式。
至于等价， 就是 。这个式子如果是重言式，则称为重言等值式。
1
相关话题
如何证明f(A∩B) ⊆ f(A)∩f(B) 而不是f(A∩B) = f(A)∩f(B) ？0.9999…是否等于1的一个疑问?
大家有人知道这个怎么解吗？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
环中任何一个非空子集都可以生成理想吗？
如何证明f(A∩B) ⊆ f(A)∩f(B) 而不是f(A∩B) = f(A)∩f(B) ？
如何证明（0，1）不是可数集？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
请问这个集合不是零测集有什么具体例子吗？
前一个讨论
如何评价《我的三体之章北海传》第九集?
相关的话题
0.9999…是否等于1的一个疑问?如何直观地理解群论？
能否求出n次对称群中置换的最大阶？
n*n的棋盘填上1，2，...，n^2，使任意相邻（有公共边）格子里的数字之和不大于S，求S最小值?
0.9999…是否等于1的一个疑问?
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
为什么集合的本身还可以是一个集合的元素？
零测集的子集是否可测？
如何直观地理解群论？
π可能等于4吗 ?
请问这个集合不是零测集有什么具体例子吗？
请问如何把所有自然数均分成三类？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
“等价”就是重言等值，“推出”就是重言蕴涵吗？
n! 和 n²，哪个更大呢？
如何解决这个图的特征值问题？
0.9999…是否等于1的一个疑问?
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
离散数学色里的哈斯图怎么画？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
我今年 14 岁，想了一个数学思路，把数学各领域的联系写出来了，这个思路有什么问题吗？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
零测集的子集是否可测？
请问这个集合不是零测集有什么具体例子吗？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
零测集的子集是否可测？
为什么集合的本身还可以是一个集合的元素？
任取两个大于 2 的整数，其互质的概率是多少？