一个关于数据库逻辑蕴涵的证明问题！

2.{2}CD→A P

3.{3}B→D P

4.{4}CD→E P

5.{ 5 } ce→p/∴ac→be

6.{ 6 }空调压力

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