Skip to content

형식언어 ℒ에서 Gentzen의 추론 규칙에 따른 논증 타당성 검증기

Notifications You must be signed in to change notification settings

jangjunha/elementary-logic-validator

Repository files navigation

1차논리 검증기

https://logic-validator.jangjunha.me

웹사이트 스크린샷

형식언어 ℒ과 Gentzen의 추론 규칙에 따른 논증이 타당한지 실시간으로 검증하는 기능을 가진 웹페이지입니다.

고려대학교 〈기호논리학〉 수업과 〈계산이론〉, 〈프로그래밍언어〉 수업을 듣고 개인적으로 실습해보면서 만든 사이트입니다. 교재 〈기호논리학〉(Benson Mates, 김영정·선우환 역, 문예출판사, 1995)의 형식언어 ℒ과 수업에서 다룬 Gentzen의 추론 규칙을 바탕으로 합니다. 더 자세한 설명은 도움말 페이지를 확인하세요.

파서와 검증기, 웹사이트 모두 Rust로 작성되었습니다. 파서는 nom을, 웹사이트는 yew를 이용했습니다.

Requirements

Run development server

$ trunk serve

Run test

$ cargo test