논리와 추론 기본 공식(정리)

 

목차

기호설명
타당한 논증 유형
부당한 논증 유형

---

기호 설명 

기호	뜻
~	not, 부정
∧	and, 그리고, 교집합
∨	or, 또는, 합집합

---

타당한 논증 유형

 

1. 전건 긍정논증

A 이면 B이다. A이다. 따라서 B이다.

2. 후건 부정논증

A이면 B이다. ~B이다. 따라서 ~A이다.

3. 조건 삼단논증

A이면 B이다. B이면 C이다. A이다. 따라서 C이다.

4. 선언 삼단논증

A또는 B이다. case 1 : ~A이다. 따라서 B이다. case 2 : ~B이다. 따라서 A이다.

---

부당한 논증 유형

1. 후건 긍정 오류

A이면 B이다. B이다. 따라서 A이다. ex) 오늘 비가 오면, 우리 집 앞마당 땅이 젖는다. 우리 집 앞마당 땅이 젖었다. 따라서 비가 왔다. -> 비가 오지않고 내가 물을 뿌렸을 수도 있으므로 오류

2. 전건 부정 오류

A이면 B이다. ~A이다. 따라서 ~B이다. ex) 오늘 비가 오면, 우리 집 앞마당 땅이 젖는다. 오늘 비가 오지 않았다. 따라서 오루집 앞마당 땅이 젖지 않았다.   비가 오지않아도 내가 물을뿌려서 젖었을 수도 있다.

3. 선언지 긍정의 오류

A또는 B이다. A이다. 따라서 ~B이다. ex) 장동건은 잘생기거나 키가 크다. 장돈건은 잘생겼다. 따라서 장동건은 키가 작다. 그러나 키가 클 수도 있으므로 오류이다.