蕴含式当且仅当 是一个重言式时，我们称“P蕴涵Q”记作 。
蕴含式性质
（1） 对任意公式A，有 ;
（2） 对任意公式A，B和C，若 则 ;
（3） 对任意公式A，B和C，若 则 ;
（4） 对任意公式A，B和C，若 则 。
等价式与双条件式设A,B为两个命题公式 ，当且仅当ADB为一个重言式。