논리학 자연연역 문제 두개만 알려줘ㅠ

[아잉(112.146)]

전제: G→(H&~K), H→(L&I), ~I∨K, 결론: ~G

전제: F→(G∨H), ~(~F∨H), ~G, 결론: H

[러셀(salvaveritate)]

1. 양도논법(경우에 의한 논증)의 응용임. 2…는 잘 모르겠는데..

[러셀(salvaveritate)]

아 2도 경우에 의한 논증을 여러번 쓰면 됨. 폭발률도 사용될 수 있고..

[아잉(112.146)]

아 고마워ㅠ 해볼게!

[지나가다(112.212)]

2는 머 저런 문제가 다 있냐? 이미 전제에 모순이 함축돼 있어서 H는 사소하게 따라나옴. 근데 무의미한 증명이 됨. 이미 전제에서 G와 그 부정, H와 그 부정이 동시에 증명될 수 있음. 모순임. 글고 모순으로부터는 모든게 따라나옴.