蘊涵詞

數學邏輯中一種命題連線詞。用符號“→”（或“∪向左旋轉90度”）表示。

數學邏輯中一種命題連線詞。用符號“→”或者“⊃”表示。如A→B（或A⊃B）即A和B的蘊涵式，讀作“A蘊涵B”（或“如果A則B”），其真假關係是：A真和B假則A→B假，否則A→B真。A和B分別稱為A→B的前件和後件。