선생님들 자연영역(레몬) 으로 어떻게 증명해야 될지 모르겠습니다.

[익명(125.176)]

P & Q ⊢ ~(~P ∨ ~Q) 결론이 부정 형태여서 ~P V ~Q 가정 했는데 이 뒤로 뭘 어떻게 해야 될지 모르겠음..

[마유미(r6d9jofyi86x)]

드모르간 쓰면 바로 답 나오는데

[익명(125.176)]

그걸 쓰면 안됨!

[마유미(r6d9jofyi86x)]

레몬방식이 기본규칙만 쓰는걸 말하는거야?

[익명(125.176)]

글을 잘못썼네...기본규칙만 써서 레몬방식으로 풀고 싶은거야

[마유미(r6d9jofyi86x)]

그럼 이렇게 안돼? 1. P & Q 2. ~P V ~Q 3. P 4. ~Q 5. Q 6. ~(~P V ~Q)

[익명(125.176)]

4 어떻게 뽑아낸거야?

[마유미(r6d9jofyi86x)]

P는 ~~P니까 ~P V ~Q에서 선언 제거 쓸 수 있어 그럼 ~Q가 나와

[익명(125.176)]

레몬 선언제거는 avb에서 a가정해서 c 나오고 b가정해서 c 나오면 avb에서 c 나온다 아니야?

[익명(211.228)]

https://gall.dcinside.com/mgallery/board/view/?id=logic&no=1971&page=1