蕴涵关系设P、Q是两个命题，“如果P则Q”为关于P、Q的复合命题，记作P→Q，读作P蕴涵Q。 “→”是二元运算，称为“蕴涵”运算 称“P→Q”为蕴涵式，其中 P为蕴涵式的前件，Q为蕴涵式的后件。关键是记住：前件为假时，无论后件真假，整个蕴涵式都为真
