논증의 증명 문제인데요..

[ㅂㅂ(182.215)]

4. 전제들 : A -> (B V (C&D)), ~C v ~D, ~B 

   결론 : ~A

5. 전제들 : ~F -> ~G, F-> H, G V I, I -> J 

   결론: J v H

6. 전제들 : ~(QV~A) <-> ~B, B 

결론 : A -> (QVC) 

위 세 명제들을 증명하는 문제인데요..

도저히 풀리지 않아서 질문드립니다.

어떻게 전제에서 결론을 증명해낼 수 있을까요 

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[ㅁㄴㅇㄹ(122.38)]

4번은 첫번쨰 전제의 후건부정 5번은 첫번쨰 전재와 두번째 전재의 가언 삼단논법 을 먼저 해보고 풀어봐요 6번은 결론의 논리적 동치인 (-AvQ)vC의 선언지 첨가 이전 명제인 (-AvQ)를 아끌어 내면 되고 이정도면 풀수 있을거에요

[Y(61.72)]

어떤 체계를 사용하는지를 알려주셔야 해요. 아니면 사용하는 책이라도. 문제 유형을 보니 Fitch 자연연역을 고전적 방식으로 바꿔서 푸는 국내 교수님들의 서적이나 수업일 것으로 보이는데요. 4번은 A를 가정하시고 조건문 제거와 선언 제거(혹은 선언 삼단논법) 그리고 연언 제거 등을 사용하셔서 모순을 이끌어 내시면 A 가정에 부정 도입규칙으로 ~A가

[Y(61.72)]

나올 것이고요. 5, 6번을 보니 고전논리체계네요. 6번은 전제로부터 (Q V ~A) 얻고 A 가정해서 Q 얻으시면 바로 풀리고요. 5번은 오타가 없나 확인해 주세요. 아마도 ~F 가정해서 푸는 문제인 것 같은데... 아니면 H -> J 같은 전제가 하나 더 있던가. 어쨌든 도움이 되었으면 합니다. :)