이번에는 D를 보태기에서 전제, 규칙, 결론의 관계를 정리했다.

그림에서 무엇을 볼까요?

생각그림 7 · 이번에는 D를 보태기에서 전제, 규칙, 결론의 관계를 정리했다.

아킬레우스는 다시 조건문 D를 제안한다. D는 “A, B, C가 모두 참이면 Z가 참이다”라는 문장이다. 거북이는 D도 공책에 쓰고 받아들인다. 이제 전제는 네 개가 되었다. 하지만 Z를 얻으려면 A, B, C, D에서 Z로 넘어가는 또 하나의 적용이 필요하다. 거북이가 그 적용을 다시 전제 문장으로 요구하면, 아킬레우스는 E를 적어야 한다. 새 문장은 앞선 목록을 더 길게 만들 뿐, 전제에서 결론으로 움직이는 행위 자체를 대신하지 못한다.