논증(직접증명법,간접증명법) 부탁합니다.-수정

[orange123-09]

직접증명법, 간접증명법 각각1

가정1 A∨(B∧C) 

가정2 B→D 

가정3 C→E 

가정4 D∧E→A∨C

가정5 ~A

결론  ∴C

직접증명법만

가정1 A∧B→C

가정2 (A→C)→D

가정3 ~B∨E

결론 ∴B→D∧E

논리곱, 논리합을 이용한 문제에요.

저게 문제이구요. 저 과정을 직접, 간접증명법으로 각각 증명하는거에요.

학교 과제인데 도저히 못하겠습니다. 도와주세요 ㅜㅜ

다 안풀더라도 설명이라도 부탁해요.

[데넵]

문제를 정확히 적으시면 보다 빠르게 도움을 받으실 수 있을 겁니다.

[데넵]

1. 직접증명법. A 또는 (B 그리고 C)라고 했는데, ~A라고 했으므로 B, C 모두 참. 따라서 C도 참. (뭔가 문제가 이상.. ㅠㅠ)

간접증명법. C가 아니라고 하자. 그럼 가정 1, 5가 동시에 일어날 수 없음. 모순.

[데넵]

2. B가 참이라고 가정하자. 일단 가정 3에 의해 B가 참이면 E도 참. 가정 1에서, 현재 B가 참이므로 A->C 성립. 따라서 가정2에서 D도 참. 결론적으로, D와 E 모두 참. 따라서 결론 성립.