네 단계의 판단을 “예·아니요” 질문으로 구별할 수 있을까요?

네 단계 중 값이 2/3인 경우를 보겠습니다. “1/3 이상인가?”에는 예, “2/3 이상인가?”에도 예, “1인가?”에는 아니요입니다. 세 질문의 답을 묶으면 다른 값과 구별할 수 있습니다.

모이실 논리는 여러 값을 이런 예·아니요 값으로 나타내는 방법을 다룹니다. 예·아니요에 해당하는 1과 0을 불 값이라고 하고, 값을 구별하는 각 검사를 논문에서는 뉘앙스라고 부릅니다. 여기서는 먼저 실제 질문과 답으로 뜻을 익히겠습니다.

그렇습니다. 같은 네 값을 사용해도 “그리고”, “이면”, “아니다”를 계산하는 규칙을 어떻게 정하느냐에 따라 논리가 달라집니다. 숫자 목록만으로 체계가 정해지지는 않습니다.

모이실 논리의 계산 구조는 우카시에비치–모이실 대수, 줄여서 LM 대수라고 부릅니다. 대수는 값들과 그 값들을 계산하는 연산을 함께 정한 구조입니다. 유한 우카시에비치 논리에서는 MV 대수라는 다른 구조를 사용합니다. 논문 후반부는 두 구조를 어떤 조건에서 서로 옮길 수 있는지 다룹니다.

네 값을 크기순으로 놓고 두 값 중 큰 것을 고르는 ∨, 작은 것을 고르는 ∧를 생각해 봅시다. 부정 *는 x를 1−x로 바꿉니다. 예를 들어 1/3의 부정은 2/3입니다. 0과 1은 양 끝의 값입니다. 이것이 표준 네 값 예의 바탕입니다.

여기에 앞에서 본 예·아니요 검사 φ₁, φ₂, φ₃를 더합니다. 원문의 번호는 φ₁이 “1인가?”, φ₂가 “2/3 이상인가?”, φ₃이 “1/3 이상인가?”에 해당합니다. 이 연산들이 지켜야 하는 규칙을 일반화한 구조가 LM 대수입니다.

표준 LMₙ₊₁의 값은 0,1/n,…,1입니다. φᵢ(j/n)는 i+j가 n+1보다 작은지에 따라 0 또는 1을 냅니다. 임계점을 넘었는지 묻는 불 검사입니다.

아래 활동은 n=3인 네 값 사슬에서 j/3을 검사하는 편집부 계산입니다. 각 φ는 누적 임계값이므로 여러 칸이 함께 켜질 수 있습니다.

i≤j이면 φᵢ(x)≤φⱼ(x)여서 1이 된 뒤의 높은 지표들도 1이 됩니다. 한 값이 여러 φ 뉘앙스에 동시에 포함될 수 있습니다.

이 겹침은 원소 자체를 알아보는 데는 유용하지만 “정확히 어느 층인가”를 한 번에 표시하지 않습니다. 새 J 연산은 인접한 누적 경계의 차이를 떼어 냅니다.

값이 2/3일 때 “2/3 이상”은 예이고 “1”은 아니요입니다. 두 답을 함께 사용하면 정확히 2/3임을 표시할 수 있습니다. “정확히 1/3”, “정확히 2/3”, “정확히 1” 가운데 켜지는 칸은 하나뿐입니다. 0에서는 세 칸이 모두 꺼집니다.

모든 i에 대해 φᵢ(x)=φᵢ(y)이면 x=y라는 조건입니다. 뉘앙스 목록이 같으면 원래 다치 값도 같다는 뜻입니다.

이 원리 덕분에 불 뉘앙스는 원소를 구별할 충분한 정보가 됩니다. 논문은 J 목록에도 같은 결정 원리 J6을 둡니다.

큰 LM 대수의 부분대수는 연산에 닫혀 있어도, 원래 φ 뉘앙스만으로 서로 다른 부분대수를 구별하지 못할 수 있습니다. 즉 원소 결정과 부분구조 결정은 다른 문제입니다.

저자들은 부분대수 안에 실제로 나타나는 정확한 층들을 불 중심의 아이디얼로 기록합니다. 이 기록이 부분대수의 차이를 보존합니다.

네 값 사슬 {0,1/3,2/3,1}과 그 안의 {0,1}만 남긴 구조를 비교해 봅시다. 둘 다 예·아니요 값 0과 1을 포함하지만, 뒤의 구조에서는 중간값 1/3과 2/3이 나타날 수 없습니다. 불 중심만 기록하면 이런 차이가 빠질 수 있어, 각 검사에서 실제로 어떤 값이 나올 수 있는지도 기록해야 합니다.

