논리학 첫걸음 · 3강

‘모두 그렇다’의 반대는
‘모두 아니다’일까?

전등을 켜고 끄며, ‘모두 켜져 있다’가 거짓인 경우를 찾아봅니다.

전등 여섯 개로 실험적용 문제 3개로그인 없이 학습
2강 ‘각자’와 ‘공통’ 복습하기

이번에 배울 내용‘모두 그렇다’와 ‘적어도 하나가 그렇다’의 논리적 부정을 구별합니다.

시작하기 전에 확인하세요

논리적 부정은 원래 주장이 참이면 거짓, 거짓이면 참이 되는 주장입니다. ‘모두 켜져 있지는 않다’에 ‘켜진 전등도 있어야 한다’는 조건을 덧붙이지 마세요.

전등 여섯 개를 같은 순간에 비교합니다. 각 전등은 켜짐 또는 꺼짐 중 하나이고, 상태를 모두 알고 있다고 가정합니다. 상태를 모르는 것과 전등이 꺼진 것은 다릅니다.

01 · 말의 뜻을 예상해 보기

“전등이 모두 켜져 있지는 않아요.”

전시실에는 전등이 여섯 개 있습니다. 담당자가 “모든 전등이 켜져 있습니다”라고 보고했는데, 점검하던 동료가 말합니다.

“잠깐, 모든 전등이 켜져 있는 것은 아니에요.”

이 말은 전등이 전부 꺼져 있다는 뜻일까요? 아니면 꺼진 전등이 적어도 하나 있다는 뜻일까요?

이번 수업에서는 ‘반대’를 논리적 부정의 뜻으로 살펴봅니다. 원래 주장이 참이면 거짓, 거짓이면 참이 되는 주장을 찾는 일입니다.

전등 여섯 개가 전부 꺼져 있어도, ‘모든 전등이 켜져 있는 것은 아니다’는 참일까요?

02 · 직접 켜고 끄기

몇 개를 끄면 ‘모두 켜짐’이 거짓일까요?

하나를 끈 상황과 전부 끈 상황에서 무엇이 같은지, 무엇이 달라지는지 확인해 보세요.

전시실 조명 실험

전등 여섯 개를 눌러 보세요.

켜짐 6개 · 꺼짐 0개

전등을 누를 때마다 켜짐과 꺼짐이 바뀝니다. 아래 세 주장의 참·거짓도 함께 확인하세요.

작은 도전: 몇 번 눌러야 ‘모두 켜짐’이 거짓일까요?

전등이 모두 켜진 상태에서 시작합니다. 전등 하나를 누르는 것을 한 번의 조작으로 셉니다.

① 원래 주장모든 전등이 켜져 있다.
참

여섯 개가 전부 켜져 있습니다. 꺼진 전등이 없습니다.

② ①의 논리적 부정모든 전등이 켜져 있는 것은 아니다.
거짓

꺼진 전등이 하나도 없습니다. ①이 참이므로 그 부정인 ②는 거짓입니다.

③ 전부 꺼진 상황모든 전등이 꺼져 있다.
거짓

켜진 전등이 6개 있습니다. 따라서 ‘전부 꺼짐’은 거짓입니다.

논의 영역은 이 전등 여섯 개입니다. 같은 순간의 상태를 비교하며, 각 전등은 켜짐 또는 꺼짐 중 한 상태이고 그 상태를 모두 안다고 가정합니다.

03 · 그림에서 발견한 원리

‘모두 켜짐’이 성립하지 않는 모든 경우

꺼진 전등이 하나, 둘, 또는 여섯 개여도 ‘모두 켜짐’은 거짓입니다. 이 모든 경우를 포함하는 말이 ‘적어도 하나 꺼져 있다’입니다.

여섯 개 모두 켜짐

① 모두 켜짐
참
② 모두 켜진 것은 아님
거짓
③ 모두 꺼짐
거짓

하나만 꺼짐

① 모두 켜짐
거짓
② 모두 켜진 것은 아님
참
③ 모두 꺼짐
거짓

여섯 개 모두 꺼짐

① 모두 켜짐
거짓
② 모두 켜진 것은 아님
참
③ 모두 꺼짐
참

지금 한 장면에서 두 문장이 모두 참이라고 해서 뜻까지 같은 것은 아닙니다. 논리적 부정은 이 수업에서 가능한 어느 전등 상태에서도 원래 주장과 참·거짓이 반대여야 합니다.

‘모두 켜진 것은 아니다’에는 전부 꺼진 경우도 포함됩니다. 켜진 전등과 꺼진 전등이 섞여 있어야 한다는 조건은 없습니다.

부정은 참·거짓을 뒤집습니다.

①과 ②는 항상 하나만 참입니다.

