명제는 참·거짓을 분명히 판별할 수 있는 문장이다. "~이면 ~이다"의 논리를 다루는 법 — 역·이·대우, 충분·필요조건, 증명 — 은 수학뿐 아니라 법률·프로그래밍·토론의 뼈대다. AI가 추론하는 방식도 이 논리 위에 있다.
🧠
아리스토텔레스 → 불 대수 → 컴퓨터
고대 아리스토텔레스의 삼단논법에서 시작한 논리는, 19세기 불(Boole)이 참=1·거짓=0의 대수로 바꿨다. 이 불 대수가 오늘날 모든 컴퓨터의 회로와 조건문이 되었다.
🔀 역 · 이 · 대우
원명제 "x = 3 이면 x² = 9 이다" 에서 만든 네 문장. 카드를 눌러 참·거짓을 확인하자.
원명제 p → q
x = 3 이면 x² = 9
눌러서 참·거짓 ▾
참 ✓ (3² = 9)
역 q → p
x² = 9 이면 x = 3
눌러서 참·거짓 ▾
거짓 ✗ (x = −3 반례)
이 ~p → ~q
x ≠ 3 이면 x² ≠ 9
눌러서 참·거짓 ▾
거짓 ✗ (x = −3 반례)
대우 ~q → ~p
x² ≠ 9 이면 x ≠ 3
눌러서 참·거짓 ▾
참 ✓ (원명제와 동치)
✅ 핵심 — 대우는 원명제와 동치
원명제와 대우는 참·거짓이 항상 같다(동치). 역과 이도 서로 동치. 그래서 어떤 명제를 직접 증명하기 어려우면 대우를 증명한다(대우법).
⚠️ 흔한 오해
원명제가 참이라고 역이 참인 것은 아니다. 위에서 "x=3 → x²=9"는 참이지만 역 "x²=9 → x=3"은 거짓(x=−3). 참·거짓을 뒤집는 건 반례 하나면 충분.
🚫 명제의 부정 — 모든·어떤과 드모르간
조건 $p$ 의 부정 $\sim p$ 의 진리집합은 $P^c$ 다. 부정할 때 함께 바뀌는 것이 두 가지 있다. ① 또는 ↔ 그리고(드모르간): "$a \gt 1$ 또는 $b \gt 1$" 의 부정은 "$a \le 1$ 이고 $b \le 1$". ② 모든 ↔ 어떤: "모든 $x$ 에 대하여 $p(x)$" 의 부정은 "어떤 $x$ 에 대하여 $\sim p(x)$", "어떤" 의 부정은 "모든". 양화사와 조건을 함께 바꿔야 한다. 부등호를 부정하면 등호가 넘어온다: $\gt$ 의 부정은 $\le$, $\le$ 의 부정은 $\gt$.
🧩 대우법과 귀류법 — 무엇을 가정하나
대우법: $p \to q$ 대신 대우 $\sim q \to \sim p$ 를 증명한다. 즉 $\sim q$ 하나를 가정하고 $\sim p$ 를 보인다. 귀류법: 결론을 부정한 것을 가정에 함께 놓고($p$ 이면서 $\sim q$) 모순을 이끌어 낸다. 예 — "$n^2$ 이 짝수이면 $n$ 은 짝수" 를 대우법으로 증명하면, 가정은 "$n$ 은 홀수" 이고 보여야 할 것은 "$n^2$ 은 홀수" 다. $n = 2k-1$ 이면 $n^2 = 2(2k^2-2k)+1$ 로 홀수다.
⚖️ 충분조건과 필요조건
✅ 정의
명제 $p \to q$ 가 참일 때, $p$ 는 $q$ 이기 위한 충분조건, $q$ 는 $p$ 이기 위한 필요조건. $p \to q$ 와 $q \to p$ 가 모두 참이면 $p \leftrightarrow q$ 로 필요충분조건(서로 동치).
🧭 집합으로 이해하기
조건을 만족하는 원소의 집합을 $P, Q$ 라 하면, $p \to q$ 가 참 $\iff$ $P \subset Q$. "작은 쪽이 충분, 큰 쪽이 필요" — 충분조건의 집합이 필요조건의 집합에 포함된다.
🔎 예제
$p$: "$x$ 는 $4$ 의 배수", $q$: "$x$ 는 $2$ 의 배수". $4$ 의 배수는 모두 $2$ 의 배수이므로 $P \subset Q$, 즉 $p \to q$ 참. 따라서 $p$ 는 충분조건, $q$ 는 필요조건. (역은 거짓: $6$ 은 $2$ 의 배수지만 $4$ 의 배수 아님.)
💬 일상 비유
"서울에 산다"($p$) → "한국에 산다"($q$). 서울 거주는 한국 거주의 충분조건(서울이면 반드시 한국), 한국 거주는 서울 거주의 필요조건(한국이 아니면 서울일 수 없음).
🔗 진리집합으로 옮기기 — 부정은 여집합
$p \to q$ 가 참 $\iff P \subset Q$. 부정이 붙으면 여집합으로 바꾼다. $p \to \sim q$ 가 참 $\iff P \subset Q^c \iff P \cap Q = \varnothing$ (두 집합이 겹치지 않는다). 필요충분조건은 $P = Q$ 일 때다. 한쪽 포함만 보고 필요충분이라고 하지 않는다 — 반대 방향도 따로 확인한다.
🎯 조건에 미지수가 있을 때 — 끝점을 직접 확인
"$p$ 가 $q$ 이기 위한 충분조건" 이 되게 하는 미지수의 범위는 $P \subset Q$ 를 왼쪽 끝·오른쪽 끝 두 부등식으로 나눠 세운다. 예 — $P = [a,\ a+2]$, $Q = [-1,\ 4]$ 이면 $a \ge -1$ 이고 $a + 2 \le 4$, 즉 $-1 \le a \le 2$. 끝이 맞닿는 경우는 대개 포함된다. 등호를 뺄지 말지는 그 값을 직접 대입해 확인한다.
📈 절대부등식 — 산술·기하 평균
두 양수 $a, b$ 를 바꿔 보자. 산술평균 $\frac{a+b}{2}$ 은 항상 기하평균 $\sqrt{ab}$ 보다 크거나 같다. 언제 같아질까?
a2
b8
산술 (a+b)/2
5
기하 √(ab)
4
✅ 산술·기하 평균 부등식
$a > 0, b > 0$ 일 때 $\dfrac{a+b}{2} \ge \sqrt{ab}$, 즉 $a + b \ge 2\sqrt{ab}$. 등호는 $a = b$ 일 때만 성립. (양변을 이용해 최솟값·최댓값 문제를 푼다.)
✅ 자주 쓰는 절대부등식
모든 실수에서 $a^2 + b^2 \ge 2ab$ (등호 $a=b$), $a^2 \ge 0$. 절대부등식 = 문자의 값에 관계없이 항상 성립하는 부등식.
📐 절대부등식과 판별식
"모든 실수 $x$ 에 대하여" 라는 말은 판별식을 꺼내라는 신호다. $a \gt 0$ 일 때 모든 실수 $x$ 에서 $ax^2 + bx + c \gt 0$ $\iff$ $D \lt 0$. $D = 0$ 이면 그래프가 $x$ 축에 접해 어떤 $x$ 에서 값이 $0$ 이 되므로 $\gt 0$ 을 만족하지 못한다. $x$ 에 특정한 값 하나를 넣어 얻는 조건은 필요조건일 뿐이다 — 모든 $x$ 를 한 번에 다루려면 판별식이나 완전제곱 꼴로 정리한다.
🎁 최솟값을 만드는 법 — 상수 분리와 등호 조건
① 곱이 상수가 되게 만들면 $A + B \ge 2\sqrt{AB}$ 를 쓸 수 있다. $2x + \dfrac{18}{x}$ 는 곱이 $36$ 이라 최솟값 $2\sqrt{36} = 12$ ($x = 3$). ② 분모가 $x-1$ 이면 $x = (x-1) + 1$ 로 상수를 분리한다. $x + \dfrac{4}{x-1} = (x-1) + \dfrac{4}{x-1} + 1 \ge 4 + 1 = 5$. 떼어 둔 상수를 마지막에 다시 더한다. ③ 괄호가 곱해진 꼴은 먼저 전개한다. 괄호마다 따로 부등식을 쓰면 등호 조건이 서로 어긋나 실제로는 도달하지 않는 값이 나온다. ④ 합이 일정하면 곱이 최대, 곱이 일정하면 합이 최소. 등호가 성립하는 값이 주어진 범위 안에 있는지 반드시 확인한다.
프로그램의 if 조건문, 회로의 논리 게이트, 법조문의 "~한 경우 ~한다"가 전부 명제 논리다. 특히 대우는 알고리즘·증명에서 문제를 뒤집어 푸는 강력한 도구다.
🌀 "이 문장은 거짓이다" — 논리가 만나는 벽
이 문장을 참이라 하면 문장 말대로 거짓이어야 하고, 거짓이라 하면 참이어야 한다 — 참·거짓을 매길 수 없는 문장이 생긴다(자기지시의 역설). 20세기 괴델은 이 아이디어를 정교하게 다듬어 불완전성 정리를 증명했다(1931) — 산술을 포함할 만큼 강력하면서 스스로 모순되지 않는 어떤 수학 체계든, 그 체계의 규칙만으로는 증명할 수 없지만 실제로는 참인 명제가 반드시 존재한다는 것이다. 명제 논리가 세상을 "참 아니면 거짓"으로 깔끔하게 나누는 도구처럼 보여도, 그 도구로 다 담을 수 없는 문장이 있다는 뜻이다.
🏠 논리가 숨어 있는 곳
💻
프로그래밍
if/조건·불 논리
⚖️
법률·계약
요건과 효과의 논리
🔬
과학적 증명
가설·반례·대우법
🤖
AI 추론
논리·규칙 기반 판단
🏭 산업과 직업 — 엄밀하게 사고하다
💻
소프트웨어·검증 엔지니어 조건·명제 논리로 프로그램의 정확성을 형식 검증. 🎓 컴퓨터공학 · 수학 · 논리학
⚖️
법조·정책 요건-효과의 논리로 조문을 해석·설계. 🎓 법학 · 정책 · 철학
🔐
반도체 논리설계 불 대수(AND·OR·NOT)로 디지털 회로를 구성. 🎓 전자 · 컴퓨터 · 반도체공학