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

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

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