El ejercicio que se escogio fue el 4.28, en el que dice:
Which quantifier occurrence binds which variable occurrences?
∀x(Px ⇒ ∃xRxx)
Traducido:
Que cuantificador de ocurrencia se unen con la variable de ocurrencia?
∀x(Px ⇒ ∃xRxx)
Aqui el arbol, con el fin de ver mejor el problema o la solucion que queremos encontrar:
Aqui el arbol, con el fin de ver mejor el problema o la solucion que queremos encontrar:
Solucion:
Las dos "x" son ocurrencia del primer cuantificador "∀x".
Y las ultimas dos "x" de esta sentencia "∃xRxx" son ocurrencias del cuantificador existencial "∃x".
OK; 10 pts.
ResponderEliminar