一个关于数据库逻辑蕴涵的证明题！
一个关于数据库逻辑蕴涵的证明题！
题目：设U={ABCDE},F={A→B,CD→A,B→D,CD→E,CE→A}，求证F逻辑蕴含AC→BE
要有解题思路跟详细一步一步的步骤。
另外请举个简单明了的理解解释下什么是逻辑蕴涵。
题目：设U={ABCDE},F={A→B,CD→A,B→D,CD→E,CE→A}，求证F逻辑蕴含AC→BE
要有解题思路跟详细一步一步的步骤。
另外请举个简单明了的理解解释下什么是逻辑蕴涵。
赞 天上星1 幼苗
共回答了28个问题采纳率：82.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的充分条件。
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的充分条件。
1年前
7
可能相似的问题
-
1年前1个回答
-
1年前1个回答
-
1年前1个回答
-
1年前2个回答
-
1年前1个回答
-
1年前1个回答
你能帮帮他们吗