Hola, me esta costando hacer la derivación de la irreflexiva, estoy pensando que puede ser por la definicion de hermanos que pide en la parte anterior
en particular llegue a que "Dos personas son hermanos si y solo si son dos personas distintas que tienen la
misma madre." en FORM es asi:
Saludos
Diego
Que tal Diego:
Tu definición de hermanos tiene un pequeño error (posiblemente error al transcribir). Hay una 
al final que debería ser 
.
Esa definición de hermanos se puede hacer más simple: se puede
decir directamente que 
sin necesidad del 
.
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:
)Esta idea se debe escribir como una derivación.
Si algo no queda claro, volvé a preguntar.