蘊(yùn)涵詞
蘊(yùn)

蘊(yùn)涵詞　　　yùn hán cí

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