## 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 counter-example. |

### What people are saying - Write a review

#### LibraryThing Review

User Review - keaswaran - LibraryThingThe software that comes with this book is really useful for teaching students, and helping them get practice with lots of proofs and translations, without needing a TA to stand over them and answer ... Read full review

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!!!!

### Contents

Introduction | 1 |

Atomic Sentences | 19 |

The Logic of Atomic Sentences | 41 |

Copyright | |

20 other sections not shown

### Other editions - View all

Language, Proof and Logic Jon Barwise,John Etchemendy,Gerard Allwein,Dave Barker-Plummer,Albert Liu No preview available - 2002 |

### Common terms and phrases

ambig-wffs 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 first-order consequence first-order language first-order logic first-order structure first-order 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 truth-functional truth-functional connectives tt-satisfiable Vx Cube(x Vx P(x