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.

댓글 남기기

이 사이트는 스팸을 줄이는 아키스밋을 사용합니다. 댓글이 어떻게 처리되는지 알아보십시오.