논리 간단한 증명 알려주실뿐

[어려워(222.97)]

A V B, A ->C, B->C // C

C가 결론인데 귀류법, 진리표 쓰지 않고 직접증명법으로 유도하고싶은데 

어떻게해야 하는지 아시는분...

[1+1=2(lsc4719)]

Use Natural Deduction Rule (or Elimination) - dc App

[1+1=2(lsc4719)]

https://www.logicmatters.net/wp-content/uploads/2017/09/Diagram2.jpeg
- dc App

[어려워(222.97)]

무슨 규칙임??

[1+1=2(lsc4719)]

위키에서 찾아줄껭 - dc App

[1+1=2(lsc4719)]

엄청 간단한 규칙이야. 규칙들로부터 결론을 이끌어내는 그림그리기야. - dc App

[1+1=2(lsc4719)]

∨-제거 규칙 "The Rule of ∨-elimination" (∨E) - dc App

[1+1=2(lsc4719)]

https://ko.m.wikipedia.org/wiki/자연_연역
- dc App

[1+1=2(lsc4719)]

자연연역이라는 게 가정들로부터 결론을 이끌어내는 증명 방법 중 하나인데. 표기법이 크게 1. 그림그리기(겐첸 스타일) 2. 글자로 글쓰듯이 주욱 한줄한줄씩 쓰기(피치 스타일) 이 있나봐. - dc App

[1+1=2(lsc4719)]

내가 링크로 단 그림은 추론 규칙을 겐첸 스타일로 나타낸 것 같아. - dc App

[1+1=2(lsc4719)]

어떤 표기법을 쓰든 같은 추론규칙들을 사용하나봐. - dc App

[어려워(222.97)]

c를 유도하는데 그냥 규칙을 도입하는거임? 저 전제들로는 구할수가없는건가

[1+1=2(lsc4719)]

그래서 어떤 스타일로 증명하든 다른 스타일로 바로 1대1로 바꿔쓸 수 있나바 - dc App

[1+1=2(lsc4719)]

연습문제 2개만 풀어보면 바로 알듯! - dc App

[1+1=2(lsc4719)]

자연 연역을 알려주는 교재가 혹시 있음 좋는데 ㅠ - dc App

[1+1=2(lsc4719)]

답은 그림그려서 글로 올려볼께 - dc App

[어려워(222.97)]

친절하시네 ㅎㅎ

[1+1=2(lsc4719)]

929번 글에 증명 올려놨어요~

[익명(58.230)]

자연연역 쓰시거나(모르시면 논리학 서적 책 하나사셔서 공부 ㄱㄱ) 아니면 (AvB)n(~AvC)n(~BvC) 를 정리하다보면 (False v C ) v (False v C) ㅡ> True 여야하므로 즉 C는 True입니다

[어려워(222.97)]

자연연역 어떻게함 규칙은 아는데

[익명(58.230)]

규칙도 꽤많고 말로설명하기도 애매하고 무엇보다 본인이 직접해봐야됨 이병덕 논리 책 하나 사서보셈

[익명(221.157)]

나는 저걸 추론규칙으로 쓰고 있는디 흠.. 너가 공부하는 책에서는 나랑 다른 추론규칙을 정해놓고 쓰는가 보네

[익명(221.157)]

or 과 관련된 추론규칙으로 뭐써?

[어려워(222.97)]

p > pVq이것과 pVq,-q >p 이것씀

[익명(122.34)]

귀류법 못 쓰는 거면 ~~p 에서 p로 유도하는 것도 못 쓰는건가. 흠 나는 모르겠다. A ->C 에서 ~A or C 유도할 수 있으면 어찌저찌 될 거 같은데 못하겠음

[익명(58.78)]

Arugment by case였나 - dc App