EDB β€” 269

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

English

Exercises

  1. [269]We know from [26K] that the relation \(n βŠ† m\) is total in \(β„•\). Prove that

    \begin{equation} βˆ€ n,m∈ β„•, n ∈ m \iff (n βŠ† m ∧ nβ‰  m)\quad . \label{eq:n_ in_ m_ iff_ 2} \end{equation}
    194

    By [24K] this implies

    \[ βˆ€ n,m∈ β„•, n βŠ† m \iff (n ∈ m \lor n= m)\quad . \]

    Solution 1

    [26B]

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