蘊涵

1.[contain;accumulate] 包含。也稱為“蘊含”。 2.邏輯名詞。判斷前後兩個命題互為條件關係的叫"蘊涵"。表現形式是"如果……則……"（符號：“→“）。

基本解釋：

1. 包含。也作“蘊含”。

詞語分開解釋：

蘊 : 蘊（蘊） yùn 積聚，蓄藏，包含：蘊蓄。蘊藏。蘊結（鬱結）。蘊蘊（多指暑氣鬱積）。蘊含。蘊涵（a

涵 : 涵 hán 包容，包含：涵蓄。涵容。涵養（a．蓄積並保持，如“涵涵水源”；b．指修養

出處:

雨果《紀念伏爾泰逝世一百周年的演說》：“但是，其中蘊涵有哲理的憂傷。”

假言命題

在充分條件假言判斷中：如果P，那么Q，可以表示為P→Q

P稱為前件（條件），Q稱為後件（後果），“→”這個符號，邏輯叫做“蘊涵”

蘊涵式中，只有當前件真後件假時整個假言判斷為假，其餘均為真。

真假值如下表：

P Q P→Q

真真真

真假假

假真真

假假真

程式語言中，蘊涵邏輯運算符通常是Imp