Jₙ(x)=φ₁(x)이고, i<n에서는 Jᵢ(x)=φₙ₋ᵢ₊₁(x)∧φₙ₋ᵢ(x)*로 정의합니다. 누적 경계 하나는 켜지고 바로 아래 경계는 꺼진 부분만 남깁니다.

아래 활동은 네 값 사슬을 정확한 한 칸으로 바꾸는 계산 모형입니다. 지표 순서는 논문의 정의를 따르므로 일상적인 낮음-높음 배열과 반대로 보일 수 있습니다.

i≠j이면 Jᵢ(x)∧Jⱼ(x)=0입니다. 각 J는 한 누적 경계가 처음 바뀌는 구간을 잡으므로 한 원소의 두 정확한 층이 동시에 켜질 수 없습니다.

공리 J5는 뒤의 Jₗ이 앞선 J들의 합의 여집합 아래에 놓이게 합니다. J2는 각 J가 불 원소임을 보장합니다.

가능합니다. φᵢ(x)는 k=n−i+1부터 n까지의 Jₖ(x)를 합한 값입니다. 정확한 층들을 누적하면 원래 임계 뉘앙스가 돌아옵니다.

반대로 φ에서 J를 만드는 식도 있으므로 두 정의는 동치입니다. 기호 사이의 번역에 맞춰 공리들도 서로 도출됩니다.

불 중심 C(L)은 x∨x*=1인 보완 원소들의 모임입니다. 모든 φᵢ(x)와 Jᵢ(x)는 이 중심 안에 있어 고전적인 불 연산으로 비교할 수 있습니다.

LM 대수에서 뉘앙스를 뽑아 불 중심으로 보내는 함자와, 불 대수에서 정렬된 튜플을 만들어 LM 대수로 보내는 함자가 기본 수반을 이룹니다.

각 Jᵢ가 부분대수에서 취할 수 있는 불 값들의 집합은 아래로 닫히고 유한 합에 닫힌 아이디얼을 이룹니다. 층마다 어떤 뉘앙스가 허용되는지 기록하는 셈입니다.

따라서 하나의 LMₙ₊₁ 대수는 불 대수 B와 n−1개의 불 아이디얼로 표현됩니다. 이 추가 정보가 같은 불 중심을 가진 서로 다른 부분대수를 구별합니다.

방금 비교한 작은 구조 {0,1}에서는 J₁과 J₂가 항상 0입니다. 네 값 전체에서는 J₁과 J₂도 1을 낼 수 있습니다. 각 J 검사가 내놓을 수 있는 값을 기록하면 두 구조가 구별됩니다. 논문은 이 값들의 집합이 아래로 닫히고 유한 합에 닫힌다는 성질을 사용하며, 이런 집합을 아이디얼이라고 부릅니다.

논문의 정리 3은 LMₙ₊₁ 대수의 범주와 불 대수 및 n−1개 아이디얼의 범주가 동치임을 보입니다. 객체와 구조 보존 사상까지 서로 옮길 수 있다는 뜻입니다.

아래 활동은 원소 수 일치와 범주 동치를 구분합니다. 역함자와 자연스러운 동형까지 확인해야 같은 구조적 정보를 보존했다고 말할 수 있습니다.

예를 들어 네 값의 표현을 세 예·아니요 검사로 바꿨다가 되돌릴 때 값과 연산의 관계를 함께 복원해야 합니다. 범주 동치는 이보다 일반적인 구조들 사이에서, 구조를 연결하는 함수까지 포함해 이런 대응이 성립한다는 뜻입니다. 단순히 두 집합의 원소 수가 같다는 말보다 강한 조건입니다.

불 대수는 Stone 공간과 쌍대적으로 연결됩니다. 저자들은 불 중심의 Stone 공간에 아이디얼에 대응하는 열린집합들을 더해 LM 대수의 새 쌍대성을 얻습니다.

MVₙ 대수가 특정 LM 부분류와 범주 동치라는 기존 결과를 결합하면 MVₙ 대수에도 같은 방식의 쌍대 공간 표현이 따라옵니다.

가능합니다. LM 대수의 한 다치 값은 서로 배타적인 불 뉘앙스 J₁,…,Jₙ으로 결정되며, 이 정확한 층들을 다시 합치면 기존 φ 뉘앙스도 복원됩니다.

부분대수까지 구별하려면 불 중심과 층별 불 아이디얼을 함께 기록해야 합니다. 이 결과는 대수적 표현과 쌍대성에 관한 정리이며, 생활 판단의 측정에는 별도 근거가 필요합니다.