Ejercicio 6 Parte a.II

Ejercicio 6 Parte a.II

de Diego Ismael Marichal Chavez -
Número de respuestas: 1

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:

(P_{1}(x,y) \leftrightarrow (\neg (x =´ y) \wedge ((\exists z)((z =´ f(x)) \wedge (z =´ f(x))))))

Saludos 

Diego

En respuesta a Diego Ismael Marichal Chavez

Re: Ejercicio 6 Parte a.II

de Guillermo Calderon - InCo -

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.