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