서로 모순된 기록이 있으면 어떤 결론이든 따라올까?

그림에서 무엇을 볼까요?

기록 가는 강의실 개방을, 기록 나는 강의실 미개방을 가리켜 붉은 충돌 지점에서 만난다. 구내식당 운영 노드는 연결되지 않아 미결정으로 남는다.

LTCT가 만든 예시에서 기록 가는 “14시 강의실 개방”, 기록 나는 “14시 강의실 미개방”이라고 말합니다. 두 기록은 같은 시간과 장소에 대해 충돌합니다. 그러나 어느 기록도 구내식당 운영을 언급하지 않습니다. 그림은 강의실 명제에는 찬성과 반대 근거가 함께 있지만, 식당 명제에는 연결된 근거가 없음을 따로 표시합니다.

고전적 폭발을 허용하면 모순된 두 전제로부터 “구내식당이 열렸다”뿐 아니라 그 부정도 형식적으로 이끌 수 있습니다. 비폭발적 규칙에서는 결론과 관련된 경로가 없으므로 식당 질문을 미결정으로 남깁니다. 이것은 식당이 닫혔다는 판정이 아닙니다. 확인할 자료가 부족하다는 뜻입니다.