┐(B→┐C) P，假设前提 （化简：B∧C） B T,1,I C T,1,I A∨B T,2,I (A∨B)→D PD T,4,5,I ┐(D∧E) P ┐E T,6,7,I ┐（C→E） T,3,8,I C→E P 所以假设不成立;
