Primitive recursive function: Difference between revisions

Revision as of 02:01, 10 June 2025

Revision as of 19:08, 10 June 2025

Line 138:

=== Predicate "Less or equal" ===

Using the property <math>x \leq y \iff x \mathbin{\oversetstackrel.-} y = 0</math>, the 2-ary function <math>Leq</math> can be defined by <math>Leq = IsZero \circ Sub</math>. Then <math>Leq(x,y) = 1</math> if <math>x \leq y</math>, and <math>Leq(x,y) = 0</math>, otherwise. As a computation example,

:<math>\begin{array}{lll}

& Leq(8,3) \\