藴涵詞

如A→B（或A⊃B）即A和B的藴涵式，讀作“A藴涵B”（或“如果A則B”），其真假關係是：A真和B假則A→B假，否則A→B真。A和B分別稱為A→B的前件和後件。