百科问答小站 logo
百科问答小站 font logo



“等价”就是重言等值,“推出”就是重言蕴涵吗? 第1页

  

user avatar   inversioner 网友的相关建议: 
      

数学中的蕴涵是纯形式的概念。蕴涵式 其实就是 。(如果这不好理解,想象一下 就是 ,真不能推假)如果一个蕴含式是重言式,这说明其中的逻辑变元(术语貌似是“原子命题”)无论如何取真值,都是真的。这就是重言蕴涵。比如 ,这个命题就是 ,而后者是一个重言式。

至于等价, 就是 。这个式子如果是重言式,则称为重言等值式。




  

相关话题

  在离散数学中偏序关系和偏序集是什么意思? 
  离散数学色里的哈斯图怎么画? 
  交换环的子环是否一定是交换环? 
  π可能等于4吗 ? 
  请问这个集合不是零测集有什么具体例子吗? 
  这是一个主客观赋权模型,但我不理解数学意义,有没有帮忙解释一下的? 
  零测集的子集是否可测? 
  如何解决这个图的特征值问题? 
  如何解决这个图的特征值问题? 
  环中任何一个非空子集都可以生成理想吗? 

前一个讨论
如何评价《我的三体之章北海传》第九集?
下一个讨论
理化生如果是科学,科学有唯一性吗?科学分东西方吗?





© 2025-04-29 - tinynew.org. All Rights Reserved.
© 2025-04-29 - tinynew.org. 保留所有权利