Esercizio
51
[1XN]Prerequisiti:[26H],[1XC].Difficoltà:*.
Usate il principio di induzione [1XC] per dimostrare il principio di induzione forte [1XS]
Attenzione: usate le proprietà nell’Ipotesi [26H], ma non assumete che \(≤\) sia un ordinamento totale: infatti useremo questo risultato per dimostrarlo.
Soluzione
1