모순 하나가 들어오면 아무 결론이나 따라와야 할까?

그림에서 무엇을 볼까요?

P와 P가 아님의 모순 노드에서 관련 결론은 이어지지만 무관한 Q로 향하는 폭발 화살표는 차단된 도식.

LTCT 창작 사례에서 센서 A는 ‘서버 정상(P)’을, 로그 B는 ‘서버 비정상(¬P)’을 보고합니다. 고전적 폭발을 무비판적으로 적용하면 ‘백업이 완료됐다(Q)’와 같은 무관한 결론까지 얻는 형식이 되지만, 모순허용 추론은 P와 ¬P를 표시하고 Q에는 별도 근거를 요구합니다.

아래 활동에서 P와 ¬P, Q의 근거, 폭발 허용을 켜고 끄면 허용되는 결론 집합이 실제로 달라집니다. 이것은 LP 전체 증명기가 아니라 핵심 차이를 보여 주는 유한 교육 모형입니다.