LEMMON 스타일로 Latex 에서 자연 연역 추론을 표현하기

드디어 LEMMON 스타일로 자연 연역 추론을 표현할 방법을 알게 되었습니다. 몇 가지 다른 표현법을 알고 있었는데 배운 것과 다르고 좀 단순한 것을 찾다가 포기했는데 드디어 찾았습니다. 물론 Edward John Lemmon이 쓴  Beginning Logic 에 사용된 표기법을 말합니다.

이 내용은 http://phloxgroup.wordpress.com 에 있는 ” LEMMON-STYLE NATURAL DEDUCTION PROOFS IN LATEX “이라는 글입니다. 참고하세요. 메뉴얼도 위의 페이지에 있습니다.

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.