EDB — 277

Esercizi

1. [277]Prerequisiti:[276]↺↻,[26H]↺↻.Usando le proprietà in [26H]↺↻ e assumendo che \(≤\) sia una relazione d’ordine totale (come effettivamente dimostreremo), mostrate che

   \[ ∀ n,m∈ ℕ, (n{\lt} m ) ⇒ (Sn{\lt} Sm)\quad . \]
   Soluzione 1

   [278]↺↻