蘊涵

蘊涵，漢語辭彙。① 裡邊含有，包含。②判斷中前後兩個命題間存在的某一種條件關係叫蘊涵，表現形式是“如果...則...”。例如“如果溫度增高則寒暑表的水銀柱上升”。基本含義近同於蘊含、包含、包涵，關係形容詞。

蘊涵

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

基本解釋：

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

詞語分開解釋：

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

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

出處:

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

假言命題

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

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

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

真假值如下表：

P Q P→Q

真 真 真

真 假 假

假 真 真

假 假 真

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