于语意蕴含（等同符号formula_1）。这也是大多数初学者易搞混的点。
真值表.涉及实质蕴涵的真值表定义如下：由此可见，formula_7 等价于formula_8。
形式性质.实质条件不要混淆于蕴涵关系formula_9。但在多数逻辑包括经典逻辑中二者之间有密切关联。例如下列原理成立：但是这些原理不在所有逻辑中成立。它们显着的不成立于非单调逻辑中，也不成立于相干逻辑中。实质蕴涵的其他性质：注意formula_23 逻辑等