一个关于数据库逻辑蕴涵的证明题！题目：设U={ABCDE},F={A→B,CD→A,B→D,CD→E,CE→A}，求证F逻辑蕴含AC→BE要有解题思路跟详细一步一步的步骤。另外请举个简单明了的理解解释下什么是逻辑蕴

Question

一个关于数据库逻辑蕴涵的证明题！
题目：设U={ABCDE},F={A→B,CD→A,B→D,CD→E,CE→A}，求证F逻辑蕴含AC→BE
要有解题思路跟详细一步一步的步骤。
另外请举个简单明了的理解解释下什么是逻辑蕴涵。

Answer 1

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的充分条件。