자연연역 풀이 도와주실 분

[수수감자(223.62)]

여기까지밖에 진행이 안되는데 제가 한 풀이 맞는지랑 다음 어떻게 진행해야되는지 코멘트 좀 달아주십쇼 형님들!

[익명(106.101)]

~C가 없는데 10.행 V제거 안되지 않나요

[익명(106.101)]

파생규칙을 좀 쓰자면, ~B V C에서 조건문 규칙으로 B -> C 만들고A V B/A -> C/B -> C 니까 경우에 의한 논증으로 C, 가정사항과 조건 기호 제거에 의해 ~D만들고, 4.에서 마찬가지로 조건문 규칙에 의해 D & ~E, 연언 제거에 의해 D얻고, D, ~D 모순이니까 부정 도입으로 ~(C -> ~D)하시면 될 것 같아요