EDB — 26H

↑ ← → ↓

Vista

Ipotesi 27

[26H] Studieremo una relazione d’ordine (possibilmente parziale) $\leq$ su $ℕ$ tale che

\begin{aligned} (1) & \forall x \in ℕ, & (0 \leq x), \\ (2) & \forall x, y \in ℕ, & (x < S y) ⟺ (x \leq y); \end{aligned}

dove (come al solito)

x < y ≐ (x \leq y) \land (x \neq y) .

Scarica PDF

Autori: "Mennucci , Andrea C. G." .

Bibliografia — Indice analitico

Stai gestendo il blob in: Multiple languages

Questo contenuto è disponibile in: Italiano Inglese