蕴涵词

蕴涵词　　　yùn hán cí

数理逻辑中一种命题连接词。用符号“”表示，如AB即A和B的蕴涵式，读作“A蕴涵B”（或“如果A则B”），其真假关系是：A真和B假则AB假，否则AB真。A和B分别称为AB的前件和后件。

每日一字一词

热门古籍

　

国学大师APP下载

国学大师APP升级上线，具有网站的全部内容，功能更全。
国学大师集古籍、典故、诗词、字词、成语、书法、人物地名等历史大百科。