“等价”就是重言等值，“推出”就是重言蕴涵吗？ 第1页
1
inversioner 网友的相关建议:
数学中的蕴涵是纯形式的概念。蕴涵式 其实就是 。(如果这不好理解，想象一下 就是 ，真不能推假)如果一个蕴含式是重言式，这说明其中的逻辑变元(术语貌似是“原子命题”)无论如何取真值，都是真的。这就是重言蕴涵。比如 ，这个命题就是 ，而后者是一个重言式。
至于等价， 就是 。这个式子如果是重言式，则称为重言等值式。
1
相关话题
质数集P与自然数集N等势吗?π可能等于4吗 ?
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
在离散数学中偏序关系和偏序集是什么意思？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
π可能等于4吗 ?
为什么逻辑学给入门者的感觉如此之乱？
n! 和 n²，哪个更大呢？
质数集P与自然数集N等势吗?
你有没有在某个瞬间觉得数学是美的，或者被数学震撼到？
前一个讨论
如何评价《我的三体之章北海传》第九集?
相关的话题
如何把微信群/QQ群构造成一个阿贝尔群？如何把微信群/QQ群构造成一个阿贝尔群？
如何直观地理解群论？
模糊层次分析法的三角模糊值含意？
“等价”就是重言等值，“推出”就是重言蕴涵吗？
在集合的势的意义下，是否存在比实数集更大的全序集？
自然数和非负整数有什么区别？
n! 和 n²，哪个更大呢？
如何理解（证明）不存在与自己的真子集等势的自然数?
环中任何一个非空子集都可以生成理想吗？
不可列个数的集合交集并集怎么定义？
任取两个大于 2 的整数，其互质的概率是多少？
偏序集与完备格？
有没有可能一个数学证明是错的，然而所有人都没注意到呢？
自然数0 的现实意义是什么？
如何理解（证明）不存在与自己的真子集等势的自然数?
n! 和 n²，哪个更大呢？
a²＋a³＝392 怎么解？
离散数学色里的哈斯图怎么画？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
交换环的子环是否一定是交换环？
如何证明（0，1）不是可数集？
为什么逻辑学给入门者的感觉如此之乱？
0.9999…是否等于1的一个疑问?
如何理解（证明）不存在与自己的真子集等势的自然数?
你有没有在某个瞬间觉得数学是美的，或者被数学震撼到？
离散数学色里的哈斯图怎么画？
n! 和 n²，哪个更大呢？
π可能等于4吗 ?