5강 / 20강

한정기호 — 모든 것과 어떤 것

∀ 와 ∃, 그리고 그 부정

1강에서 남겨 둔 숙제가 있었죠. x > 3 은 x를 모르니 참·거짓을 말할 수 없어 명제가 아니었습니다. 이런 것을 명제함수 P(x) 라고 부릅니다 — 값을 넣어야 참·거짓이 정해지는 틀이에요.

그런데 x를 정하지 않고도 명제로 만드는 방법이 있습니다. 범위 전체에 대해 말해 버리는 거예요.

∀

전칭 (모든)

"모든 x에 대해 P(x)"
하나라도 어기면 거짓

∃

존재 (어떤)

"어떤 x가 있어 P(x)"
하나만 찾으면 참

파이썬에는 이 둘이 그대로 들어 있습니다 — all() 과 any() 예요.

고등학생모든 것과 어떤 것

1강에서 남겨 둔 숙제를 이제 풉니다.

x > 3 에 범위를 붙이면 명제가 된다

기호	읽는 법	참이려면
∀	모든 · 임의의	전부 참
∃	어떤 · 존재한다	하나라도 참

∀ 는 AND 를 무한히, ∃ 는 OR 를 무한히 한 것이다

이 관점이 유용합니다

한정기호	유한할 때
∀x∈{1,2,3} P(x)	P(1) ∧ P(2) ∧ P(3)
∃x∈{1,2,3} P(x)	P(1) ∨ P(2) ∨ P(3)

2강의 연산이 무한으로 확장된 것뿐이다

그러면 부정도 짐작됩니다

원래	부정
¬∀x P(x)	∃x ¬P(x)
¬∃x P(x)	∀x ¬P(x)

드모르간이 그대로 확장된다 — ∀↔∃ 가 뒤바뀐다

말로 읽어 보면

부정	일상어
"모두 착하다" 의 부정	"한 명이라도 안 착하다" ✔
"아무도 안 왔다" 의 부정	"누군가 왔다" ✔

외울 필요가 없다 — 말로 읽으면 자연스럽다

all() 이 ∀, any() 가 ∃ 입니다.

Python 브라우저에서 실행

점수들 = [88, 92, 75, 100, 64]

# ∀x P(x) — 모든 점수가 60 이상인가?
print("모든 학생이 60점 이상? ", all(점 >= 60 for 점 in 점수들))

# ∃x P(x) — 100점인 학생이 있는가?
print("100점인 학생이 있다?  ", any(점 == 100 for 점 in 점수들))

# ∀ 는 반례 하나면 무너집니다
print("모든 학생이 90점 이상? ", all(점 >= 90 for 점 in 점수들), "← 75점 때문에 거짓")

🎮 범위를 바꿔 가며 확인해 보세요

학생 명단을 놓고 조건을 걸어 보세요. ∀는 반례 하나에 무너지고, ∃는 증인 하나면 선다는 것을 눈으로 확인할 수 있습니다.

고등학생범위를 빼먹으면 안 됩니다

note 의 경고가 수학 서술의 기본입니다.

같은 식이 범위에 따라 참도 거짓도 된다

예를 들면

명제	참/거짓
∀x∈자연수, x² ≥ x	참
∀x∈실수, x² ≥ x	거짓 (x=0.5) ⚠

범위가 넓어지면 ∀ 는 깨지기 쉬워진다

반대로 ∃ 는

범위	∃ 가
좁다	거짓이 되기 쉽다
넓다	참이 되기 쉽다

∀ 와 ∃ 는 범위 변화에 반대로 반응한다

실전에서의 실수

논문이나 보고서에서 범위를 안 밝히면 읽는 사람이 다르게 이해합니다.

애매한 서술	물어야 할 것
"이 방법이 더 낫다"	어떤 자료에서?
"모든 환자에서 효과"	어느 집단의 환자?

"모든" 이 나오면 "어디의 모든" 인지 확인한다

비유 — 학교 규칙

규칙	적용 범위
"모두 교복을 입는다"	우리 학교에서
—	다른 학교는 모른다

규칙에는 적용 범위가 따라붙는다 — 안 쓰면 오해가 생긴다

3강의 '공허한 참'이 여기서 다시 나옵니다.

Python 브라우저에서 실행

# 빈 목록의 함정 — 공허한 참이 여기서도 나옵니다
빈목록 = []
print("빈 목록에 all() →", all(x > 100 for x in 빈목록), "← 어길 원소가 없어 참")
print("빈 목록에 any() →", any(x > 100 for x in 빈목록), "← 증인이 없어 거짓")
print()
print("'우리 반 모든 유니콘은 날 수 있다' 는 참입니다. 유니콘이 없으니까요.")

부정하면 뒤바뀝니다

이 강의에서 가장 실수하기 쉬운 부분입니다. 천천히 봅시다.

