蘊涵
1.[contain;accumulate] 包含。也稱為“蘊含”。 2.邏輯名詞。判斷前後兩個命題互為條件關係的叫"蘊涵"。表現形式是"如果……則……"（符號：“→“）。
基本解釋：
1. 包含。也作“蘊含”。
詞語分開解釋：
蘊 : 蘊（蘊） yùn 積聚，蓄藏，包含：蘊蓄。蘊藏。蘊結（鬱結）。蘊蘊（多指暑氣鬱積）。蘊含。蘊涵（a
涵 : 涵 hán 包容，包含：涵蓄。涵容。涵養（a．蓄積並保持，如“涵涵水源”；b．指修養
出處:
雨果《紀念伏爾泰逝世一百周年的演說》：“但是，其中 蘊涵有哲理的憂傷。”
假言命題
在充分條件假言判斷中： 如果P，那么Q，可以表示為P→Q
P稱為前件（條件），Q稱為後件（後果），“→”這個符號，邏輯叫做“ 蘊涵”
蘊涵式中，只有當前件真後件假時整個假言判斷為假，其餘均為真。
真假值如下表：
P Q P→Q
真 真 真
真 假 假
假 真 真
假 假 真
程式語言中，蘊涵邏輯運算符通常是Imp
