Primitive recursive function: Difference between revisions

Content deleted Content added
Nevermind, this is clarified by the section "Computer language definition".
Up to this section, the true value was associated with 1 and the false value was associated with 0. Then, the truth value of a variable x is undefined, as well as S(x). But the truth value of 0 is defined as false. Therefore, phrasing the sentence in terms of false (or 0) makes the behavior of the If function well defined.
Tags: Reverted Mobile edit Mobile web edit
Line 165:
= & z & \text{ by Def. } P_2^2 . \\
\end{array}</math>.
That is, <math>\textit{If}(x,y,z)</math> returns the thenelse-part, <math>yz</math>, if the if-part, <math>x</math>, is truefalse, and the elsethen-part, <math>zy</math>, otherwise.
 
=== Junctors ===