Upload
dinhphuc
View
224
Download
0
Embed Size (px)
Citation preview
Section 1.0 1.0.1
Chapter 1Logic andProofs
1.1 Propositional Logic1.2 Applications of Prop. Logic (read-only)1.3 Propositional Equivalences1.4 Predicates and Quantifiers1.5 Nested Quantifiers1.6 Rules of Inference1.7 Introduction to Proofs1.8 Proof Methods and Strategy
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.1 Propositional Logic 1.1.1
1.1 PROPOSITIONAL LOGIC
PROPOSITIONS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.1.2 Chapter 1 Logic and Proofs
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.1 Propositional Logic 1.1.3
TRUTH TABLES
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.1.4 Chapter 1 Logic and Proofs
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.1 Propositional Logic 1.1.5
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.1.6 Chapter 1 Logic and Proofs
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.1 Propositional Logic 1.1.7
CONDITIONAL OPERATOR
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.1.8 Chapter 1 Logic and Proofs
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.1 Propositional Logic 1.1.9
COMPOUND PROPOSITIONAL FORMS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.1.10 Chapter 1 Logic and Proofs
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.1 Propositional Logic 1.1.11
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.3 Logical Equivalences 1.3.1
1.3 LOGICAL EQUIVALENCES
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.3.2 Chapter 1 Logic and Proofs
CONTRAPOSITIVE, etc.
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.3 Logical Equivalences 1.3.3
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.3.4 Chapter 1 Logic and Proofs
CATEGORIES of PROPOSITIONAL FORMS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.3 Logical Equivalences 1.3.5
LAWS of LOGIC
AVOIDING BOREDOM
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.4 Predicates & Quantifiers 1.4.1
1.4 PREDICATES & QUANTIFIERS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.4.2 Chapter 1 Logic and Proofs
VARYING THE DOMAIN
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.4 Predicates & Quantifiers 1.4.3
CLASSROOM EXERCISE
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.4.4 Chapter 1 Logic and Proofs
SCOPE of QUANTIFIERS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.4 Predicates & Quantifiers 1.4.5
NEGATION with QUANTIFIERS
CLASSROOM EXERCISE
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.5 Nested Quantifiers 1.5.1
1.5 NESTED QUANTIFIERS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.5.2 Chapter 1 Logic and Proofs
TRANSPOSING QUANTIFIERS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.5 Nested Quantifiers 1.5.3
RECALL NEGATION with QUANTIFIERS
CLASSROOM EXERCISE
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.5.4 Chapter 1 Logic and Proofs
OPTIONAL CLASSROOM EXERCISE
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.6 Rules of Inference 1.6.1
1.6 RULES OF INFERENCE
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.6.2 Chapter 1 Logic and Proofs
VALID ARGUMENTS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.6 Rules of Inference 1.6.3
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.6.4 Chapter 1 Logic and Proofs
FALLACIES
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.6 Rules of Inference 1.6.5
NOTORIOUS FALLACIES
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.6.6 Chapter 1 Logic and Proofs
VALIDITY and TRUTH
LOGICAL RULES of INFERENCE
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.6 Rules of Inference 1.6.7
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.7 Introduction to Proofs 1.7.1
1.7 INTRODUCTION TO PROOFS
TWO FAMOUS PROBLEMS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.7.2 Chapter 1 Logic and Proofs
MATHEMATICAL PROOFS (DIRECT)
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.7 Introduction to Proofs 1.7.3
MATHEMATICAL PROOFS (INDIRECT)
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.7.4 Chapter 1 Logic and Proofs
TERMINOLOGY
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.8 Proof Strategy 1.8.1
1.8 PROOF STRATEGY
FORWARD AND BACKWARD REASONING
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.8.2 Chapter 1 Logic and Proofs
MATHEMATICAL PROOFS (by CASES)
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.8 Proof Strategy 1.8.3
PROVING QUANTIFIED ASSERTIONS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.9 Logic Supplement 1.9.1
1.9 LOGIC SUPPLEMENT
PROPOSITIONS
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
1.9.2 Chapter 1 Logic and Proofs
TIME OUT to discuss OBSCENITY
coursenotes by Prof. J. L. Gross for Rosen 7th Edition
Section 1.9 Logic Supplement 1.9.3
coursenotes by Prof. J. L. Gross for Rosen 7th Edition