EDB — 1XP

view in whole PDF view in whole HTML

View

Italian

Esercizio 6

[1XP]Prerequisiti:[26H],[1XS].Difficoltà:*.

Assumiamo che un ordinamento (parziale) \(≤\) associato a \(ℕ\) soddisfi [26H]. Usate il principio di induzione forte [1XS] per mostrare che ogni \(A⊆ ℕ\) non vuoto ha un elemento minimale, cioè

\[ ∃ a∈ A~ ,~ ∀ b∈ A~ ,~ ¬(b{\lt}a)\quad . \]

Soluzione 1

[1XZ]

Download PDF
Managing blob in: Multiple languages
This content is available in: Italian English