mcguireh
P(0)
| (#) | Suppositions and derivations | Theorem and subgoals | |
|---|---|---|---|
| We presuppose the following: | |||
| (1) |
∀x[P(x) means (if x > 1, then x² > x)] |
||
|
We start working with the formula being proved as follows: |
|||
| (2) |
P(0) |
||
≡ by (1) with "x := 0" |
|||
| (3) |
if 0 > 1, then 0² > 0 |
||
| ≡ by simplifying | |||
| (4) |
true |
||
| That concludes the proof. |
identification:
1233770995562
1233770977000
18562