蘊涵詞
蘊

蘊涵詞　　　yùn hán cí

數(shù)理邏輯中一種命題連接詞。用符號“”表示，如AB即A和B的蘊涵式，讀作“A蘊涵B”（或“如果A則B”），其真假關(guān)系是：A真和B假則AB假，否則AB真。A和B分別稱為AB的前件和后件。