os es:</p>
<p class="letra">Para todo X y todo Y, si Y es hijo de X entonces X es ________ de Y.</p>

<p class="quitar-arriba">27.- La expresividad de la lógica de predicados, inclusive de subconjuntos suyos como la llamada lógica de primer orden, es notable cuando se trata de representar relaciones que se definen en términos de sí mismas. Las llamadas definiciones recursivas o recurrentes son sumamente útiles en matemáticas. Por ejemplo, para definir a los números, uno podría decir (siguiendo a 