1.｛1｝A→B P
2.｛2｝CD→A P
3.｛3｝B→D P
4.｛4｝CD→E P
5.｛5｝CE→A P/∴AC→BE
6.｛6｝AC P
7.｛6｝A ∧-6
8.｛16｝B →-1.7
9.｛136｝D →-3.8
10｛6｝C ∧-6
11｛136｝CD ∧+9.10
12｛1246｝E →-4.11
13｛1246｝BE ∧+8.12
14｛124｝AC→BE →+6.13
证毕
蕴涵（“→”）是一种命题运算的二元算子，其前域是后域的充分条件。充分条件句就是蕴涵句。p是q的充分条件，意味着有p必定有q；但，无p未必无q。这样p就是q的充分条件。