제2장 3절 연역 논증

논리와 사고
04-2강
김영례
 알아야 할 유익한 논리학 기호들

기호 이름 복합 명제 기호화
∼ 부정 철수는 학생이다(p) / 철수는 학생이 아니다. ∼p

→ 조건 만일 이것을 무단으로 사용하면(p), 처벌받는다.(q) p→q

∨ 선언 오늘 저녁에는 삼겹살(p)이나 계란찜(q)을 해먹자. p∨q

∧ 연언 나는 오늘 강의(p)도 듣고 과제(q)도 할 것이다. p∧q

명제(Proposition, 命題): 참이거나 거짓인, 즉 진리값을 갖는 문장

논리와사고 04-2강 2
 타당한 연역 논증의 형식

❖ 전건 긍정 논증 ❖ 후건 부정 논증 ❖ 조건삼단 논증

p→q p→q p→q

P ~q q→ r
∴ q ∴ ~p ∴p→r

pvq pvq
❖ 선언지 부정 논증
~P ~q
∴ q ∴ p
논리와사고 04-2강 3
 1. 다음에서 타당한 논증이라고 볼 수 없는 것은? (3) (교재 44쪽 2번)

① 이 꽃이 모란꽃이라면(p) 향기가 나지 않을 것이다.(~q) 그런데 이 꽃에서는 p → ~q

q
향기 난다.(q) 그러므로 이 꽃은 모란꽃이 아닌 것이 분명하다.(~p) ~(~q) ∴ ~p
≡ q 후건부정논증=타당
② 만일 인간의 행위가 통제할 수 없는 원인에 의해 일어난다면(p), 그 행위에 p → ~q
p
대해서는 비난도 칭찬도 할 수 없을 것이다.(~q) 인간의 행위가 통제할 수 없 ∴~q
는 원인에 의해 일어났다고 생각할 만한 충분한 이유가 있다.(p) 따라서 인간
의 행위에 대해 어떤 비난이나 칭찬도 할 수 없다.(~q)전건긍정논증=타당
pvq
③ 플라톤은 철학자(p)이거나 남자(q)이다. 플라톤은 철학자(p)이다. 따라서 플 p
라톤은 남자가 아니다.(~q) 선언지긍정논증=부당 ∴ q
④ 만일 내가 공부를 열심히 한다면(p), 장학금을 받게 될 것이다(q). 만일 내가 p→q
장학금을 받는다면(q), 부모님이 기뻐하실 것이다(r). 따라서 내가 공부를 열 q→ r
∴p→r
심히 한다면(p), 부모님이 기뻐하실 것이다(r). 조건삼단논증=타당
⑤ 모든 여우는 젖으로 새끼를 키운다. 그러니 한반도 붉은 여우도 젖으로 새끼 A=B
C=A
를 키울 것이다. A=B, C=A, ∴ C=B 타당 ∴C=B

논리와사고 04-2강 4
2. A 교수는 월요일부터 목요일까지 강의한다. 그는 학생들에게 다음 주 월요일부터
토요일까지 중에서 다음 정보로부터 추론될 수 있는 요일(들)에 시험을 볼 것이라고
했다. 시험은 며칠에 나누어 볼 수도 있다. 시험을 볼 요일(들)은? (1) (교재 44쪽 1번)

* 목요일에 시험을 본다면, 토요일에도 시험을 볼 것이다.

* 월요일에 시험을 보지 않는다면, 화요일이나 목요일에 시험을 볼 것이다.

* 월요일에 시험을 본다면, 수요일에 시험을 보지 않을 것이다.

* 화요일에 시험을 본다면, 목요일이나 금요일에는 시험을 볼 것이다.

* A 교수가 강의하지 않는 날에는 시험을 보지 않을 것이다.

①월 ②화 ③수 ④ 월, 화 ⑤ 화, 목

논리와사고 04-2강 5
❖ 월요일부터 목요일까지 강의
❖ 시험은 며칠에 나누어 볼 수도 있다. 시험을 볼 요일(들)은?
기 호 화, 하라!
* 목요일에 시험을 본다면, 토요일에도 시험을 볼 것이다.
①목 → 토
* 월요일에 시험을 보지 않는다면, 화요일이나 목요일에 시험을 볼 것이다.
② ~월 → 화 V 목
* 월요일에 시험을 본다면, 수요일에 시험을 보지 않을 것이다. ③ 월 → ~수
④화 → 목 V 금
* 화요일에 시험을 본다면, 목요일이나 금요일에는 시험을 볼 것이다.
⑤ ~금
* A 교수가 강의하지 않는 날에는 시험을 보지 않을 것이다. ⑥ ~토

① 과 ⑥: 목 → 토, ~토, ∴ ~목 (후건부정 사용)

