연역논증_논증의 타당성 검증1

타당한 논증형식들

 

 

다음의 논증은 타당한 논증일까?

 

전제 1   만약 라이언이나 네오가 여행을 간다면, 춘식이도 여행을 갈 것이다

전제 2   라이언이 여행을 간다

결론      따라서 춘식이는 여행을 간다

 

이 논증은 전건긍정법의 형태를 띄고 있는 것 같다

 

전건긍정법은 아래의 형태를 갖고 있다

 

p이면 q이다

p이다

∴ q이다

 

그런데 전제 1에서 p에 해당하는 부분인 ‘만약 라이언이나 네오가 여행을 간다면’과 전제 2인 ‘라이언이 여행을 간다’는 일치하지 않는다. 즉 전건긍정법을 적용할 수가 없다.

 

이때, 선언지 첨가 규칙을 활용할 수 있다.

 

전제 2는 선언지 첨가 규칙에 따라, ‘라이언이나 네오가 여행을 간다’가 참이라고 결론을 내릴 수 있다.

 

그렇다면 논증은 다음과 같은 형식이 된다.

 

전제 1   만약 라이언이나 네오가 여행을 간다면, 춘식이도 여행을 갈 것이다

전제 2   라이언이 여행을 간다

전제 3   라이언이나 네오가 여행을 간다

결론       따라서 춘식이는 여행을 간다

 

여기서 전제 1과 전제 3으로 전건긍정법 규칙을 적용하면, ‘춘식이는 여행을 간다’가 반드시 참이라는 것을 알 수 있다.

 

즉 이 논증은 타당하다는 것이 증명된다.