약식 진리표 방법, 나무 방법, 연

습 문제
강의: 오 성
 연습문제

! 섬유 수입에 쿼터가 적용되면 일자리는 줄지 않는다는 주

장은 거짓이거나, 또는 국내 섬유산업이 첨단화되면 국내
섬유사업이 붕괴되지 않을 것이다. 섬유 수입에 쿼터가 적
용되면 국내 섬유생산은 첨단화될 것이다. 섬유산업이 첨
단화되면 일자리는 줄지 않을 것이다. 그러므로 섬유 수입
에 쿼터가 적용되면 국내 섬유산업은 붕괴되지 않을 것이
다.

! 섬유 수입에 쿼터가 적용된다: P

! 일자리가 준다: Q
! 국내 섬유 산업이 첨단화된다: R
! 국내 섬유 산업이 붕괴된다: S
약식 진리표 방법으로 증명하기
! 주어진 논증이 타당한지 부당한지를 약식 진리표 방법으로 증명하기
위해서 전제들을 모두 참인 것으로, 그리고 결론을 거짓으로 가정한
다. 이 때에 문장들의 진리치가 일관적으로 배열이 되면 해당 논증은
부당한 것이고, 일관적이지 않으면 해당 논증은 타당한 것이다.
~(P→~Q) v (R→~S) : T
P→R: T
R→~Q: T
P→~S: F
: 결론을 먼저 고려했을 때 V(P)=T, V(S)=T가 된다.
V(P→R)=T, V(P)=T이므로 V(R)=T이다.
V(R→~Q)=T, V(R)=T이므로 V(Q)=F이다.
V(~(P →~Q) v (R →~S))=F가 되므로 진리치의 배열이 일관적이지
않게 된다.
이는 전제가 모두 참일 때 결론이 거짓인 경우가 없다는 의미이다.
따라서 주어진 논증은 타당하다.
나무 방법

• 나무 분화 규칙
! 나무 방법으로 논증의 타당성을 증명하기 위해 논 P↔Q
증의 ‘전제들’과 ‘결론의 부정’을 나열한 후, 나무 P&Q PVQ P→Q --------
분화 규칙에 따라서 내려 적는다. 분화된 라인이 ---------
→→ -------- --------- P ~P
모두 모순이 되면 해당 논증은 타당한 것이고 모 P Q ~Q
Q P Q ~P Q
순이 아닌 라인이 있으면 부당한 것이다.

~(P&Q) ~(PvQ) ~(P →Q)

~(P↔Q)
---------- ---------- ------------
-------------
~P P
P ~P
~P ~Q ~Q ~Q
~Q Q

~~P
---------
P
나무 방법으로 타당한 논증 증명하기

P →Q, P // Q
나무 방법으로 타당한 논증 증명하기

~(P→~Q) v (R→~S)
P→R
R→~Q
~(P→~S)
논리적 참의 증명 (자연 연역법)

(A →B) →(~B →~(A&C))

논리적 참의 증명 (약식 진리표)

1. V((A →B) →(~B →~(A&C)))=F 로 가정

2. V(A →B)=T (1로부터)
3. V(~B →~(A&C))=F (1로부터)
4. V(~B)=T (3으로부터)
5. V(B)=F (4로부터)
6. V(~(A&C))=F (3으로부터)
7. V(A&C)=T (6으로부터)
8. V(A)=T, V(C)=T (7로부터)
9. V(A→B)=F (5, 8로부터) ➔ 2와 충돌
논리적 참의 증명 (나무 방법)

~((A →B) →(~B →~(A&C))) ➔ 증명하고자 하는 문장 전체를 부정한 후 풀어 쓴다.