Captulo 7 Lgica y predicados Una historia de fondo. Lgica Proposicional es un sistema rudimentario con expresiva muy limitado.

La nica relacin entre las diversas declaraciones que puede manejar es el de la identidad y la diferencia- el esquema del axioma ve simplemente que los primeros y ltimos estados deben ser idnticos, mientras que el del medio es arbitraria (posiblemente diferente de A). Considere, sin embargo, el siguiente argumento:

Dado que todos los estados implicados son diferentes, la representacin en PL Descender a que, obviamente, no es una frmula vlida. La validez de este argumento se basa en el hecho de que la premisa menor B hace Scrates, por as decirlo, una instancia del objeto de la mayor premisa A - lo que sea aplicable a todos los hombres, se aplica a cada uno en particular. En este caso particular, se podra tratar de perfeccionar la representacin de los estados involucrados un poco. Digamos que usamos la siguiente proposicional variables: Hombre (para 'ser hombre'), Mo (por "ser mortal ') y So (por "ser de Scrates). Entonces se obtiene: So Hombre y Man Mo, que no implica So Mo. Tuvimos suerte! porque los estados involucrados tenan estructura bastante simple. Si nosotros, para ejemplo, quera decir que "Algunos hombres son ladrones", adems de "Todos los hombres son mortales", difcilmente podra utilizar el mismo hombre en tanto casos. El siguiente argumento, tambin, es muy simple, pero ilustra la necesidad de hablar no slo sobre las declaraciones atmicas, sino tambin sobre enitites involucrados y las relaciones entre ellos:

Su validez no se basa tanto en la forma, dejar solo y la identidad diferencia de los estados afectados como sobre las relaciones entre la entidades involucradas, en particular, la de "ser un jefe de ... 'Como cada caballo es un animal, lo que se aplica a animales (o la cabeza) se aplica a los caballos tambin. Es difcil imaginar cmo este argumento posiblemente podra ser representado (como una declaracin vlida) en PL. De manera intuitiva, la "visin del mundo" semntica subyacente FOL puede resumirse como sigue. Tenemos un universo de discurso U que comprende todas las entidades del (actual) inters

Es posible que tengamos determinados medios de recoger algunas entidades. o Por ejemplo, un nombre, "Scrates" se puede utilizar para designar a un individuo en particular: Estos nombres corresponden a las constantes, o funciones con 0 argumentos. Un individuo tambin puede ser recogido por decir 'el padre de Scrates. Aqu, "el padre de... '(al igual que' la cabeza de... ') es una funcin de toma 1 argumento (de preferencia un hombre, pero en general una entidad arbitraria de U, ya que las funciones consideradas son en total) y que apunta a otro individuo. Las funciones pueden tener particularidades arbitrarias, por ejemplo, "los hijos de x e y 'es una funcin de 2 argumentos que vuelven un juego de nios, "las soluciones de

es una funcin de 2 regresa una serie de nmero. Para Facilitar y facilitando la expresin, podramos usar variable, x,y, etc., reposar durante entidades arbitrarias en ms expresiones complejas. Las entidades de U pueden ser clasificadas y relacionadas usando varios predicados y relaciones. o Podremos identificar subconjuntos de U por medio de predicados: el predicado M(y) la verdad de y en cada hombre ejemplo: M(Scrates) pero no sobre las cosas inanimadas identifica un subconjunto de los elementos de U sobre los que es verdadero, es decir, {y:U: M (y)}; predicado Mo (y) - verdad sobre los seres mortales o y falsa sobre todas las dems entidades - identifica el subconjunto de los seres mortales; H (y) - el subconjunto de caballos, A (y) - los animales, etctera. o

Sintaxis de FOL En PL la parte no-lgica (es decir, en relacin con el contexto de aplicacin) de la lenguaje era slo el conjunto de variables proposicionales #. En esta parte es FOL mucho ms rica que tambin significa que, en un contexto de aplicacin particular, el usuario puede - y debe - realizar elecciones ms detalladas. Sin embargo, este parte no lgica del lenguaje ha componentes bien definidos que se an hacen posible el tratamiento de FOL de una manera uniforme, relativamente independiente de esas opciones contextuales. El alfabeto de FOL consiste en dos mejores disjuntos and : El smbolo no lgico contiene smbolos no lgicos. Constantes individuales: Variables individuales:

Smbolos de Funcin: cada uno toma un nmero finito de argumentos. llamado Aridad. SEMANTICAS Por lo tanto, una estructura es simplemente un conjunto donde todo constante, la funcin y la relacin smbolos han sido interpretados de manera arbitraria. Las nicas preocupaciones de restriccin los aridades de los smbolos de funcin y relacin que tienen que ser respetados por su interpretacin.

Si A es satisfecho en V, se dice que V satisface A. De lo contrario V falsifica A. (A veces, tambin se dice que A es vlida en V, cuando se cumple una en V. Pero note que la validez de A en V no significa ni implica que. A es vlida (en general), slo que es satisfacible) frmulas vlidas - los satisfechos en todas las estructuras - tambin se les llama tautologas y insatisfacible las contradicciones. Aquellos que son falsables y satisfechas, es decir, que no son ni tautologas ni contradicciones, se llaman contingentes. A valoracin que satisface una frmula A es un modelo de A. Abiertas vs. Formulas cerradas

Propiedades semnticas de las frmulas cerradas tienen cierta semejanza con las respectivas propiedades de las frmulas de la PL. Sin embargo, esta similitud no aplicarse con igual fuerza para abrir las frmulas. Comenzamos por una comparacin aproximada PL. Una diferencia importante de PL se refiere a la relacin entre PL, tuvimos que para cualquier estructura de V y la frmula A. y . En

Simplemente porque cualquier V indujo valor booleano nico para todas las frmulas. La implicacin correspondiente no lo hace, en general, mantener en FOL:

En consecuencia, la implicacin (8.19) se cumple para las frmulas cerradas. ! Resumiendo esta observacin, podemos establecer la siguiente tabla que captura parte de la diferencia esencial entre las variables libres y ligados en trminos de las relaciones entre la negacin de la satisfaccin de una frmula, es una estructura arbitraria: y satisfaccin de su negacin,

Bsicamente, debemos proceder por induccin sobre el nmero de variables libres en A, pero esto no cambia nada esencial en el prueba. Por lo tanto, escribimos el cierre universal , donde significa . Mostramos implicaciones tanto.

CAPITULO 9. MS SEMANTICA Se conoce que toda frmula PL puede ser equivalentemente escrito en DNF y CNF. Una forma normal que es particularmente til en el estudio de la FOL es prenex Forma Normal. Una frmula A es en prenex forma normal si y slo si tiene la formar donde son cuantificadores y B no contiene cuantificadores. ,

Para mostrar que cada frmula es equivalente a una frmula en la que la FNP necesitar el siguiente lema. Sean A, B sea frmulas, F [A] sea una frmula con alguna ocurrencia (s) de A, y F [B] ser la misma frmula con la ocurrencia (s) de A reemplazado por B. Si . entonces