Language, Proof, and Logic, Volume 1A textbook designed for interaction between software and text exercises in concepts of logic, language, truth, argument, consequence, proof, and counterexample. 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

User Review  Flag as inappropriate
DONT BUY THIS!!!!!!! The book is okay but the programs are AWFUL!!!!! They constantly crash and freeze, generally in the most important part of my homework. The programs it includes do not even deserve one star but that is the lowest I can give it. This is a waste of money, do not buy it!!!!
Review: Language, Proof and Logic: Text and CD
User Review  Debasish Ghosh  GoodreadsIt's the best introduction to logic I have seen till date. Paul Snively also recommended Logical Labrynths which I need to get. Read full review
Contents
Introduction  1 
Atomic Sentences  19 
The Logic of Atomic Sentences  41 
Copyright  
20 other sections not shown
Common terms and phrases
ambigwffs assumption atomic sentences Axiom of Comprehension Axiom of Regularity axioms biconditional binary blocks language claim Claire clauses column conclusion conditional proof conjunction construct contains contradiction counterexample cube Cube(x disjunction Dodec(x dodecahedron domain of discourse Elim elimination English sentences example Exercises existential express F F F F T F false firstorder consequence firstorder language firstorder logic firstorder structure firstorder validity Fitch formal proof free variables function symbols infer informal proof Intro introduced Large(x LeftOf Lemma logical consequence logical truth logically equivalent means methods of proof natural numbers negation negation normal form normal form notation notion noun phrases objects P A Q predicates premises Proposition prove rules satisfies sentence file sentence is true set theory simple Small(x Soundness Theorem step Submit subproof Suppose Tarski's World tautological consequence Tet(a tetrahedron things translations truth table truth values truthfunctional truthfunctional connectives ttsatisfiable Vx Cube(x Vx P(x