sábado, 15 de septiembre de 2012

Semana 6

Variables libres y ligadas

En esta semana nos toco escoger un problema del siguiente pdf y realizarlo:
Liga del pdf: http://www.logicinaction.org/docs/ch4.pdf


Ejercicio a realizar:


Exercise 4.27 Give the bound occurrences of x in the following formula.
∃x(Rxy v Sxyz) ^ P x

Traducción:

Dar a las ocurrencias ligados de x en la fórmula siguiente.
∃x(Rxy v Sxyz) ^ P x

Antes para poder ver mejor el problema sacamos su árbol o estructura:

En la primera sentencia con tres ocurrencias: "∃x(Rxy v Sxyz) " estan ligados x1, x2 y x3, por un cuantificador existencial

Segunda sentencia que es "Px" X es completamente libre de los demás ya  que no es en el ámbito de un cuantificador al igual que sus acompañantes "yz"



Referencia y ligas de interés:
http://en.wikibooks.org/wiki/Formal_Logic/Predicate_Logic/Free_and_Bound_Variables
http://en.wikipedia.org/wiki/Free_variables_and_bound_variables


1 comentario:

  1. No queda claro a qué refieres con x1, x2, x3 (son dos ocurrencias de x posteriores a su cuantificación), pero está bien. 10 pts.

    ResponderEliminar