EDB — 26X

↑ ← → ↓

View

E10

[26X]Se $⪯$ è un ordinamento totale su $ℕ$ allora sono equivalenti

\begin{aligned} (1) & \forall x, y \in ℕ, & (x ⪯ y ⪯ S x) \Rightarrow (x = y \lor y = S x), \\ (2) & \forall x, y \in ℕ, & (x ≺ S y) ⟺ (x ⪯ y); \\ (3) & \forall x, y \in ℕ, & (x ≺ y) ⟺ (S x ⪯ y) . \end{aligned}

Notate l’analogia con [239]

Soluzione 1

Download PDF

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

Bibliography — Book index

Managing blob in: Multiple languages

This content is available in: Italian English