网站地图
蕴涵词

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


相关文章推荐:
命题连接词 | 命题连接词 |
相关词汇词典