===== File: operindu.txt =====

============================================================================
Definizione induttiva di somma, prodotto ed elevamento a potenza di interi
============================================================================

Definizione induttiva di somma tra due interi nonnegativi

    somma(x,y) = x                    se y = 0
    somma(x,y) = 1 + (somma(x, y-1))  se y > 0

Definizione induttiva di prodotto tra due interi nonnegativi

    prodotto(x,y) = 0                           se y = 0
    prodotto(x,y) = somma(x, prodotto(x, y-1))  se y > 0

Definizione induttiva di elevamento a potenza tra due interi nonnegativi

    esponente(x,y) = 1                               se y = 0
    esponente(x,y) = prodotto(x, esponente(x, y-1))  se y > 0