MATH 112 (Fall 23) • Discrete Mathematics • Part I

Introduction

Negation of a Proposition

Compound Propositions

Truth Table 1

Truth Table 2

Tautology

Contradiction

Converse Inverse Contrapositive

Practice Problem 1

Practice Problem 2

Practice Problem 3

Logical Equivalences 1

Logical Equivalences 2

De Morgans' Law

Example 1

Example 2

Example 3

Example 4

Universal Quantifiers

Existential Quantifiers

Truth Value of Propositions with Quantifiers

Example 1

Example 2

Nested Quantifiers

Example 3

Example 4

Negation of Nested Quantifiers

Example 5

Translations

Example 6

Example 7

Exam-like Question 1

Translation of Statements With Multiple Variables

Truth Table & Tautology (Fall 2022)

Logical Equivalances (Spring 2023)

Logical Equivalances (Spring 23: Make-Up)

Logical Equivalances (Summer 2020)

Logical Equivalances (Spring 2017)

Tautology (Fall 2022)

Quantifiers 1

Quantifiers 2

Quantifiers (Spring 2023)

Quantifiers (Spring 2023: Make-UP)

Quantifiers 3

Nested Quantifiers 1

Nested Quantifiers 2

Translations (Fall 2020)

Translations (Summer 2020)

Translations (Spring 2019)

Direct Proof

Example 1

Example 2

Example 3

Example 4

Proof by Contrapositive

Example 1

Example 2

Example 3

Proof by Contradiction

Example 1

Example 2

Example 3

Example 4

Proof By Cases

Example 1

Example 2

Example 3

Proofs of Equivalence

Example 1

Example 2

Example 3

Example 4

Introduction

Proof of Formulas by Induction

Example 1

Example 2

Example 3

Example 4

Proof of Divisibility by Induction

Example 1

Example 2

Proof of Inequality by Induction

Example 1

Example 2

Induction Related to Fibonacci

Strong Induction

Direct Proof 1

Direct Proof 2

Direct Proof 3

Direct Proof 4

Proof by Contrapositive (Fall 2020)

Proof by Contrapositive 1

Proof by Contrapositive 2

Proof by Contrapositive 3

Proof by Contradiction 1

Proof by Contradiction 2

Proof by Contradiction (Fall 2022)

Proof by Contradiction 4

Proof by Contradiction 5

Proof by Contradiction (Fall 2020)

Proof by Cases 1

Proof by Cases 2

Proofs of Equivalence 1

Proofs of Equivalence 2

Proofs of Equivalence 3

Induction for Formulas 1

Induction for Formulas 2 (Fall 2017)

Induction for Formulas 3 (Summer 2020)

Induction for Formulas 4 (Spring 2023)

Induction for Formulas 5 (Spring 23: Make-Up)

Induction Proof for Divisibility 1

Induction Proof for Divisibility 2

Direct Proof & Induction (Spring 2023)

Direct Proof & Induction (Spring 23: Make-Up)

Induction for Inequalities 1

Induction for Inequalities 2 (Fall 2022)

Induction Proof for Inequalities 3

Induction with Fibonacci (Spring 2019)

Induction with Fibonacci (Fall 2020)