Symbolic Logic

This book provides a comprehensive introduction to the essential elements of standard (classical) symbolic logic. Key topics covered include:

Modern interest in modal logic began with this seminal work by the American C. I. Lewis. As well as developing a theory of strict implication based on criticism of Russell and Whitehead’s concept of implication, it contains valuable historical information on the history and application of algebra to developments in symbolic logic.

Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces students to the fundamental concepts, techniques, and topics involved in deductive reasoning.

Gives students a clear account of the truth tree system for first-order logic. Provides an understanding of the importance of logic and of its relevance to other disciplines and skills to grasp sophisticated formal reasoning techniques. DLC: Logic, Symbolic and mathematical.