명제 논리와 술어논리의 핵심적 내용들에 대한 설명이 하나의 일관된 체계속에서 이루어지고 잇다는 것이 주된 특징이다. 논리와 논리학등이 도대체 무엇인지 세세하게 탐구하고 밝히게 한다.
             
목차

머리말...8
 1장 논리란 무엇인가...13
 2장 논증이란 무엇인가...21
 3장 실제로 좋은 논증이란 무엇인가...41
 4장 연역논리의 가장 기본적인 개념들은 무엇인가?...61
 5장 명제논리의 구문론은 어떠한가?...75
 6장 명제논리를 구성하는 기호들의 의미는 무엇인가?...83
 7장 진리표란 무엇인가?...103
 8장 진리표와 관계된 중요한 개념들은 무엇인가...123
 9장 진리함수적 연결사가 컴퓨터와의 관계는 어떠한가?...139
 10장 진리나무는 무엇인가?...155
 11장 형식증명이란 무엇인가?...173
 12장 SD에서 연역논리의 기본개념들은 어떻게 검증되는가?...209
 13장 명제논리는 어떠한 한계를 가지는가?...237

해답.색인...247