数学逻辑中一种命题连接词。用符号“→”(或“∪向左旋转90度”)表示。如A→B(或A“∪向左旋转90度”B)即A和B的蕴涵式,读作“A蕴涵B”(或“如果A则B”),其真假关系是:A真和B假则A→B假,否则A→B真。A和B分别称为A→B的前件和后件。
笑话军事旅游美容女性百态母婴家电游戏互联网财经美女干货家饰健康探索资源娱乐学院 数码美食景区养生手机购车首饰美妆装修情感篇厨房科普动物植物编程百科知道汽车珠宝 健康评测品位娱乐居家情感星座服饰美体奢侈品美容达人亲子图库折扣生活美食花嫁风景 | 首页 |
数学逻辑中一种命题连接词。用符号“→”(或“∪向左旋转90度”)表示。如A→B(或A“∪向左旋转90度”B)即A和B的蕴涵式,读作“A蕴涵B”(或“如果A则B”),其真假关系是:A真和B假则A→B假,否则A→B真。A和B分别称为A→B的前件和后件。