什么是谓词蕴含式，证明永真蕴含式的三种方法

蕴含式 当且仅当 是一个重言式时，我们称“P蕴涵Q”记作 。

蕴含式性质 （1） 对任意公式A，有 ； （2） 对任意公式A，B和C，若 则 ； （3） 对任意公式A，B和C，若 则 ； （4） 对任意公式A，B和C，若 则 。等价式与双条件式 设A,B为两个出题公式 ，当且仅当ADB为一个重言式。

(A→(B→C))∧((C∧D)→E)∧(┓F→(D→┓E))=A→(B→F)可以化为

((A∧B)→C))∧((C∧D)→E)∧((D∧E)→F)=(A∧B)→F

蕴含式：由出题 p，q 出现的复合出题 “若 p 则 q”，称为 p 蕴涵 q，记为 p→q，称 p 为蕴涵式的前件，q 为蕴涵式的后件，“ →” 为蕴涵联结词。

p→q 为假现目前仅当 p 真 q 假。