프로그래머를 위한 논리학: 시퀀트 계산에 대한 친절한 소개
2025-01-22
이 글은 논리학에 대한 시리즈의 첫 번째 글로, 추론을 위한 강력한 시스템으로서 시퀀트 계산을 소개합니다. Gentzen의 표기법을 사용하여 저자는 논리적 추론을 기호적으로 표현하는 방법을 설명하고, 추론 규칙, 유도 트리, 메타 변수를 다룹니다. 이 글에서는 시퀀트 계산, 시퀀트 자연 연역, 자연 연역을 비교하고, 단측 시퀀트 계산과 직관주의 논리에 대해서도 간략하게 설명합니다. 마지막으로, 직관주의 논리에서의 증명 항과 단순 타입화된 람다 계산과의 관계를 간략하게 소개합니다.