후건부정법 (2) 썸네일형 리스트형 연역논증_대우 대우는 다음과 같이 표현한다. p→q ≡ ~q→~p 대우명제란? 대우명제란 어떤 명제의 결론의 부정을 전제로 하고 어떤 명제의 전제의 부정을 결론으로 하는 명제를 말한다. 어떤 명제가 참이라면, 대우명제 또한 참이다. 대우는 타당한 논증 형식 중 하나인 후건부정법이다. 대우의 예(후건부정법의 예) 만약 춘식이가 붕어빵을 5개를 판다면, 천 원을 벌 것이다. 천 원을 벌지 못했다면, 춘식이는 붕어빵을 5개를 팔지 못했을 것이다. 만약 비가 온다면, 땅이 젖을 것이다. 땅이 젖지 않았으므로, 비가 오지 않았을 것이다. 연역논증_타당한 논증 형식_후건부정법 후건부정법은 조건명제를 대전제로 갖는 논증이다. (조건명제를 대전제로 갖는 논증에는 전건긍정법도 있다.) 대전제 : 만일 p라면 q이다. 후건부정법은 대전제와 소전제(‘q가 아니다’), 그리고 결론('p가 아니다')으로 구성된다. 소전제 : ‘q가 아니다’(~q) 결론 : ‘p가 아니다’(~p) 후건부정법은 다음과 같이 나타낸다 p이면 q이다 p→q q가 아니다 ~q ∴ p가 아니다 ∴~p 후건부정법은 조건명제의 대우명제이다. (대우명제란 어떤 명제의 결론의 부정을 전제로 하고 어떤 명제의 전제의 부정을 결론으로 하는 명제를 말하며, 어떤 명제가 참이라면 대우명제 또한 참이다.) 후건부정법의 예 만약 춘식이가 붕어빵을 5개 팔면, 천 원을 벌 것이다. 천원을 벌지 못했다 따라서 춘식이는 붕어빵을 5개 팔.. 이전 1 다음
