hughmcguire
¬ ∀n [n² = n]
| (#) | Theorem and subgoals | ||
|---|---|---|---|
|
We start working with the formula being proved as follows: |
|||
| (1) |
¬ ∀n [n² = n] |
||
Assigning "n := 2" in that formula yields: |
|||
| (2) |
¬[2² = 2] |
||
| ≡ by simplifying | |||
| (3) |
true |
||
| That concludes the proof. |
identification:
1235317471963
1235317458291
13672