④ 와 ⑤: 목 v 금, ~금, ∴ 목(선언지부정 사용) : 화→목, ~목, ∴ ~화 (후건부정 사용)
② : ~월 → 화, ~화, ∴ 월(후건부정 사용)
③ : 월 → ~수, 월, ∴ ~수(전건긍정 사용) ❖ 이중 부정: 부정의 부정 = 긍정
결론: 월요일에 시험을 본다. ~(~p) = p
논리와사고 04-2강 6
3. 다음에서 타당한 연역 논증이라고 할 수 없는 것은? ( 5 )
① 영희는 상수를 좋아하거나 영수를 좋아한다. 영희는 영수를 좋아하지 않는다. 따라서 상수 ∨ 영수
영희는 상수를 좋아한다. 선언지부정논증= 타당 ~영수
∴ 상수

② 정희가 심리학을 듣는다면, 정희는 정치학을 듣지 않는다. 정희가 정치학을 듣지 않는 심리학 → ~정치학
다면, 정희는 사회학도 듣지 않는다. 따라서 정희가 심리학을 듣는다면, 정희는 사회학 ~정치학 → ~사회학
을 듣지 않는다. 타당한 조건삼단논증 ∴ 심리학→ ~사회학

③ 박쥐가 탁월한 청각능력이 없다면, 어둠 속을 빠르게 날아갈 수 없다. 박쥐는 빠르게 어 ~p → ~q

둠 속을 날아갈 수 있다는 것이 확인되었다. 그러므로 박쥐의 청각능력이 탁월함이 분 q
∴ p
명하다. 후건부정논증 =타당

④ 오전 중에 과제를 모두 끝낸다면, 나는 저녁에 여자친구를 만날 수 있다. 점심 먹기 전 p→q

까지 나는 과제를 모두 마쳤다. 나는 오늘 밤에 여자친구와 데이트를 할 것이다. p
∴ q
전건긍정논증= 타당
⑤ 내가 공부를 열심히 한다면, 나는 좋은 학점을 받을 것이다. 내가 장학금을 받는다면, p→q
나는 좋은 학점을 받을 것이다. 따라서 내가 공부를 열심히 한다면, 나는 장학금을 받을 r →q
것이다. 조건삼단논증= 부당(매개어가 둘 다 후건에 있음) ∴ p→r

논리와사고 04-2강 7
 4. 다음에서 타당한 논증은? ( 1 )

① 만일 희수가 중국에 있다면, 희수는 아시아에 있다. 희수가 아시아에 있다면, 희 중국 → 아시아
수는 태국에 있다. 따라서 희수가 중국에 있다면, 희수는 태국에 있다. 타당 아시아 → 태국
∴ 중국→ 태국
② 오늘 비가 오면 소풍이 연기된다. 소풍이 연기되었다. 따라서 오늘 비가 온 것이
오늘비 → 소풍연기
분명하다. 후건긍정논증= 부당 소풍연기
∴ 오늘비
③ 논리학을 듣거나 수학을 들어야 한다. 나는 논리학을 듣기로 했다. 따라서 나는
수학을 듣지 않는다. 선언지긍정논증= 부당 논리학 ∨ 수학
논리학
④ 만일 철수가 영희하고 사귀지 않는다면(~p), 은수하고 영화관에 올 것이 ∴ ~수학
다.(q) 철수의 블로그에 영희와 둘이서 다정하게 찍은 사진이 몇 장 있는 것
~p → q
을 보니까, 철수가 은수하고 영화관에 올 일은 없을 것 같다.전건부정=부당
p
∴ ~q
⑤ 철수나 영수가 <비판적 사고>를 들으면, 영희도 <비판적 사고>를 듣는다. 철수
와 영수 모두 <비판적 사고>를 듣지 않는다. 따라서 영희는 비판적 사고를 듣지 (철수∨영수) → 영희
않는다. 드 모르간 규칙 전건부정논증=부당 ~철수∧~영수
∼(p∧q) ≡ ∼p∨∼q ~(철수∨영수) ≡ ~철수∧~영수 ∴ ~영희
∼(p∨q) ≡ ∼p∧∼q
논리와사고 04-2강 8
 5. 다음에서 타당한 논증을 모두 고르면? ( 2, 5 )
∴∴
① 순이가 물리학을 듣는다면, 순이는 논리학을 듣지 않는다. 순이가 심리학 물리학 → ~논리학
을 듣는다면, 순이는 논리학을 듣지 않는다. 따라서 순이가 물리학을 듣 심리학 → ~논리학
∴ 물리학→ 심리학
는다면, 순이는 심리학을 듣는다. 부당한 조건삼단논증
철이 → 삼순
② 철이가 심리학을 듣는다면, 삼순이가 심리학을 듣는다. 삼순이가 심리학 ~삼순
을 듣지 않는다. 따라서 철이가 심리학을 듣지 않는다. 후건부정=타당 ∴ ~철이

