Peano) que:
<p class="letra">el cero es un numero.</p>
<p class="letra">si n es un número, el sucesor de n también lo es.</p>
<p>¿Donde está la definición recursiva en este ejemplo?. ¿Podemos escribir definiciones recursivas en lógica de proposiciones?</p>
<p class="quitar-arriba">28.- Las definiciones recursivas pueden ser muy útiles para representar relaciones sobre conjuntos cuyo tamaño no está definido a priori. Por ejemplo, este:</p>
<p class="letra">ancestro(X,Y) :- hijo(Y,X).
<p class