01204211/activity3 induction 1

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา
This is part of 01204211-58

In-class activities 3

A.1 (LPV) Prove that for any integer , we have that

.

In this problem, you have to state clearly the property that you want to prove. Note that we use variable in the statement, to avoid confusion, you should choose other variables when you work on the inductive step.


A.2 (MN) Prove that for any integer , the following formula is true:

.


A.3 (MN-exercise-1b) Prove that for integer ,


A.4


A.5


A.6

Homework 3

Due: 16 Sept 2015