『논리적 추론과 증명』은 기존의 논리학 개론들과 달리 독자들이 논리학을 공부하면서 스스로 논증의 타당성을 증명할 수 있는 능력을 획득할 수 있도록 하는 데 중점을 두었고, 이러한 목적에 부합하는 증명의 예와 연습 문제들을 풍부하게 제시하고 있는 교재이다.

논리학은 단지 암기해야 할 지식에 머무르는 것이 아니라, 실제로 살면서 마주치게 되는 다양한 종류의 논증들의 타당성과 부당성을 평가하고 증명할 수 있는 능력을 키워 주는 과목이기에 저자는 자연 연역에 의한 증명 테크닉을 책 전체에 걸쳐 체계적으로 사용하고 있으며, 특히 독자들이 추론 규칙들을 체계적으로 이해하고, 또한 쉽게 활용할 수 있도록 배려하고 있다.