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  GoodreadsThe book is okay, a bit confusing and pretty tedious. The programs are absolute crap. Do NOT buy this. It will crash and freeze constantly and you will grow to become very frustrated. If you have to ... 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