EDB — 239

view in whole PDF view in whole HTML

Vista

Italiano

E5

[239]Prerequisiti:[01R],[(3.171)],[24V].Siano \(x,y\) elementi (qualunque, non necessariamente numeri naturali), tali che

\begin{equation} x⊆ y⊆ S(x) \label{eq:x_ y_ Sx} \end{equation}
6

si mostri che allora

\[ x=y∨ y = S(x)\quad ; \]

dove le due condizioni precedenti sono mutualmente esclusive, e (nell’ipotesi ?? precedente) la seconda vale se e solo se \(x\in y\); riassumendo

\[ \ref{eq:x_ y_ Sx} ⇒ (x=y\iff y ≠ S(x)\iff x∉ y )\quad . \]

Notate l’analogia con [22H].

Scarica PDF
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in: Italiano Inglese