时用符号“⇒”或“⊃”）来符号化，其语义仅爲“如果A为真，那么B亦为真”。它的常见写法见下：须注意的是，formula_5更常用于语意蕴含（等同符号formula_1）。这也是大多数初学者易搞混的点。
真值表.涉及实质蕴涵的真值表定义如下：由此可见，formula_7 等价于formula_8。
形式性质.实质条件不要混淆于蕴涵关系formula_9。但在多数逻辑包括经典逻辑中二者之间有密切关联。例如下列原理成立：但是这些原理不在所有逻辑中