Denne læreboken, skrevet på en konsis og brukervennlig måte, veileder leseren i å forstå og mestre bruken av klassisk logikk som et verktøy for logisk korrekt resonnement. Boken gir en systematisk og presis fremstilling av klassisk logikk, både på proposisjonelle og førsteordens nivå, og inneholder mange eksempler og øvelser, samt det nødvendige minimum av teori. De fleste øvelsene kommer med svar eller detaljerte løsninger. Boken forklarer grammatikken, semantikken og bruken av klassiske logiske språk, og lærer leseren hvordan man begriper meningen og oversetter formelene i klassisk logikk til og fra naturlig språk. Gjennom mange detaljerte eksempler illustreres bruk av de mest populære deduktive systemene - aksiomatiske systemer, semantiske tabeller, naturlig deduksjon og resolusjon - for å formalisere og automatisere logisk resonnement, og leseren får de tekniske ferdighetene som kreves for praktiske utledninger. Systematiske retningslinjer tilbys for hvordan man kan anvende logiske verktøy effektivt.
