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



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

  

user avatar   inversioner 网友的相关建议: 
      

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

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




  

相关话题

  不可列个数的集合交集并集怎么定义? 
  为什么逻辑学给入门者的感觉如此之乱? 
  请问如何把所有自然数均分成三类? 
  “等价”就是重言等值,“推出”就是重言蕴涵吗? 
  如何理解(证明)不存在与自己的真子集等势的自然数? 
  是否存在某些问题不能用有限步骤解决? 
  请问这个关于全排列的图论结论如何证明? 
  如何理解(证明)不存在与自己的真子集等势的自然数? 
  如何看待我坚持1+1=3? 
  0.9999…是否等于1的一个疑问? 

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





© 2025-06-22 - tinynew.org. All Rights Reserved.
© 2025-06-22 - tinynew.org. 保留所有权利