EDB — 25D

↑ ← → ↓ view in whole PDF view in whole HTML

View

English

Exercises

  1. [25D]Prerequisites:[24D],[26J].Prove that

    \[ ∀ x,y∈ ℕ~ ,~ x⊆ y~ ∧ ~ x≠ y ⇒ Sx⊆ y\quad . \]

    Solution 1

    [279]

    [ [25F] ]

Download PDF
Authors: "Mennucci , Andrea C. G." .
Managing blob in: Multiple languages
This content is available in: Italian English