💡

명제와 논리 — 수학적 사고의 뼈대

🎲Lv.6확률

'비가 오면 땅이 젖는다'가 참이라면, '땅이 젖으면 비가 왔다'도 참일까요? 논리에는 함정이 있습니다.

💡 왜 필요할까요?

프로그래밍의 if-else 조건문은 명제 논리 그 자체입니다. $p \Rightarrow q$ 구조는 코드의 조건 분기, 데이터베이스 쿼리, 법률 조항 해석에도 똑같이 적용됩니다.

💡🖥️

📜 역사 이야기

🔢

조지 불

1854년 · 영국

조지 불(George Boole)은 링컨 주(州) 출신의 독학 수학자였습니다. 정규 대학교육을 받지 못했지만 16세에 교사로 일하면서 독학으로 수학과 논리학을 연구했습니다. 1854년 그는 《사고의 법칙(The Laws of Thought)》을 출판하며 논리를 처음으로 대수 체계로 변환했습니다. "모든 명제는 0 또는 1의 값을 가진다"는 불 대수의 핵심 아이디어는 당시 수학계를 놀라게 했습니다. 불은 명제를 기호로 표현하고, 'AND(∧)', 'OR(∨)', 'NOT(¬)' 연산을 정의했습니다. $p \Rightarrow q$ 형태의 조건명제와 그 역·이·대우의 관계도 이 체계에서 명확히 정의되었습니다. 대우( $\lnot q \Rightarrow \lnot p$ )가 원명제와 동치라는 사실은 불 대수의 핵심 정리 중 하나입니다. 불의 사후 약 80년이 지난 1937년, 클로드 섀넌(Claude Shannon)이 불 대수를 전기 회로 설계에 적용했습니다. 스위치의 ON/OFF를 1/0으로 대응시킨 이 아이디어는 현대 컴퓨터의 논리 회로 설계 원리가 되었습니다. 오늘날 스마트폰 칩 안에서 수십억 번 수행되는 논리 연산은 모두 불의 수학에 뿌리를 두고 있습니다.

"논리학의 법칙은 사고 자체의 법칙이다."

🤩 조지 불은 대학 학위 없이 독학으로 수학을 연구해 교수가 되었고, 그의 논리 대수는 170년 후 전 세계 모든 컴퓨터의 설계 원리가 되었습니다!

🔬 직접 발견하기

📐 공식 이해하기

p \Rightarrow q \iff \lnot q \Rightarrow \lnot p \quad (\text{대우 동치})

p \Rightarrow q \iff \lnot q \Rightarrow \lnot p \quad (\text{대우 동치})

조건명제 $p \Rightarrow q$ 는 가설 $p$ 가 참일 때 결론 $q$ 도 반드시 참임을 주장합니다. 역( $q \Rightarrow p$ )과 이( $\lnot p \Rightarrow \lnot q$ )는 원명제와 독립적이지만, 대우( $\lnot q \Rightarrow \lnot p$ )는 원명제와 항상 동치입니다.

$p$: 가설(hypothesis): 조건명제의 앞부분
$q$: 결론(conclusion): 조건명제의 뒷부분
$¬p$ ¬p: p의 부정(negation)
$¬q$ ¬q: q의 부정

1
원명제 $p \Rightarrow q$ : $p$ 가 참이면 $q$ 도 참
2
역: $q \Rightarrow p$ , 이: $\lnot p \Rightarrow \lnot q$ (원명제와 독립)
3
대우: $\lnot q \Rightarrow \lnot p$ — 진리표로 확인: 원명제와 모든 경우에서 동일한 참/거짓 값

🧬 원리: 어떻게 탄생했나?

공식은 외우는 것이 아니라, 어디서 왔는지를 이해하는 것이에요

💡

탄생 배경

명제 논리는 집합론의 포함 관계( $A \subseteq B$ )에서 자연스럽게 발전했습니다. ' $p$ 이면 $q$ 이다'는 ' $p$ 인 것들의 집합이 $q$ 인 것들의 집합에 포함된다'와 동치입니다. 집합의 교집합·합집합·여집합이 명제의 AND·OR·NOT에 대응하며, 수학적 대상 간의 포함 관계를 언어로 표현한 것이 조건명제입니다.

⚡

핵심 관계식

대우가 원명제와 동치인 이유는 논리적으로 같은 정보를 담기 때문입니다. $p \Rightarrow q$가 참이라는 것은 '$p$이면서 $\lnot q$인 경우가 없다'는 뜻이고, $\lnot q \Rightarrow \lnot p$가 참이라는 것도 동일하게 '$\lnot q$이면서 $p$인 경우가 없다'는 뜻입니다. 두 조건은 완전히 같습니다.

대우가 원명제와 동치인 이유는 논리적으로 같은 정보를 담기 때문입니다. $p \Rightarrow q$가 참이라는 것은 '$p$이면서 $\lnot q$인 경우가 없다'는 뜻이고, $\lnot q \Rightarrow \lnot p$가 참이라는 것도 동일하게 '$\lnot q$이면서 $p$인 경우가 없다'는 뜻입니다. 두 조건은 완전히 같습니다.

🔍

왜 공식을 외울 필요가 없나요?

귀류법이 유효한 이유는 배중률(排中律) — 명제는 참 아니면 거짓 — 에 기반합니다. $q$ 가 참임을 직접 보이기 어려울 때, $\lnot q$ 를 가정해 모순을 이끌어내면 $\lnot q$ 는 거짓이 되고 결국 $q$ 가 참임이 증명됩니다. 이는 $\lnot q$ 와 $p$ 가 동시에 참일 수 없다는 대우의 논리와 본질적으로 같은 증명 전략입니다.

📝 퀴즈로 확인하기

1/5

명제 ' $a > 0$ 이면 $a^2 > 0$ 이다'의 대우는?

무한 드릴 연습

랜덤 20문제 · 약 10분

풀어보기 →

📋 수능 기출 문제

📝

이 개념의 기출 문제를 추가 중이에요

수능 기출 전체 목록에서 관련 문제를 찾아보세요.

📋 수능 기출 전체 보기 →