논리학 기초

증명할 수 있으면 모든 해석에서도 참일까?

고전 1차 논리의 건전성과 완전성은 증명 규칙과 의미론적 모델이 어디에서 만나는지를 보여 줍니다.

그림에서 무엇을 볼까요?

형식 전제, 증명 규칙, 모든 모델을 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.

‘모든 연필은 필기도구다’와 ‘이 물건은 연필이다’에서 결론을 증명한 뒤, 전제가 참이고 결론만 거짓인 모델이 가능한지 반대 방향에서도 확인합니다.

그림은 형식 전제 → 증명 규칙 → 모든 모델의 순서로 읽습니다. 각 화살표 끝은 다음 단계의 경계에 닿고, 마지막 아래쪽 합류점에서 조건·범위·반례를 함께 확인합니다. 원 논문의 표나 그림을 복사하지 않고 LTCT가 개념 관계만 새로 그렸습니다.

정확히 지정한 언어·공리·규칙에 관한 결과이며 자연어의 모호함이나 잘못된 형식화를 자동 교정하지 않습니다.

이 자료 하나만으로 LTCT 교육·시험의 효과를 확인할 수 없습니다. 대상, 비교 조건, 무작위 배정 여부와 측정 시점을 유지한 별도 평가가 필요합니다.

반례 모델을 하나 찾으면 무엇을 알 수 있을까요?