“승인된 문서는 검토를 마쳤다”와 “검토를 마친 문서는 승인되었다”는 같은 말일까요? 조지 불(George Boole)은 ‘모든 x는 y다’ 같은 포함 관계를 불 논리의 부류 방정식으로 바꾸었습니다. 이번에는 그 제안을 네 입력 조합에 펼쳐, 방향을 뒤집을 때 어느 한 행이 달라지는지 직접 확인합니다.
01 · 불이 풀려던 문제
한 부류가 다른 부류 안에 있다는 말을 어떻게 계산할까요?
불은 논리를 부류 사이의 관계를 다루는 학문으로 보고, 자연어 명제를 계산할 수 있는 식으로 옮기려 했습니다. 1848년 「The Calculus of Logic」에서 “모든 Y는 X다”를 y=vx로 적고, 여기서 y(1−x)=0이라는 보조 관계를 얻었습니다. Y이면서 X가 아닌 부류가 비어 있다는 뜻입니다.
오늘의 예에서는 x를 ‘승인됨’, y를 ‘검토 완료’로 두겠습니다. “승인되면 검토를 마쳤다”는 x(1−y)=0입니다. 식은 승인됐지만 검토하지 않은 대상을 금지합니다. 그러나 검토했지만 아직 승인되지 않은 대상을 금지하지는 않습니다.
불의 핵심 제안은 포함 관계를 ‘존재해서는 안 되는 부류가 0’인 식으로 다루는 것입니다. 아래의 화살표와 0·1 조건표는 그 관계를 확인하기 위한 후대의 현대적 표현입니다.
02 · 불의 방법과 기호
방향은 금지하는 한 칸을 결정합니다
x→y는 x=1, y=0일 때만 0이고 나머지 세 경우에는 1인 현대의 물질조건문입니다. 따라서 “x이면 y”가 모든 대상에서 지켜지려면 x(1−y)인 대상이 없어야 합니다. 이때 x는 y의 충분조건, y는 x의 필요조건입니다.
방향을 y→x로 바꾸면 금지되는 칸은 (1−x)y가 됩니다. 두 방향을 모두 요구하는 동치는 두 부류가 같다는 더 강한 조건입니다. 불이 1848년에 현대 화살표 진리표를 제시한 것은 아닙니다. 원전의 부류 방정식과, 그 포함 관계를 네 경우로 펼친 현대 표를 구별해서 읽어야 합니다.
방향을 바꾸는 것과 대우를 취하는 것도 구별합니다. x→y의 역은 y→x이고, 대우는 (1−y)→(1−x)입니다. 역은 원래 조건에서 따라오지 않지만 대우는 같은 금지 칸 10을 가리킵니다. 불의 식 x(1−y)=0은 ‘y가 아니면 x도 아니다’라는 대우의 읽기와도 맞닿습니다.
03 · 불의 제안을 표로
방향을 바꾸고 달라지는 행을 찾아보세요
| 입력 | x | y | 조건값 | 판정 |
|---|
먼저 ‘x이면 y’를 선택해 10행만 금지되는지 보세요. 다음으로 방향을 뒤집으면 01행이 금지되고 10행은 허용됩니다. ‘두 방향 모두’에서는 두 부류가 같아야 하므로 01과 10 두 행이 금지됩니다. 금지 행만 보기에서 결과가 비면 규칙을 어기는 조합이 없다는 뜻입니다.
04 · 표에서 얻은 발견
필요와 충분은 같은 관계를 반대쪽에서 읽은 말입니다
x→y가 지켜지면 x만으로 y를 보장하므로 x는 충분조건입니다. y가 없으면 x도 있을 수 없으므로 y는 필요조건입니다. 그러나 y가 있다고 x까지 보장되지는 않습니다. 01행이 허용되는 것이 그 차이를 보여 줍니다.
역은 자동으로 따라오지 않습니다. 승인된 문서는 모두 검토를 마쳤더라도, 검토를 마친 초안이 아직 승인 전일 수 있습니다. 그래서 규칙을 문서화할 때는 ‘A면 B’의 주어와 결과를 고정하고, 역방향까지 요구하는지 따로 적어야 합니다.
00·01·10·11은 가능한 값의 조합입니다. 실제 문서가 몇 건인지, 각 조합이 얼마나 자주 나타나는지, 확률이 얼마인지는 별도의 자료와 집계가 있어야 알 수 있습니다.
05 · 오늘의 실제 적용
정책 목록에서 조건을 어긴 행만 찾을 수 있습니다
가상의 문서 목록에서 B열이 승인 여부 x, C열이 검토 완료 여부 y라면, 규칙 위반은 B=1이면서 C=0인 행입니다. 이 행만 필터링하면 ‘승인된 문서는 검토 완료’라는 정책의 반례 목록이 됩니다. 목록이 비면 확인한 자료 범위에서는 위반이 없다는 뜻입니다.
=FILTER(A2:C100,(B2:B100=1)*(C2:C100=0),"위반 없음")
0은 확인된 ‘아님’이어야 합니다. 아직 검토 여부가 입력되지 않은 문서는 빈칸이나 ‘미확인’으로 따로 보존하고, 0으로 바꾸어 정책 위반 수에 섞지 않습니다.
회원 자격, 제출 서류, 접근 권한처럼 앞 조건이 뒤 조건을 요구하는 업무에서도 같습니다. 방향을 표로 고정하면 역을 잘못 적용하는 일을 줄이고, 금지된 조합을 검색식과 테스트 사례로 곧바로 바꿀 수 있습니다.
06 · 바르게 쓰는 기준
자연어의 ‘이면’을 언제나 물질조건문으로 단정하지 않습니다
이번 표는 부류 포함을 검사하는 고전적 두 값 모형입니다. 일상 언어의 조건문에는 원인, 시간 순서, 관련성, 규범의 뜻도 담길 수 있으므로 네 칸의 물질조건문만으로 모든 뜻을 설명할 수는 없습니다. 실제 규정에서는 ‘누가, 언제, 어떤 범위에서’를 함께 적어야 합니다.
또한 식 x(1−y)=0은 현재 모형에서 금지 부류가 비어 있음을 말합니다. 확인하지 않은 기록까지 없다고 보장하지 않습니다. 데이터의 범위와 갱신 시각을 붙여야 계산 결과가 업무 판단으로 이어집니다.
규칙 이름만 저장하지 말고 x와 y의 뜻도 함께 저장하세요. 같은 식이라도 x를 승인, y를 검토 완료로 둔 것과 두 뜻을 바꿔 둔 것은 서로 다른 정책입니다. 표 머리말과 조건의 방향이 한 문서 안에서 일치해야 합니다.
불의 문제: 포함 관계를 계산 가능한 식으로 나타내기. 불의 제안: 허용되지 않는 부류를 0으로 두기. 오늘의 쓰임: 정책을 어긴 조합만 필터링해 방향 오류와 누락을 찾기.
07 · 자료와 출처
불의 원전과 현대 조건표 자료
- 조지 불, 「The Calculus of Logic」(1848) — 정언명제 표기와 y(1−x)=0 보조 관계, ‘On Syllogism’ 절.
- 조지 불, 『An Investigation of the Laws of Thought』(1854), 제4장 — 부류 명제의 방정식 표현.
- Stanford Encyclopedia of Philosophy · Indicative Conditionals — 물질조건문은 앞말이 참이고 뒷말이 거짓일 때만 거짓이라는 현대 진리조건.
- Microsoft Support · Filter by using advanced criteria — 여러 열의 AND 조건으로 행을 거르는 공식 자료.
- 조지 불 초상 판화 · Wikimedia Commons — 1865년 1월 21일 게재, 공개 영역.