-A→-B, A→C, BvD, D→E ㅏ EvC


{1}       (1) -A→-B   A

{2}       (2) A→C      A 

{3}       (3) BvD        A

{4}       (4) D→E      A

{5}       (5) B        A

{5}       (6) --B    DN(이중부정) 5

{1,5}     (7) --A    MTT(후건부정) 1,5

{1,5}     (8) A       DN 7

{1,2,5}   (9) C       MPP(전건긍증) 2, 8

{1,2,5}   (10) EvC   vI(선언도입 or ADD) 9

{11}      (11) D      A

{4,11}    (12) E      MPP 11,4

{4,11}    (13} EvC  vI 12

{1,2,3,4} (14) EvC   vE(선언제거) 3,5,10,11,13

ㅁ


마지막 네모칸 치는 것은 즐거워.

(Lemmon Notation)