Language, Proof, and Logic, Volume 2CD-ROM contains an updated and enhanced version of Tarski's World, which teaches the basics of first-order logic; Fitch, a program which allows the creation and checking of natural deduction proofs; Boole, a program which facilitates the creation of truth tables; Submit, an online grading facility that allows students to submit solutions to hundreds of computer-based exercises for immediate assessment; and the complete manuscript of the text in Adobe PDF format. |
Contents
Introduction | 1 |
Atomic Sentences | 20 |
The Logic of Atomic Sentences | 42 |
Copyright | |
22 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 assigns TRUE atomic sentences Axiom of Comprehension Axiom of Extensionality Axiom of Regularity axioms binary blocks language claim Claire clauses Completeness Theorem conclusion conditional proof conjunction contains contradiction counterexample defined disjunction Dodec(x dodecahedron domain of discourse Elim English sentences example Exercises existential express false first-order consequence first-order language first-order logic first-order structure first-order validity Fitch formal proof free variables function symbols Horn sentences inductive definition informal proof Intro Large(x LeftOf(x Lemma logical consequence logical truth logically equivalent means methods of proof natural numbers negation notation notion noun phrases objects predicates premises prenex form propositional logic prove quantified sentences rules sentence file sentence is true set theory step Submit subproof subset Suppose Tarski's World tautological consequence Tet(x tetrahedron things translations truth assignment truth table truth values truth-functional truth-functional connectives tt-satisfiable Vx Cube(x Vx P(x Vx Small(x Vx Vy