Siguiente: Macros de programación Un nivel arriba: Macros Anterior: Operaciones aritméticas

Pruebas compuestas

Las pruebas compuestas se definen como sigue

$$\begin{eqnarray*}\bigl\langle \mbox{\it T\'ermBas}\bigr\rangle &::=& \bigl\langl... ...ert \\ &&\neg \bigl\langle \mbox{\it PruebaComp}\bigr\rangle \end{eqnarray*}$$

Proposición 4.1   La proposición

es un macro en el lenguaje de los programas-while .

Demostración: Para cada prueba P construimos una expresión E_P tal que

$$\begin{array}{lcl} P(\mbox{\bf X})=\mbox{\it Verdadero} &\Le... ...x{\it Falso} &\Leftrightarrow& E_P(\mbox{\bf X})=0 \end{array}$$

De manera recursiva:

$$\begin{array}{lcl} P(X,Y)=(X<Y) &\Rightarrow& E_P(X,Y)=(Y\do... ...X\not=Y) &\Rightarrow& E_P(X,Y)=E_{\neg(X=Y)}(X,Y) \end{array}$$