蕴涵的真值构成与条件基础

实质蕴涵是真值构成蕴涵。表达蕴涵怪论的重言式是与被假定为真的蕴涵式相关的推理形式。费罗蕴涵没有离开条件关系;弗雷格对条件句与假言命题的区别性分析说明条件命题表达一个类似于规律的思想。自然语言中一个具有蕴涵关系的基本条件句指称的是事物之间本来具有的一种关系,一个具有"如果p则q"形式的综合命题与任何关于事实的命题一样,其真假判定要看命题的所指是否为事实。推理前提中涉及的事实性蕴涵和前提与结论之间的推出性蕴涵并不是同一种蕴涵。