Codex와 함께 “자연 연역 실험실” 웹앱을 제작했습니다. 우리 대학 기호논리학 수업의 교재로 사용하는 이병덕의 『코어 논리학: 논리적 추론과 증명 테크닉』 (성균관대학교출판부, 2019)의 문법과 추론 규칙에 정확히 부합하는 증명 검증기를 만들고 싶었는데, AI 덕분에 상당히 수월하게 만들 수 있었습니다. 아래 웹사이트에 공개해 두었으니 한번 사용해보기 바랍니다.
증명 편집기에서의 특수기호 입력, 보조증명 입력 및 시각화 등의 사용자 인터페이스와 모바일 접근성 때문에 골치가 좀 아팠었는데, 어쨌든 대부분 성공적으로 해결됐습니다. 물론 모바일에서의 사용은 여전히 불편하지만 말입니다.
초보자도 사용법을 익힐 수 있도록 예제와 연습문제들을 넣어 두었습니다. 추론 규칙마다 예제를 연결해 두었고, 문장 논리와 술어 논리의 대표 예제도 하나씩 넣어 두었으니, (기호논리학을 접해본 사람이라면) 사용법을 쉽게 익힐 수 있을 거라 생각합니다.
사용법을 익히는 것과 실제로 증명을 해내는 건 다른 문제이긴 합니다. 훈련을 할 수 있는 연습문제들도 많이 넣어 두었으니, 직접 풀어보면서 증명을 즐겨보기 바랍니다. 혹시 내용에 대한 이해가 필요하면 2020년 1학기 기호논리학 동영상 강의를 통해 공부할 수 있으며, 최신 2025년 1학기 강의노트는 여기에서 확인할 수 있습니다.
이번 웹앱을 제작하면서 참고한 사이트는 아래의 두 개인데,
제가 보기엔, 제가 만든 사이트가 더 편리하고 직관적인 것 같습니다. 그러나 이번에 공개한 시범판은 성공적으로 작동하는 것에만 초점을 맞추다보니, 내부적으로는 완전히 비효율적으로 코딩이 되어 있고 확장성도 부족한 편입니다. 앞으로 천천히 고치면서 업그레이드된 버전을 공개할 예정이니, 많은 조언 부탁 드립니다.
DongWook JUNG 