语境蕴涵

语境蕴涵亦称“联结蕴涵”。古希腊克里西普斯条件命题逻辑值的定义。认为，完整的条件句须是逻辑地真的，即后件的否定与前件不相容。意为：命题p和命题q有某种必然联系，p真而q假不可能时，p严格蕴涵q。例如：“如果这是白天，那么这是亮的”是一个真的条件命题，因为后件的否定“这不是亮的”与前件“这是白天”不相容，即前件真而同时后件假不可能。刘易斯将其引为现代符号逻辑的严格蕴涵：如果非q与p不相容，那么p严格蕴涵q。