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

## Section 1.1 Propositional Logic

1.1

PROPOSITIONAL LOGIC

PROPOSITIONS

1.1.1

1.1.2

TRUTH TABLES

1.1.3

1.1.4

1.1.5

1.1.6

## Section 1.1 Propositional Logic

CONDITIONAL OPERATOR

1.1.7

1.1.8

1.1.9

1.1.10

1.1.11

## Section 1.2 Logical Equivalences

1.2

LOGICAL EQUIVALENCES

1.2.1

1.2.2

## Chapter 1 Logic and Proofs

CONTRAPOSITIVE, etc.

1.2.3

1.2.4

LAWS of LOGIC

AVOIDING BOREDOM

1.2.5

1.3

1.3.1

1.3.2

## Section 1.3 Predicates & Quantifiers

CLASSROOM EXERCISE

1.3.3

1.3.4

## Chapter 1 Logic and Proofs

SCOPE of QUANTIFIERS

## NEGATION with QUANTIFIERS

CLASSROOM EXERCISE

1.3.5

## Section 1.4 Nested Quantifiers

1.4

NESTED QUANTIFIERS

TRANSPOSING QUANTIFIERS

1.4.1

1.4.2

## RECALL NEGATION with QUANTIFIERS

CLASSROOM EXERCISE

1.4.3

## Section 1.5 Rules of Inference

1.5

RULES OF INFERENCE

1.5.1

1.5.2

VALID ARGUMENTS

1.5.3

1.5.4

FALLACIES

## Section 1.5 Rules of Inference

NOTORIOUS FALLACIES

1.5.5

1.5.6

1.5.7

1.5.8

1.5.9

1.5.10

TERMINOLOGY

## Section 1.6 Introduction to Proofs

1.6

1.6.1

INTRODUCTION TO PROOFS

1.7

1.7.1

PROOF STRATEGY

1.7.2

1.7.3

1.9

LOGIC SUPPLEMENT
PROPOSITIONS

1.9.1

1.9.2

1.9.3