연결을 문장 C로 만들기에서 전제, 규칙, 결론의 관계를 정리했다.

그림에서 무엇을 볼까요?

생각그림 5 · 연결을 문장 C로 만들기에서 전제, 규칙, 결론의 관계를 정리했다.

아킬레우스는 연결 자체를 C라는 새 전제로 적는다. C는 “A와 B가 참이라면 Z도 참이다”라는 조건문이다. 거북이는 A와 B뿐 아니라 C도 받아들이겠다고 한다. 여기까지 보면 빈칸이 메워진 듯하다. 그러나 C는 종이 위의 문장 하나일 뿐이다. A, B, C에서 Z로 실제로 넘어가려면 조건문의 앞부분을 받아들였을 때 뒷부분을 이끌어 내는 추론 규칙을 적용해야 한다.