{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

mi - Template for MI1 For n let n be the statement We...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Template for MI1 For n ..... let Φ n be the statement ........................................................................................... We proceed by induction on n . Φ ... is true since ............................... Let k ... . Now assume Φ k is true. (We want to use this assumption to prove Φ
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}