자연연역 하나도 이해가 안 되는데요 ㅠ

[익명(125.130)]

A∧B→¬(¬A∨¬B)

A∨(B∧C)→(A∨B)∧(A∨C)

(A∧(B∧F))∨(A∧C)→A∧(B∨C)

이걸 자연연역으로 증명하라는데 어디부터 이해를 못 했는지 잘 모르겠음 ㅠㅠ

강의도 다 들었는데요...

[익명(61.35)]

A∧B<->¬(¬A∨¬B) 드모르간 규칙 A∨(B∧C)<->(A∨B)∧(A∨C) 분배규칙 ...

[익명(61.35)]

책 다시 펴보셔야할듯

[익명(61.35)]

만약에 1,2 번이 전제고 3번이 결론이면.. 교수님이 좀 너무하셨다..

[익명(61.35)]

정말그렇다면 전제 두게는 항진이라서 사실상 없는거 취급하고 결론만 항진임을 증명하면됨

[익명(61.35)]

(A∧(B∧F))∨(A∧C) 가정하고 A∧(B∨C)도출해서 조건언 추가 하셈

[익명(125.130)]

아 각 줄이 다 다른 문제임....서로 관련없대

[익명(61.35)]

각줄 자체를 도출하는거야? 아니면 전건에서 후건 도출하는거야?

[익명(125.130)]

줄마다 전건에서 후건 도출하라는건가봐용

[익명(220.79)]

https://m.dcinside.com/board/logic/1253
- dc App

[임진성(dlawlstjd1)]

수학 하는 줄 알겠다

[익명(223.38)]

대학 과제지? 니 능력으로 풀자...