The Essence of Logic

by John Kelly

A gentle introduction to logic for undergraduate computing students.Beginning with Truth Tables, the reader is introduced to the concepts of Boolean Algebra, logical propositions and truth values. Propositional Logic is explored through using Semantic Tableaux, Natural Deduction and the Sequent Calculus. More formal axiomatic systems are examined and illustrated, and important theorems about these systems are presented. Properties of soundness, completeness and consistency are explained in terms of Propositional Systems; then concepts of resolution are introduced, with an eye towards their use in programming. The book then turns to First Order Predicate Logic, its theoretical underpinnings and uses.Undergraduate computer science and logic courses.

Genres: Technical

258 pages, Paperback

Published October 24, 1996

About the author

Librarian's note: There is more than one author in the GoodReads database with this name.

Reviews

[Narendar]

good