Re: Clausura con cuantificadores de Hugo Sebastian Rodriguez Reyes - sábado, 25 de julio de 2015, 20:10 Número de respuestas: 0 Entonces, resumiendo pasos, da: M |= (∀x)((∀y)(P(x,y) ^ (∃x)x='x)) <=> (Por 2.4.5) Para todo a ∈ |M| :: M |= (∀y)(P(a,y) ^ (∃x)a='a)No? Enlace permanente Mostrar mensaje anterior Responder