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



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

  

user avatar   inversioner 网友的相关建议: 
      

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

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




  

相关话题

  是否存在某些问题不能用有限步骤解决? 
  π可能等于4吗 ? 
  离散数学色里的哈斯图怎么画? 
  大家有人知道这个怎么解吗? 
  能否求出n次对称群中置换的最大阶? 
  如何直观地理解群论? 
  不可列个数的集合交集并集怎么定义? 
  我想证明自然数有穷可行吗? 
  环中任何一个非空子集都可以生成理想吗? 
  请问这个集合不是零测集有什么具体例子吗? 

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





© 2025-03-31 - tinynew.org. All Rights Reserved.
© 2025-03-31 - tinynew.org. 保留所有权利