Question

离散数学推理理论证明习题

推理理论证明 (A∨B)→D,┐(D∧E),C→E推出B→┐C

Answer 1

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