논리의 역사와 연구 · 첫 번째 실습 이야기

‘그리고’와 ‘또는’이 계산이 되기까지

조지 불의 문제의식에서 출발해 두 조건을 결합하는 작은 논리표를 만납니다.

입문읽기·실험 약 9분확인 문제 2개규칙 기반 실행한국논리학협회 자체 제작제작·검수 LTCT 편집부

오늘의 질문

말로 적은 조건을 빠짐없이 계산할 수 있을까요?

예약과 교육 두 조건이 함께 충족되어야 이용 가능한 규칙의 연결 그림
예약과 교육 두 조건이 함께 충족되어야 이용 가능한 규칙의 연결 그림 · 한국논리학협회 자체 제작
그림 크게 보기 ↗
01

판단의 구조를 계산하려는 시도

조지 불은 1854년 『사고의 법칙에 관한 탐구』를 출간했습니다. 그의 작업은 논리적 관계를 대수적으로 다루는 역사적 흐름에서 중요한 위치를 차지합니다. 우리는 여기서 복잡한 기호보다 한 가지 질문에 집중해 보겠습니다. 문장으로 표현한 조건을 일정한 규칙에 따라 결합하고 검사할 수 있을까요?

참고 · 조지 불 · Project Gutenberg 전자본 — 사고의 법칙에 관한 탐구 ↗

02

두 문장을 합치면 네 경우가 생긴다

자료실의 특별 열람 조건을 생각해 봅시다. 조건 A는 예약 완료, 조건 B는 안전교육 이수입니다. 두 조건을 ‘그리고’로 묶으면 둘 다 충족한 경우만 결과가 참입니다. ‘또는’으로 묶으면 적어도 하나를 충족한 경우가 참입니다. 여기서 ‘또는’에는 둘 다 충족한 경우도 포함됩니다. ‘둘 중 정확히 하나’라고 하려면 그 뜻을 별도로 정해야 합니다.

예약 여부와 교육 여부를 각각 바꿀 수 있으므로 조합은 네 가지입니다. 표를 채우면 말로 읽을 때 놓친 경우를 확인할 수 있습니다. 실험에서 결합 방식을 바꾸고 어떤 행의 결과만 달라지는지 살펴보세요. 서로 다른 문장 두 개가 같은 결과를 내는 경우가 있는지도 찾아볼 수 있습니다.

참고 · Open Logic Project — 모든 경우를 살피는 진리표 ↗

03

규칙표가 할 수 있는 일과 남는 질문

정해진 규칙을 빠짐없이 적용하는 일과 그 규칙이 적절한지 판단하는 일은 구분됩니다. 예약과 교육을 모두 요구하는 제도를 계산할 수 있어도, 그 제도가 필요한지는 목적과 상황을 검토해야 합니다. 오늘의 AI 역시 계산 구조를 이해하는 질문과 적용 기준을 평가하는 질문을 함께 요구합니다. 논리의 역사를 읽는 일은 지금 우리가 사용하는 판단 도구를 되묻는 출발점이 됩니다.

직접 확인하기 · 규칙 기반 실행

두 조건을 결합하는 방법

아래 표는 현대의 참·거짓 표기법을 사용한 자체 제작 설명입니다. 불의 원문 그림을 복제한 것이 아닙니다.

현재 조합의 결과: 거짓 · 조건 미충족
가능한 네 가지 조합
예약교육결과
완료이수참
완료미이수거짓
없음이수거짓
없음미이수거짓
관계를 읽고, 다른 상황에 적용하기

두 문제로 생각 확인

1예약을 했지만 교육은 이수하지 않았다. ‘그리고’와 ‘또는’의 결과는?
2‘보호자 또는 담당자가 확인하면 된다’에서 또는을 포함적 의미로 사용한다. 두 사람 모두 확인한 경우는?

두 문제의 답을 모두 선택하면 해설을 볼 수 있습니다.

나의 설명으로 마무리

오늘 발견한 관계

0 / 4,000자

메모는 현재 기기의 브라우저에만 보관됩니다. 계정이나 다른 기기에는 동기화되지 않습니다.

출처와 제작 안내

원문을 참고해 설명·도표·문항·실험을 새로 작성했습니다. 별도 표시가 없는 사례와 수치는 학습을 위한 가상 예시입니다. 원문 번역이나 실제 모델의 성능 평가 자료가 아닙니다.

  1. 사고의 법칙에 관한 탐구 ↗조지 불 · Project Gutenberg 전자본An Investigation of the Laws of Thought (1854)

    논리를 대수적으로 다룬 저작의 서지 정보와 원문을 확인할 수 있습니다.

  2. 논리 연결어와 조건문 ↗Open Logic Projectforall x: Calgary · Chapter 5, Connectives

    조건문의 방향과 논리 연결어의 의미를 참고했습니다.

  3. 모든 경우를 살피는 진리표 ↗Open Logic Projectforall x: Calgary · Chapter 11, Complete truth tables

    참·거짓의 조합을 빠짐없이 확인하는 방법을 참고했습니다.