Práctico 8

Que tal Diego:

Tu definición de hermanos tiene un pequeño error (posiblemente error al transcribir). Hay una $x$ al final que debería ser $y$.

Esa definición de hermanos se puede hacer más simple: se puede decir directamente que $f(x) =' f(y)$ sin necesidad del $z$.

Supongo que escribiste la irreflexiva en FORM. ¿cómo quedó?

La idea es probar que ninguna persona cumple ser hermano de sí mismo. Esto se deriva directamente de la definición de hermanos que dice que deben ser distintos.

Informalmente el razonamiento es:

• supongo que x es hermano de x
• concluyo que no se cumple x = x
• lo anterior se contradice con la reflexiva de la igualdad (RI1)
• llegamos a una contradicción ($\bot$)
• se concluye que no es cierto que x es hermano de x

Esta idea se debe escribir como una derivación.

Si algo no queda claro, volvé a preguntar.