- 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}6si 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].
EDB — 239
Vista
Italiano
Autori:
"Mennucci , Andrea C. G."
.
Stai gestendo il blob in: Multiple languages