Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Standard view
Full view
of .
×

Propositional Calculus
1.1 Building Blocks
1.3 Logical Equivalence
1.4 Contrapositives and Converses
1.5 Analysis of Arguments
1.6 A Proof System
1.7 The Deduction Theorem
1.8 Generalizing L
1.9 Soundness and Completeness of L
1.10 Modifying L
1.11 Assessing Propositional Calculus
Predicate Calculus
2.1 Building Blocks
2.2 Translations
2.3 A brief interlude: Truth
2.4 Free variables
2.5 Models
2.6 Truth and Sentences
2.7 Truth and free variables
2.8 Logical validity
2.9. FORMULAS THAT AREN’T LOGICALLY VALID 45
2.9 Formulas that aren’t logically valid
2.10 Some logically valid formulas
2.12. A PROOF SYSTEM FOR PREDICATE CALCULUS 51
2.12 A proof system for predicate calculus
2.13 Dealing with ∀
2.14 Rule T
2.15 The Deduction Theorem
2.17 Removing ∃x
2.18 Proof strategies in predicate calculus
3.2 Formal Number Theory
3.4 Inductive Pitfalls
3.6 Other Strategies
4.1 Sequences, Bounds and Convergence
4.2. MORE ON CONVERGENCE AND BOUNDEDNESS 89
4.2 More on Convergence and Boundedness
4.3 A Note on Divergent Sequences
Introduction to set theory
5.1 Familiar sets and symbols
5.2 Operators on sets
5.3 Cartesian products and functions
5.4 Inverse functions, images, and pre-images
5.5 Sizes of sets
5.6 Dangers of na¨ıve set theory
0 of .
Results for:
P. 1
A Primer for Logic and Proof (2009 Ed)

A Primer for Logic and Proof (2009 Ed)

Ratings:

5.0

(1)
|Views: 2,232|Likes:
Holly P. Hirst & Jeffry L. Hirst.
2008-2009 Edition.

Propositional Calculus, Predicate Calculus, Alternation of Quantifiers & Sequences,
Transition to Informal Proofs, Introduction to Set Theory.
Holly P. Hirst & Jeffry L. Hirst.
2008-2009 Edition.

Propositional Calculus, Predicate Calculus, Alternation of Quantifiers & Sequences,
Transition to Informal Proofs, Introduction to Set Theory.

Availability:

See More
See less

02/06/2013

pdf

text

original

Pages 4 to 37 are not shown in this preview.
Pages 41 to 69 are not shown in this preview.
Pages 73 to 119 are not shown in this preview.