The logic book, Volume 1This outstanding book is a leading text for symbolic or formal logic courses All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and selfcontained) allows instructors the freedom to cover the topics they want in the order they choose. The third edition incorporates many new and updated exercises and expanded discussions on evaluating arguments and symbolization in predicate logic. A free Student Solutions Manual is packaged with every copy of the textbook. Two logic programs, Bertie III and Twootie, are available as a free download from the University of Connecticut Philosophy Department's Web site. The Web address for downloading the software is http://www.ucc.uconn.edu/~wwwphil/software.html. Bertie 3 is a proof checker for the natural deduction method and Twootie is a proof checker for the truth tree method. 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

Review: The Logic Book With Student Solutions Cd Rom
User Review  GoodreadsI know there are only so many ways to present formal logic to students, but this book is no substitute for a good instructor. It's calculations and formulas are precise, but its explanations are ... Read full review
Contents
BASIC NOTIONS OF LOGIC  1 
SYMBOLIZATION  18 
SEMANTICS  61 
Copyright  
10 other sections not shown
Common terms and phrases
abbreviates Assumption Assumption atomic components atomic sentence biconditional compatible completed open branch conclusion Conditional Proof conjunction consistent in PD construct contains decomposed Decomposition derivation rules disjunction example Existential Instantiation existentially quantified existentially quantified sentence F F F F T F finite set functionally goal sentence Hence inconsistent in SD individual constant inductive hypothesis instantiating constant interpretation least Lemma loves material conditional mathematical induction maximally consistent Metatheorem natural deduction negation occur paraphrase partial assignment positive integers predicate logic premises proof quantificationally consistent quantificationally false quantificationally true rules of SD satisfaction assignment semantics sentence is true sentence letter sentence on line sentences of SL sentential components sentential connectives sentential logic set of sentences Simp subderivation substitution instance systematic tree tree method truth truthfunctional expansions truthfunctionally equivalent truthfunctionally false truthfunctionally inconsistent truthfunctionally true truthfunctionally valid truthvalue assignment Universal Instantiation universally quantified sentence universe of discourse