¬(∀x P(x)) ≡ ∃x ¬P(x)
"모든 학생이 왔다"의 부정은 "안 온 학생이 한 명이라도 있다"입니다. "모든 학생이 안 왔다"가 아닙니다.
¬(∃x P(x)) ≡ ∀x ¬P(x)
"지각한 학생이 있다"의 부정은 "모든 학생이 지각하지 않았다"입니다.

드모르간 법칙(2강)의 확장판이라고 보면 됩니다. ∀는 무한한 ∧이고, ∃는 무한한 ∨니까요.

반례를 하나 찾으면 ∀ 명제는 끝납니다.

Python 브라우저에서 실행

학생들 = [("민준", True), ("서연", True), ("지호", False), ("하윤", True)]   # (이름, 출석)

모두_왔다 = all(출석 for _, 출석 in 학생들)
안_온_사람_있다 = any(not 출석 for _, 출석 in 학생들)

print("∀ 모두 왔다        :", 모두_왔다)
print("¬∀ 의 올바른 형태  : ∃ 안 온 사람이 있다 →", 안_온_사람_있다)
print("두 값은 반대인가?  :", 모두_왔다 != 안_온_사람_있다, "← 언제나 반대입니다")
print()
print("안 온 사람:", [이름 for 이름, 출석 in 학생들 if not 출석], "← 이것이 '반례'입니다")

고등학생순서를 바꾸면 뜻이 달라집니다

note 의 이 경고가 수학에서 가장 미묘한 부분 중 하나입니다.

∀∃ 와 ∃∀ 는 완전히 다른 말이다

예로 보면

식	일상어
∀x ∃y (y 는 x 의 어머니)	"모두에게 어머니가 있다" ✔
∃y ∀x (y 는 x 의 어머니)	"한 사람이 모두의 어머니다" ⚠

앞의 것은 참, 뒤의 것은 거짓 — 순서만 바꿨다

차이의 핵심

순서	y 가
∀x ∃y	x 마다 달라도 된다
∃y ∀x	하나로 고정돼야 한다 ⭐

뒤쪽이 훨씬 강한 주장이다

같은 것끼리는 바꿔도 됩니다

순서 교환	가능한가
∀x ∀y	된다 ✔
∃x ∃y	된다 ✔
∀x ∃y	안 된다 ⚠

섞였을 때만 조심하면 된다

실생활 예

말	뜻
"모든 자물쇠에 맞는 열쇠가 있다"	자물쇠마다 열쇠가 있다
"모든 자물쇠를 여는 열쇠가 있다"	마스터키가 있다 ⭐

한국어도 어순으로 이 차이를 표현한다 — 읽을 때 조심하자

고등학생꼭 기억하세요

5강의 정리와 다른 과목과의 연결입니다.

∀ 는 반례 하나로 깨지고, ∃ 는 예 하나로 증명된다

이 비대칭이 중요합니다

주장	증명	반박
∀ (모두 그렇다)	어렵다 — 전부 봐야	쉽다 — 하나만 ✔
∃ (하나 있다)	쉽다 — 하나만 ✔	어렵다 — 전부 봐야

6강의 반례가 왜 강력한지가 여기서 나온다

과학에서도 같습니다

주장	—
"모든 백조는 희다"	백만 마리를 봐도 증명 못 한다
—	검은 백조 한 마리면 반박된다 ⭐

과학 이론은 반증 가능해야 한다 — 포퍼의 기준

코드에서

all(조건(x) for x in 목록)    # ∀ — 하나라도 거짓이면 False
any(조건(x) for x in 목록)    # ∃ — 하나라도 참이면 True

함수	언제 멈추나
`all`	첫 거짓에서 ⭐
`any`	첫 참에서

단축 평가가 논리 그대로 구현돼 있다 — 반례를 찾으면 끝난다

빈 목록에서는

—	결과
`all([])`	True — 3강의 공허한 참
`any([])`	False

3강의 공허한 참 이 코드에도 그대로 있다

🤔 확인 문제

"모든 서버가 정상이다"의 부정으로 옳은 것은?

해설 ¬∀ ≡ ∃¬ 입니다. 단 한 대만 이상해도 "모든 서버가 정상"은 무너집니다. ①처럼 전부 비정상일 필요는 전혀 없어요.

🤔 확인 문제

all(x > 0 for x in []) 의 결과는?

해설 공허한 참입니다. ∀는 "어기는 것이 하나도 없다"는 뜻인데, 원소 자체가 없으니 어길 것도 없어요. 반대로 any()는 증인이 필요하므로 빈 목록에서 False가 됩니다.

🤔 확인 문제

"어떤 사람은 모든 언어를 안다" 와 "모든 언어는 그것을 아는 사람이 있다" 의 관계는?