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



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

  

user avatar   inversioner 网友的相关建议: 
      

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

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




  

相关话题

  0.9999…是否等于1的一个疑问? 
  如何解决这个图的特征值问题? 
  a²+a³=392 怎么解? 
  自然数0 的现实意义是什么? 
  自然数0 的现实意义是什么? 
  请问如何把所有自然数均分成三类? 
  能否求出n次对称群中置换的最大阶? 
  离散数学色里的哈斯图怎么画? 
  请问这个一阶逻辑等值式如何理解,请举一个现实的例子? 
  N为自然数集,(N×N)×(N×N)是不是可数集?如果是,它到N的双射函数是什么?如果不是,它和什么等势? 

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





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