Timeline for Induction vs. Strong Induction
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 29, 2020 at 19:22 | comment | added | user76284 | @john For strong induction? Try plugging in $x=0$ and simplify. In the case where $x=0$, $y<x$ is always false, so the inner implication is vacuously true, so the outer implication simplifies to $\varphi(0)$. | |
| Oct 29, 2020 at 10:38 | comment | added | john | Do you need a base case? | |
| Oct 29, 2020 at 10:38 | history | edited | john | CC BY-SA 4.0 |
More readable with parentheses
|
| May 15, 2020 at 19:15 | history | edited | user76284 | CC BY-SA 4.0 |
added 53 characters in body
|
| S Mar 22, 2020 at 23:05 | history | answered | user76284 | CC BY-SA 4.0 | |
| S Mar 22, 2020 at 23:05 | history | made wiki | Post Made Community Wiki by user76284 |