규칙과 전제는 맡은 일이 다르다에서 전제, 규칙, 결론의 관계를 정리했다.

그림에서 무엇을 볼까요?

생각그림 10 · 규칙과 전제는 맡은 일이 다르다에서 전제, 규칙, 결론의 관계를 정리했다.

전제는 논증 안에서 참이라고 놓고 사용하는 문장이다. 추론 규칙은 어떤 문장 모양에서 어떤 문장 모양으로 옮겨 갈 수 있는지를 정하는 허가다. 예컨대 P와 P→Q를 전제로 가진 증명에서 Q를 얻는 규칙은 전건 긍정식, 또는 자연 연역의 조건문 제거 규칙이다. P→Q라는 문장과 “P, P→Q에서 Q로 옮겨 가라”는 규칙은 관련되지만 같은 역할을 하지 않는다. 캐럴의 퇴행은 둘을 모두 전제 칸에 밀어 넣을 때 선명해진다.