믿음을 거두면 그 반대가 참이라고 믿어야 할까?

그림에서 무엇을 볼까요?

정상 믿음 P만 있는 상태, P와 그 부정을 모두 보류한 철회 상태, P의 부정을 수용한 수정 상태를 비교한 표.

LTCT 예시에서 P는 ‘장비가 정상이다’라는 문장입니다. 이 단순화한 예시에서는 정상과 고장 두 상태만 구분한다고 가정합니다. 처음 기록에는 P가 있습니다. 검사 자료가 부족하다는 이유로 P를 철회한 기록에는 P도 ‘P가 아니다’도 없습니다. 둘 중 어느 쪽인지 아직 받아들이지 않은 상태입니다. 반면 확정된 고장 보고를 받아 수정한 기록에는 ‘P가 아니다’가 들어가고 P는 제거됩니다. 두 변화는 처음 믿음을 더는 유지하지 않는다는 점만 같습니다.

추가 연산도 비교해 볼 수 있습니다. 정상이라는 믿음 P를 그대로 둔 채 고장이라는 믿음만 추가하면 서로 충돌합니다. 새 보고를 수용한다는 목표와 믿음의 일관성을 유지한다는 목표를 함께 만족하려면 무엇을 거둘지 결정해야 합니다. 이 예시는 문장 두 개만 사용하므로 단순하지만, 실제 기록에는 P를 뒷받침하거나 P에서 도출된 다른 문장도 있을 수 있습니다.