|
:: 게시판
:: 이전 게시판
|
이전 질문 게시판은 새 글 쓰기를 막았습니다. [질문 게시판]을 이용바랍니다.
통합규정 1.3 이용안내 인용"Pgr은 '명문화된 삭제규정'이 반드시 필요하지 않은 분을 환영합니다.법 없이도 사는 사람, 남에게 상처를 주지 않으면서 같이 이야기 나눌 수 있는 분이면 좋겠습니다."
11/06/09 15:44
) 표시가 -> 말하는 건가요? 제가 논리학 수업을 들어본적이 없어서요
그냥 제 개인적인 생각으로 교수님이 주신 힌트를 이용해서 하면 2번을 ~A v C 인데 1번 ~A ) ~B 이용하여 ~B v C 가 되고 3번을 ~B ) D 와 4번 D ) E 이니까 ~B ) E 가 되니까 이걸 이용하여 E v C 가 되네요. 근데 그렇게 말고 1번에서 B -> A 이고 2번 A-> C 이니까 B->C 가 되고 D->E니까 이 2개를 3번에 적용하면 C v E 가 되지 않나요? 이렇게 풀어되 될 거 같은데요.
11/06/09 16:08
가정 3번 BvD를 implementation 형태로 바꾸게 되면 ~B -> D가 되고,
그러면 ~C -> ~A(가정 2번의 대우) -> ~B(가정 1번) -> D(수정된 가정 3번) -> E (가정 4번) 헉헉 길다.. 하면 ~C -> E가 되는데, 이게 C v E가 되니까... 이런 거 아닐까요? 허헛;
|
||||||||||