③ 원이가 학교에 다닌다면, 그는 공부를 열심히 할 것이다. 원이는 학교에 학교 → 열공

다니지 않는다. 그러므로 그는 공부를 열심히 하지 않는다. 전건부정,부당 ~학교
∴ ~열공

④ 순이가 <논리와사고> 동영상을 보았다면, 순이는 문제를 잘 풀 수 있을 동영상 → 문잘풀

것이다. 순이는 문제를 잘 풀었다. 그러므로 순이가 <논리와사고> 동영 문잘풀
상을 본 것이 틀림없다. 후건긍정=부당 ∴ 동영상

⑤ 영희와 정희는 핸드폰을 바꾼다. 영희가 핸드폰을 바꾸면, 민수도 핸드폰 영희 → 민수 정희 → 민수

영희 정희
을 바꾼다. 정희가 핸드폰을 바꾸면, 민수도 핸드폰을 바꾼다. 따라서 민 ∴ 민수 ∴ 민수
수는 핸드폰을 바꾼다. 전건긍정논증=타당
논리와사고 04-2강 9
6. 다음 진술들 중에서 참인 것을 모두 고르면? (교재 48쪽 8번)

㈀ 모든 전제들이 참이면서 결론이 거짓인 타당한 논증이 가능하다.

㈁ 타당한 논증이 거짓인 결론을 갖는다면, 그 논증의 모든 전제들이 참인 것은 아니다.
㈂ 타당하지만 결론이 거짓인 논증이 가능하다.
㈃ 만일 한 논증이 건전하지 않으면, 그 논증은 거짓된 결론을 갖는다.
㈄ 타당하지는 않지만 건전한 논증이 가능하다.
㈅ 만일 어떤 논증이 건전하면, 그 논증의 전제들은 참이어야 한다.

① ㈀, ㈂, ㈄ ② ㈁, ㈃, ㈄ ③ ㈁, ㈂, ㈅
④ ㈃, ㈄, ㈅ ⑤ ㈂, ㈃, ㈅
논리와사고 04-2강 10
6. 다음 진술들 중에서 참인 것을 모두 고르면? ( 3 ) 48쪽 8번
㉠ 모든 전제들이 참이면서 결론이 거짓인 타당한 논증은 가능하다.
→ 모든 전제들이 참이면서 타당한 논증이라면 결론도 반드시 참이어야 한다. 따라서 거짓
㉡ 타당한 논증이 거짓인 결론을 갖는다면, 그 논증의 모든 전제들이 참인 것은 아니다.
→ 전제 중에 거짓이 있으면 결론도 거짓인데, 그럼에도 타당한 논증이 된다. 따라서 참 (예: 모든 인간 식물)
㉢ 타당하지만 결론이 거짓인 논증이 가능하다. → ㉡과 동일. 따라서 참
㉣ 만일 한 논증이 건전하지 않으면, 그 논증은 거짓된 결론을 갖는다. 거짓 (아래 설명 참조)
㉤ 타당하지는 않지만 건전한 논증이 가능하다.
→ 건전한 논증이기 위해서는 반드시 타당해야 한다. 따라서 거짓
㉥ 만일 어떤 논증이 건전하면, 그 논증의 전제들은 참이어야 한다.
→ 건전한 논증이기 위한 조건 중 하나가 전제의 진리성이다. 따라서 참

① ㉠, ㉢, ㉤ ㉣ 만일 한 논증이 건전하지 않으면, 그 논증은 거짓된 결론을 갖는다.

② ㉡, ㉣, ㉤ 예) 후건긍정논증: 만일 비가 오면, 우리집 앞마당 땅이 젖는다.
우리집 앞마당 땅이 젖었다.
③ ㉡, ㉢, ㉥ 그러므로 비가 왔다.
④ ㉣, ㉤, ㉥ → 전제가 모두 참이라 할지라도 결론이 참인지 거짓인지 알 수 없는 논증
❖ 후건긍정논증: 부당하므로 건전하지 않으면서 결론의 거짓을 알 수 없음.
⑤ ㉢, ㉣, ㉥
논리와사고 04-2강 11
수고하셨습니다.~~
연역 논증은 수학적이라 중요한 공식은 암기해야 합니다.
공식만 머리 속에 있으면 곧바로 쉽게 문제가 풀어집니다.
▪ 전건 긍정논증,
▪ 후건 부정논증,
▪ 조건 삼단논증,
▪ 선언지 부정논증
타당한 연역 논증 형식, 반드시 기억해야 합니다.

논리와사고 04-2강 12