논증

수학 증명은 기호가 맞으면 대화 목적과 무관할까?

수학적 증명의 비형식 논리 분석은 같은 증명도 탐구·설명·교육의 대화 목적에 따라 역할이 달라진다고 봅니다.

그림에서 무엇을 볼까요?

형식적 증명, 대화 목적, 설명 책임를 연결해 조건과 범위를 확인하는 교육용 도식.

같은 피타고라스 정리 풀이를 검증용, 발견 과정 공유용, 초보자 설명용 세 카드로 나누고 각 카드에서 필요한 근거와 질문을 적습니다.

그림은 형식적 증명 → 대화 목적 → 설명 책임 순서로 읽고 마지막 합류점에서 조건·범위·반례를 함께 확인합니다. 원 논문의 표나 그림을 복사하지 않고 LTCT가 개념 관계만 새로 그렸습니다.

특정 증명 사례에 대한 규범적 분석이므로 이 틀을 쓰면 학습 점수가 오른다는 효과량은 제공하지 않습니다. 형식 검증을 대체하지도 않으며 대화 목표와 증명 정확성을 함께 봐야 합니다.

이 연구만으로 LTCT 교육·시험의 효과를 확인할 수 없습니다. 적용안은 별도 비교 조건과 측정 계획이 필요한 제안입니다.

검산기가 참이라고 판정한 증명은 누구에게나 충분한 설명인가요?