You are on page 1of 42

Section 1.

1.0.1

Chapter

Logic and Proofs


1.1 Propositional Logic
1.2 Propositional Equivalences
1.3 Predicates and Quantifiers
1.4 Nested Quantifiers
1.5 Rules of Inference
1.6 Introduction to Proofs
1.7 Proof Methods and Strategy

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.1 Propositional Logic

1.1

PROPOSITIONAL LOGIC

PROPOSITIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.1.1

1.1.2

Chapter 1 Logic and Proofs

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.1 Propositional Logic

TRUTH TABLES

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.1.3

1.1.4

Chapter 1 Logic and Proofs

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.1 Propositional Logic

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.1.5

1.1.6

Chapter 1 Logic and Proofs

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.1 Propositional Logic

CONDITIONAL OPERATOR

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.1.7

1.1.8

Chapter 1 Logic and Proofs

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.1 Propositional Logic

1.1.9

COMPOUND PROPOSITIONAL FORMS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.1.10

Chapter 1 Logic and Proofs

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.1 Propositional Logic

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.1.11

Section 1.2 Logical Equivalences

1.2

LOGICAL EQUIVALENCES

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.2.1

1.2.2

Chapter 1 Logic and Proofs

CONTRAPOSITIVE, etc.

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.2 Logical Equivalences

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.2.3

1.2.4

Chapter 1 Logic and Proofs

CATEGORIES of PROPOSITIONAL FORMS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.2 Logical Equivalences

LAWS of LOGIC

AVOIDING BOREDOM

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.2.5

Section 1.3 Predicates & Quantifiers

1.3

1.3.1

PREDICATES & QUANTIFIERS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.3.2

Chapter 1 Logic and Proofs

VARYING THE DOMAIN

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.3 Predicates & Quantifiers

CLASSROOM EXERCISE

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.3.3

1.3.4

Chapter 1 Logic and Proofs

SCOPE of QUANTIFIERS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.3 Predicates & Quantifiers

NEGATION with QUANTIFIERS

CLASSROOM EXERCISE

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.3.5

Section 1.4 Nested Quantifiers

1.4

NESTED QUANTIFIERS

TRANSPOSING QUANTIFIERS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.4.1

1.4.2

Chapter 1 Logic and Proofs

RECALL NEGATION with QUANTIFIERS

CLASSROOM EXERCISE

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.4 Nested Quantifiers

OPTIONAL CLASSROOM EXERCISE

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.4.3

Section 1.5 Rules of Inference

1.5

RULES OF INFERENCE

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.5.1

1.5.2

Chapter 1 Logic and Proofs

VALID ARGUMENTS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.5 Rules of Inference

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.5.3

1.5.4

Chapter 1 Logic and Proofs

FALLACIES

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.5 Rules of Inference

NOTORIOUS FALLACIES

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.5.5

1.5.6

Chapter 1 Logic and Proofs

VALIDITY and TRUTH

LOGICAL RULES of INFERENCE

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.5 Rules of Inference

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.5.7

1.5.8

Chapter 1 Logic and Proofs

MATHEMATICAL PROOFS (DIRECT)

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.5 Rules of Inference

1.5.9

MATHEMATICAL PROOFS (INDIRECT)

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.5.10

Chapter 1 Logic and Proofs

TERMINOLOGY

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.6 Introduction to Proofs

1.6

1.6.1

INTRODUCTION TO PROOFS

TWO FAMOUS PROBLEMS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.7 Proof Strategy

1.7

1.7.1

PROOF STRATEGY

FORWARD AND BACKWARD REASONING

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.7.2

Chapter 1 Logic and Proofs

MATHEMATICAL PROOFS (by CASES)

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.7 Proof Strategy

1.7.3

PROVING QUANTIFIED ASSERTIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.9 Logic Supplement

1.9

LOGIC SUPPLEMENT
PROPOSITIONS

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.9.1

1.9.2

Chapter 1 Logic and Proofs

TIME OUT to discuss OBSCENITY

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

Section 1.9 Logic Supplement

coursenotes by Prof. J. L. Gross for Rosen 6th Edition

1.9.3