Segundo Parical 2012 Ejercicio 4 parte a

Segundo Parical 2012 Ejercicio 4 parte a

de Usuario eliminado -
Número de respuestas: 3

Hola, la letra de este ejercicio dice:

 Tomé Γ={(∀x)(∀y)(¬x='y→¬f(x)='f(y)), (∀x)(∃y)(f(x)='yΛP(x,y))}

Mi idea fue tomar las formulas que formalizan quen F es inyectiva y que F⊆R.

 Luego verifique que Γ⊆Th(K) y que Th(K)⊆Γ.

Mi pregunta es si este tipo de ejercicios se encaran de esta forma y ademas verificar si estoy razonando correctamente.

Desde ya muchas gracias, Antony.

En respuesta a Usuario eliminado

Re: Segundo Parical 2012 Ejercicio 4 parte a

de Matias Rodal Medina -

Yo tenia la misma duda, pero me tome la segunda formula distinta, use:

∀x P(x,f(x))

Pero me parece que quieren decir lo mismo