INDR 201 • Midterm • Discrete Mathematical Structure

Introduction

Negation of a Proposition

Conjunction

Disjunction

Conditional Statements: IF

BiConditional: If and only If

Exclusive OR

Truth Table 1

Truth Table 2

Exam like Question 1

Exam like Question 2

Tautology

Exam like Question 3

Contradiction

Converse Inverse Contrapositive

Exam like Question 4

Exam-like Question 5

Logical Equivalences & De Morgan's Laws

Logical Equivalences & De Morgan's Laws 2

Exam like Question 6

Exam like Question 7

Exam like Question 8

Exam like Question 9

Exam like Question 10

Exam like Question 11

Universal Quantifiers

Existential Quantifiers

Truth Value of Propositions with Quantifiers

Exam like Question 1

Exam like Question 2

Exam like Question 3

Exam like Question 4

Nested Quantifiers

Exam like Question 5

Exam like Question 6

Exam like Question 7

Exam like Question 8

Negation of Nested Quantifiers

Exam like Question 9

Exam like Question 10

Translations

Exam like Question 11

Exam like Question 12

Exam like Question 13

Exam like Question 14

Translation of Mathematical Statements

Translation of Statements With Multiple Variables

Exam like Question 15

Exam like Question 16

Exam like Question 17

Exam like Question 18

Exam like Question 19

Exam like Question 20

Logic Puzzle

Logic Puzzle 2

Valid Argument

Rules of Inferences

Example 1

Example 2

Example 3

Using Rules of Inferences to Build Arguments

Example 4

Exam-like Question 1

Exam-like Question 2

Exam-like Question 3

Direct Proof

Exam like Question 1

Exam like Question 2

Exam like Question 3

Exam-like Question 4

Exam-like Question 5

Contrapositive Proof

Exam like Question 6

Exam like Question 7

Exam like Question 8

Proof by Contradiction

Exam like Question 9

Exam like Question 10

Exam like Question 11

Exam like Question 12

Exam-like Question 13

Proof by Counterexample

Exam like Question 1

Exam-like Question 2

Existence Proof

Exam like Question 3

Existence and Uniqueness Proof

Exam-like Question 4

Exam-like Question 5

If and Only if Statements

Exam like Question 6

Exam like Question 7

Exam like Question 8

Exam like Question 9

Exam-like Question 10

Logic Basics 1

Logic Basics 2

Logic Basics 3

Logic Basics 4

Logic Basics 5

Logic Basics 6

Logic Basics 7

Translation 1

Translation 2

Translation 3

Translation 4

Quantifiers 1

Quantifiers 2

Quantifiers 3

Quantifiers 4

Quantifiers 5

Quantifiers 6

Proof Techniques 1

Proof Techniques 2

Proof Techniques 3

Proof Techniques 4

Proof Techniques 5

Proof Techniques 6

Proof Techniques 7

Proof Techniques 8

Proof Techniques 9

Proof Techniques 10

Definition and Notation

Subset

Example 1

Union and Intersection of Two Sets

Difference of Two Sets

Example 1

Symmetric Difference

Example 1

Set Identities

Example 1

Example 2

Example 3

Example 4

Example 5

Example 6

Generalized Intersections and Unions

Example 1

Example 2

Example 3

Definition of Function

Example 1

Injective Functions

Example 1

Example 2

Example 3

Example 4

Example 5

Example 6

Example 7

Example 8

Surjective Functions

Example 1

Example 2

Example 3

Example 4

Example 5

Example 6

Example 7

Bijective Function

Composition of Functions

Example 1

Inverse Function

Example 1

Example 2

Example 3

Image of a Set

Example 1

Proof Example For Image of a Function

Preimage of a Set

Example 1

Example 2

Example 3

Proof Example for Preimage of a Function

Example 1

Definition

Example 1

Countable Sets

Properties of Countable Sets

Example 1

Uncountable Sets

Sequences and Recurrence Relations

Recurrence Relation for Arithmetic Sequences

Recurrence Relation for Geometric Sequences

Sets 1

Sets 2

Sets 3

Sets 4

Sets 5

Sets 6

Sets 7

Functions 1

Functions 2

Functions 3

Functions 4

Functions 5

Functions 6

Recurrence Relations 1

Recurrence Relations 2

Cardinality 1

Cardinality 2

Cardinality 3

Cardinality 4

Cardinality 5

Cardinality 6

Cardinality 7

Sets and Functions