님들 I&~I에서 H&~I를 도출할 수 있음?;;

[익명(119.193)]

드모르간 없이 자연연역 기본 규칙만 가지고 해야 함... 전제부터가 모순인 건 아는데 책에 문제가 저래 ㅇㅅㅇ 어케 해야 함??? 참고로 The Logic Book 6th Edition - Merrie Bergmann의 166페이지에 나오는 문제임.

[익명(118.217)]

~H->I

[익명(118.217)]

~I

[익명(118.217)]

H&~I 이러면 되는거아님?

[익명(118.217)]

아 기본이네

[익명(119.193)]

아 고맙 해결함. H->I 해놓고 H에 부정도입(H 가정, H->I에서 I 도출, ~I 반복)함

[익명(119.193)]

H->I 가 아니고 ~H->I에서 부정제거

[익명(118.217)]

1I v H

[익명(118.217)]

2. H

[익명(118.217)]

3. H & ~I

[TIME(ghawmzldjs71)]

걍 폭발원리네 뭐든 도출할수 있음 - dc App

[익명(180.67)]

[익명(117.111)]

당연한 거다