EDB — 22H

Exercises

1. [22H]Prerequisites:[1Z0]↺↻,[1Z1]↺↻.If \(x≤ y≤ S(x)\) then \(y=x∨ y=S(x)\).

   Solution 1

   [22J]↺↻

   (The meaning of this result is that \(S(x)\) is the immediate successor of \(x\), there is nothing in between...).