Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this
2Activity

Table Of Contents

Propositional Calculus
1.1 Building Blocks
1.2 Tautologies and Contradictions
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.16 Adding ∃x
2.17 Removing ∃x
2.18 Proof strategies in predicate calculus
3.2 Formal Number Theory
3.3 More about induction
3.4 Inductive Pitfalls
3.5 Proofs by Contradiction
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:
No results containing your search query
P. 1
Alogic_hirst

Alogic_hirst

Ratings: (0)|Views: 50 |Likes:
Published by christgeo

More info:

Published by: christgeo on Aug 16, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/17/2011

pdf

text

original

You're Reading a Free Preview
Pages 4 to 37 are not shown in this preview.
You're Reading a Free Preview
Pages 41 to 69 are not shown in this preview.
You're Reading a Free Preview
Pages 73 to 119 are not shown in this preview.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->