Section 1.0 1.0.

Chapter 1
Logic and Proofs
1.1 Propositional Logic
1.2 Applications of Prop. Logic (read-only)
1.3 Propositional Equivalences
1.4 Predicates and Quantifiers
1.5 Nested Quantifiers
1.6 Rules of Inference
1.7 Introduction to Proofs
1.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