語境蘊涵

語境蘊涵亦稱“聯結蘊涵”。古希臘克里西普斯條件命題邏輯值的定義。認為，完整的條件句須是邏輯地真的，即後件的否定與前件不相容。意為：命題p和命題q有某種必然聯繫，p真而q假不可能時，p嚴格蘊涵q。

例如：“如果這是白天，那么這是亮的”是一個真的條件命題，因為後件的否定“這不是亮的”與前件“這是白天”不相容，即前件真而同時後件假不可能。劉易斯將其引為現代符號邏輯的嚴格蘊涵：如果非q與p不相容，那么p嚴格蘊涵q。