진리표를 이용한 타당성 증명 진리표(truth table) : 단순 문장들이 진리값을 상이하게 가질 수 있는 가능한 모든 경우를 남김없이 열거한 표 (ex) 오늘은 날씨가 맑거나 비가 올 것이다. 오늘은 날씨가 맑다 비가 온다 오늘은 날씨가 맑거나 비가 올 것이다. T.

Presentation on theme: "진리표를 이용한 타당성 증명 진리표(truth table) : 단순 문장들이 진리값을 상이하게 가질 수 있는 가능한 모든 경우를 남김없이 열거한 표 (ex) 오늘은 날씨가 맑거나 비가 올 것이다. 오늘은 날씨가 맑다 비가 온다 오늘은 날씨가 맑거나 비가 올 것이다. T."— Presentation transcript:

1 진리표를 이용한 타당성 증명 진리표(truth table) : 단순 문장들이 진리값을 상이하게 가질 수 있는 가능한 모든 경우를 남김없이 열거한 표 (ex) 오늘은 날씨가 맑거나 비가 올 것이다. 오늘은 날씨가 맑다 비가 온다 오늘은 날씨가 맑거나 비가 올 것이다. T F

2 다음 논증의 타당성 여부를 진리표를 이용하여 검사하시오.
“카이사르가 정당하지 않은 방법으로 권력을 찬탈했다면, 그는 비난 받아 마땅하다. 카이사르는 합법적인 황제였거나, 정당하지 않은 방법으로 권력을 찬탈했다. 카이사르는 합법적인 황제였다. 따라서 그가 비난 받아 마땅하다는 것은 옳지 않다.”

3 증명의 절차 [1] 논증에 사용된 단순문장을 확인한다. - 카이사르는 정당하지 않은 방법으로 권력을 찬탈했다.
- 카이사르는 비난 받아 마땅하다. - 카이사르는 합법적인 황제였다.

4 [2] 편의상 각각의 단순문장과 논리적 연결사를 기호화한다
- 카이사르는 정당하지 않은 방법으로 권력을 찬탈했다. (A) - 카이사르는 비난 받아 마땅하다. (B) - 카이사르는 합법적인 황제였다. (C) 부정(∼), 연언(&), 선언(∨), 조건(→), 쌍조건(↔)

5 [3] 지정한 기호를 써서 논증을 번역한다 A→B, C∨A, C, // ∼B [4] 논증의 전제와 결론을 모두 포함하는 진리표를 그린다.

6 A B C A→B C∨A ∽B

7 A B C A→B C∨A ∽B T F

8 [5] 전제들이 모두 참이고 결론이 거짓인 가로줄이 한 줄이라도 있는지 확인한다.
A B C A→B C∨A ∽B T F

9 [6] 전제들이 모두 참이면서 결론이 거짓인 가로줄이 한 줄이라도 있으면, 그 논증은 비타당한 것이며, 그런 가로줄이 한 줄도 없다면, 그 논증은 타당한 것이다.

10 다음 논증의 타당성을 진리표를 이용하여 검증하시오.
다음 논증의 타당성을 진리표를 이용하여 검증하시오. 만일 영준이 외무고시에 합격한다면, 그는 직업 외교관이 될 것이다. 영준은 직업 외교관이 되지 않는 한 대사가 되지 못할 것이다. 영준은 외무고시에 합격하지 못하거나 또는 대사가 되지 못할 것이다. 그러므로 영준은 직업 외교관이 되지 못할 것이다. 길수는 소설가가 아니거나 또는 시인이 아니다. 길수는 시인이거나 또는 출판인이다. 길수는 출판인이 아니거나 또는 시인이다. 그러므로 길수는 소설가가 아니다.

11 만약 물질이 존재한다면 오직 그 경우에만 버클리의 주장은 옳지 않다. 그런데 물질이 존재해야만 내 몸도 존재하는 법이다
만약 물질이 존재한다면 오직 그 경우에만 버클리의 주장은 옳지 않다. 그런데 물질이 존재해야만 내 몸도 존재하는 법이다. 따라서 내 몸이 존재하거나 아니면 버클리의 주장은 옳지 않다. A ↔ ~B, C → A (or ~A → ~C) // ~B v C A B C A ↔ ~B C → A (or ~A → ~C) ~B v C T T T F T T T T F F T F T F T T T T F T T T T T T F F T F T F T F T T F F F T F F T F F F F T T