Sobre Prolog y preposiciones


UNIVERSIDAD DEL ISTMO

LÓGICA MATEMÁTICA


REGLAS DE INFERENCIA EN PROLOG


LILIANA MARTÍNEZ MEDINA


M. en C. ROBERTO ENRIQUE ALBERTO LIRA


GRUPO: 108SEMESTRE: 1

Cd. Ixtepec, Oax. A 25 de Noviembre del 2013



INTRODUCCIÓN
En lógica matemática se conoce de la existencia de la simbolización de proposiciones y también de los términos de enlace,pero a la vez existen ciertas reglas que nos permiten saber la conclusión tales como: el modus ponendo ponens, el modus tollendo tollens, doble negación, simplificación, adjunción, conjunción etc. Yque a continuación se presenta algunos ejemplos en donde se aplicaran algunas de estas reglas.























SIMBOLIZACIÓN

En lógica matemática se puede observar lautilización de reglas como son: la condición, adjunción y la conjunción cada una de ellas, cuenta con un símbolo especifico que les permite diferenciarse entre ellas. Como se sabe el símbolo que seutiliza para la condicional “”, en el caso de la conjunción se utiliza “&”, y finalmente la disjuncion utiliza el símbolo “&”.

Estos símbolos varían al momento de aplicarlos en un lenguaje deprogramación, ya que esto va dependiendo de la sintaxis que dicho lenguaje utilice. En el caso del lenguaje de programación PROLOG utiliza la siguiente simbología: para las conjunciones se utiliza eloperador and y se simboliza con una coma “,” para la disyunción se emplea el operador OR y este se simboliza por medio de punto y coma “;”, en el caso de la condicional se simboliza de la siguientemanera “:-”.


EJEMPLOS
En el siguiente ejemplo se muestra una pequeña lista que muestra a las compañeras de clase de maría y que posiblemente algunas de ellas podrían ser sus amigas:

Primerose realizo la lista introduciendo los nombres de cada una de las compañeras de maria



Al ejecutar el ejemplo en PROLOG se anota la palabra amiga seguida de una variable “x”, la cual nos...