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. |
From inside the book
Results 1-3 of 42
Page 64
... counterexample . We might simply describe what is clearly a possible situation , one that makes the premises true and the conclu- sion false . This is the technique used by defense attorneys , who hope to create a reasonable doubt that ...
... counterexample . We might simply describe what is clearly a possible situation , one that makes the premises true and the conclu- sion false . This is the technique used by defense attorneys , who hope to create a reasonable doubt that ...
Page 65
... counterexample to the argument . Thus we have demonstrated that the conclusion does not follow from the premises . 5. Save your counterexample as World Counterexample 1 . Congratulations Remember To demonstrate the invalidity of an ...
... counterexample to the argument . Thus we have demonstrated that the conclusion does not follow from the premises . 5. Save your counterexample as World Counterexample 1 . Congratulations Remember To demonstrate the invalidity of an ...
Page 245
... counterexample , a tetrahedron which is not small . What strikes students as especially odd are examples like Vy ( Tet ( y ) → Cube ( y ) ) On the face of it , such a sentence looks contradictory . But we see that if it is asserted ...
... counterexample , a tetrahedron which is not small . What strikes students as especially odd are examples like Vy ( Tet ( y ) → Cube ( y ) ) On the face of it , such a sentence looks contradictory . But we see that if it is asserted ...
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