전제의 참과 논증의 타당성에서 전제, 규칙, 결론의 관계를 정리했다.

그림에서 무엇을 볼까요?

생각그림 4 · 전제의 참과 논증의 타당성에서 전제, 규칙, 결론의 관계를 정리했다.

거북이는 두 질문을 갈라 놓는다. A와 B가 참인지 인정하는 일과, A와 B가 참이라면 Z가 따라온다는 연결을 인정하는 일은 서로 다르다. 전제가 모두 참이어도 추론 형식을 적용하지 않는 사람은 결론을 받아들이지 않을 수 있다. 반대로 추론이 타당하다는 점을 인정하면서도 실제 전제 하나를 거짓이라고 생각할 수 있다. 타당성은 전제가 실제로 참이라는 보장이 아니라, 전제들이 모두 참인 경우 결론이 거짓일 수 없다는 관계다.