둘이 함께 참일 수도, 함께 거짓일 수도 없습니다. 이처럼 서로의 참·거짓을 완전히 가르는 두 주장은 모순 관계에 있습니다.

반례는 하나로도 충분합니다.

한 전등이 꺼져도 ‘모두 켜짐’은 거짓입니다.

하지만 그때 ‘모두 꺼짐’도 거짓일 수 있습니다. ①과 ③은 함께 거짓인 경우가 있으므로 서로의 논리적 부정이 아닙니다.

이제 부정을 기호로 볼까요?

논의 영역은 전등 여섯 개입니다. P(x)는 ‘x가 켜져 있다’, ¬는 논리적 부정을 뜻합니다. 이 수업에서는 켜짐과 꺼짐만 있으므로 ¬P(x)는 ‘x가 꺼져 있다’입니다.

¬[∀x P(x)] ≡ ∃x ¬P(x)

모든 전등이 켜져 있는 것은 아니다.
적어도 한 전등이 꺼져 있다.

¬[∃x P(x)] ≡ ∀x ¬P(x)

켜진 전등이 적어도 하나 있다는 것은 사실이 아니다.
모든 전등이 꺼져 있다.

이 두 동치를 양화사 부정 법칙으로 정리합니다. 양화사 바깥의 부정을 안쪽으로 옮길 때 ∀와 ∃도 서로 바뀝니다.

이 수업에서 ≡는 두 식이 같은 해석에서 항상 같은 참·거짓을 갖는다는 논리적 동치 표시입니다. 새로운 논리 연결사로 사용하지 않습니다. 대괄호는 부정할 주장을 묶습니다.

일상 표현이 애매할 때에는 어떻게 할까요?

“모두 안 켜졌어요”는 문맥에 따라 전부 꺼졌다는 뜻으로도, 전부 켜진 것은 아니라는 뜻으로도 들릴 수 있습니다. “꺼진 전등이 적어도 하나 있습니다”와 “켜진 전등이 하나도 없습니다”처럼 뜻을 풀어 써 보세요.

‘모두는 아니다’라는 말에서 일부는 그럴 것이라는 뉘앙스를 느낄 수도 있습니다. 이 수업에서는 원래 주장의 논리적 부정을 분명히 정해, 전부 해당하지 않는 경우도 포함합니다.

04 · 다른 문제에도 써보기

교육·검사·관측 문제를 풀어 보세요.

대상과 성질을 바꾸어 보세요. 부정할 주장이 ‘모두’인지 ‘적어도 하나’인지 먼저 확인합니다.

1. 직원 교육 보고서 고치기

직원 네 명의 교육 기록을 확인했습니다. 민지·준호·서연은 교육을 마쳤고, 도윤은 아직 마치지 않았습니다.

민지이수
준호이수
서연이수
도윤미이수
‘모든 직원이 교육을 마쳤다’의 논리적 부정은 무엇인가요?

2. 전부 미통과여도 ‘모두 통과한 것은 아니다’

제품 여섯 개를 검사한 뒤 ‘모든 제품이 검사를 통과한 것은 아니다’라는 보고만 받았습니다. 각 제품의 결과는 통과 또는 미통과 중 하나입니다.

검사를 통과한 제품 수로 가능한 것은 무엇인가요?

3. ‘적어도 하나’를 부정해 보기

관측소의 센서는 네 개입니다. ‘적어도 한 센서가 작동한다’라는 주장을 논리적으로 부정하려고 합니다. 각 센서는 작동 또는 미작동 중 한 상태입니다.

원래 주장과 항상 참·거짓이 반대가 되는 문장은 무엇인가요?

적용 문제 0 / 3개 해결

오늘의 정리

‘모두’와 ‘적어도 하나’의 부정을 구별합니다.

  1. ‘모두 그렇다’의 부정은 ‘적어도 하나가 그렇지 않다’입니다.
  2. ‘적어도 하나가 그렇다’의 부정은 ‘하나도 그렇지 않다’입니다.
  3. 원래 주장과 그 논리적 부정은 같은 상황에서 항상 하나만 참입니다.
  4. ‘모두는 아니다’에 ‘일부는 그렇다’라는 조건을 덧붙이지 않습니다.

출처와 설명의 범위

내용 보완: 2026년 9월 28일 · 기존 강의와 체험 활동을 유지했습니다.

고전 일차논리의 부정과 전칭·존재 양화사를 다룹니다. 전등 이야기, 조작 활동과 적용 문제는 한국논리학협회가 이 수업을 위해 구성했습니다. 서로 다른 논리 체계의 부정은 후속 학습에서 다룹니다.

전등이 여섯 개 존재하고 각 상태가 완전히 알려진 예입니다. 논의 대상을 정하는 방법과 빈 부류의 문제는 논의 영역 항목에서 확인할 수 있습니다.