Sea $\mathbb{A}$ el conjunto que contiene a todos los automorianos. Amor y respeto son relaciones que relaciona un elemento del conjunto $\mathbb{A}$ con otro del conjunto $\mathbb{A}$, y cada una de estas relaciones están dentro de $\mathbb{A}^2$. Como todos los automorianos están relacionados y todos están relacionados con solo un automoriano, la relaciones amor y respeto cumplen la definición de función. Sea $f: \mathbb{A} \rightarrow \mathbb{A}$ la función amor, y $g: \mathbb{A} \rightarrow \mathbb{A}$ la finción respeto. El enunciado (2.) se puede reescribir como: $\forall A,C \in \mathbb{A}: g(C)=A \Rightarrow f(C)=f(A)$
y el (3.) como $\forall A,C \in \mathbb{A}: f(C)=A \Rightarrow g(C)=g(A)$
y el (4.) es lo mismo que afirmar que $f$ es una función sobreyectiva. Sea un elemento $A \in \mathbb{A}$ , entonces sabemos que existen $ B,C \in \mathbb{A}| f(C)=A$ y $g(A)=B$. De allí deducimos $f(C)=A \Rightarrow g(C)=g(A)=B \Rightarrow f(C)=f(B)=f(g(A))=A \Rightarrow g(g(A))=g(A) \Rightarrow g(B)=B$. También sabemos que existe unos $X,Y \in \mathbb{A}$ tal que $f(B)=X$ y $f(Y)=B$. De allí deducimos $g(A)=B \Rightarrow f(A)=f(B)=X$ ; $g(C)=B \Rightarrow f(C)=f(B)= \Rightarrow A=X \Rightarrow f(A)=A=f(B)$ ; $f(Y)=B \Rightarrow g(Y)=g(B)=B \Rightarrow f(B)=f(Y) \Rightarrow A=B$ y así demostramos que todo automoriano se respeta y ama a sí mismo, y por ende, aman y respeta a la misma persona, que son ellas. Por eso son auto-morianos, de auto-amor, quien hizo el nombre debe saber griego o habló griego capaz, pq es usual ver cómo cuando hay una situación de "ωα" la ω mata a la α se escribe y pronuncia solo ω.
Por eso son auto-morianos, de auto-amor, quien hizo el nombre debe saber griego o habló griego capaz, pq es usual ver cómo cuando hay una situación de "ωα" la ω mata a la α se escribe y pronuncia solo ω.
Por eso son auto-morianos, de auto-amor, quien hizo el nombre debe saber griego o habló griego capaz, pq es usual ver cómo cuando hay una situación de "ωα" la ω mata a la α se escribe y pronuncia solo ω.
pero analizás el nombre un poquito te sale solo a dónde vas a llegar, y herramientas como el griego te pueden ayudar, en fin y al cabo, no es necesario el griego pero recordemos que de gustibum non est disputandum
"cada vez que uses xor, piensa en mí, estaré usando vectores módulo 2"- un cordobés a otro.
Me cuesta leer la respuesta de Tiziano y me pierdo en el razonamiento así que voy a tratar de escribirla a mi manera. Por $(1)$ sabemos que existen las funciones amor y respeto. $F(x)$ es la función amor y $G(x)$ es la función respeto. Tomemos un $x$ cualquiera. Por $(4)$ sabemos que existe un individuo $y$ talque $F(y)=x$. Por (3) sabemos que si $F(y)=x$ entonces $G(y)=G(x)$. Por (2) sabemos que si $G(y)=G(x)$ entonces $F(y)=F(x)$ y como $F(y)=x$ entonces demostramos que $F(x)=x$ y todos los automorianos se aman a si mismos.
Para mostrar que además se respetan a si mismos supongamos que no es cierto. O sea que existe un $x$ tal que $G(x)=y$ con $y≠x$. Como $G(x)=y$ entonces $F(x)=F(y)$ y entonces $x=y$ lo cual contradice que $y≠x$.
