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