양자 명제에서는 분배법칙이 항상 성립할까?
양자논리는 측정 가능한 명제를 힐베르트 공간의 투영으로 나타내며, 그 구조는 일반적으로 불 대수가 아닙니다. 논리 법칙과 측정 맥락의 관계를 살펴봅니다.
그림에서 무엇을 볼까요?
같은 측정 맥락에서는 고전적 결합이 가능하지만 호환되지 않는 측정 사이에는 비분배 구조가 나타나는 분기 도식
LTCT의 단순화한 예시입니다. A는 한 측정 방향의 ‘예’, B와 C는 다른 방향의 서로 배타적인 결과라고 합시다. 고전 집합 그림이라면 A∧(B∨C)와 (A∧B)∨(A∧C)를 자동으로 같게 놓습니다.
양자 명제 격자에서는 세 부분공간의 결합과 교차가 그 등식을 항상 만족하지 않습니다. 다만 서로 호환되는 한 측정 맥락 안에서는 고전적 계산이 회복될 수 있습니다.
함께 확인할 점
비분배성은 특정 투영 격자의 구조에 관한 사실이며 모든 자연어 추론 규칙을 폐기하라는 결론이 아닙니다.
교육용 분기 그림은 힐베르트 공간의 엄밀한 계산과 글리슨 정리를 대신하지 않습니다.
생각해 볼 질문
양자논리의 비분배성에서 바로 ‘고전 논리는 틀렸다’가 따라오지 않는 이유는 무엇인가요?
같은 결론에도 서로 다른 근거가 있을 수 있을까?
논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?
결론이 맞아도 추론은 틀릴 수 있을까?