Direct Proofs - even integers example

Direct Proofs - odd integers example

Direct Proofs - divisibility example

Direct Proofs - rational numbers example

Proof by Contraposition - odd number example

Proof by Contraposition - even number example

Proof by Contraposition - irrational number example

Proof by Contraposition - n square is odd example

Proof by Contraposition - n square not divisible by 5 example

Proof by Contraposition - product greater than 100 example

Proof by Contradiction - example 1

Proof by Contradiction - example 2

Proof by Contradiction - example 3

Proof by Contradiction - example 4

Proof by Contradiction - example 5

Proof by Contradiction - example 6

Proof by Contradiction - example 7

Proof by Contradiction - example 8

Proof by Contradiction - example 9

Proof by Contradiction - example 10

Induction - sum of even numbers

Induction - sum of odd numbers

Induction- sum of squares of odd numbers

Induction - sum of Fibonacci series

Induction - sum of odd numbers of Fibonacci series

Induction - multiplication of numbers

Induction - Inequality sum 1 by i

Induction - Inequality 1 by power of 2

Induction - inequality 3 power n

Induction - Inequality 3 power n greater than n square example

Induction - Inequality x power n

Induction - Inequality n power n

Induction - Inequality quadratic equation

Induction - Inequality n factorial example

Induction - divisible by 2 example

Induction - divisible by 3 example

Recursively Defined Functions and Sets, Structural Induction

Structural Induction - Introduction

Structural Induction - two variables example

Structural Induction - ordered pairs example 1

Structural Induction - ordered pairs example 2

Structural Induction - ordered pairs example 3

Structural Induction - ordered pairs example 4