Documentos de Académico
Documentos de Profesional
Documentos de Cultura
APUNTES
Ingeniera en Informtica ESCET Alessandra Gallinari 20072008
Prlogo
El contenido de esta publicacin es un guin de la asignatura de Lgica Matemtica para la titulacin de Ingeniera en Informtica de la Escuela Superior de Ciencias Experimentales y Tecnologa (ESCET) de la Universidad Rey Juan Carlos. Los principales objetivos de la asignatura son:
Introducir herramientas y conceptos bsicos de la Lgica Matemtica y sus aplicaciones. Ayudar al alumno a aprender a razonar y formalizar correctamente. Junto con la asignatura Lgica Informtica del prximo cuatrimestre, dar una formacin global acerca de los procedimientos formales y algortmicos de razonamiento automtico y resolucin formal de problemas.
Con estas notas de clase se intenta presentar de forma organizada el material que se expondr en las clases tericas. Por la naturaleza de estos apuntes, la exposicin no es completa y es fundamental que el alumno consulte tambin los libros recomendados en la bibliografa relativa a la asignatura. Las principales referencias bibliogrcas empleadas en estos apuntes son [A], [HLR], [MH], [R] y las notas de clase de los profesores Ana Pradera y Luis Sol. La primera parte de la publicacin trata la lgica proposicional y la segunda la lgica de predicados. Las dos partes tienen la misma estructura y estn divididas en cuatro captulos. Los primero tres introducen la sintaxis, la semntica y la teora de la demostracin, respectivamente. El ltimo contiene ejercicios de repaso, que son exmenes propuestos en aos acadmicos anteriores. Adems, cada captulo contiene un apartado de ejercicios. Estas notas incluyen tambin dos captulo preliminares. El primero es una breve introduccin histrica a la lgica y a su relaciones con la Matemticas y la Informtica, el segundo es un repaso de la teora de conjuntos. El apndice B contiene las soluciones de exmenes nales de aos anteriores y el apndice A el sistema axiomtico de Kleene, que es equivalente al sistema de deduccin natural presentado en estos apuntes en los captulos relativos a la teora de la demostracin.
ii
Cierra este captulo de introduccin una lista de consejos para los alumnos, que tiene la intencin de facilitar el estudio de la lgica matemtica. El principal objetivo del estudio de la lgica es el aprendizaje de las tcnicas de demostracin formales y sus aplicaciones a la resolucin de problemas. Por eso es indispensable que el alumno domine el lenguaje formal y las tcnicas de deduccin. Sin estos conocimientos, es imposible desarrollar la actividad creativa necesaria para resolver nuevos problemas, como los que sern propuestos a lo largo de la asignatura. En general, para aprender un lenguaje es necesario conocer su sintaxis y su semntica. Adems, slo con mucha prctica se puede llegar a hablar y razonar correctamente usando ese lenguaje. Estas observaciones se aplican tanto a los lenguajes naturales cuanto a los lenguajes formales, incluyendo a los lenguajes de programacin.
Lista de consejos:
Bibliografa: tener unos buenos libros de texto facilita enormemente el estudio de cualquier materia. Esta publicacin de apuntes de la asignatura es un guin para las clases, no pretende sustituir la bibliografa recomendada. Mtodo de estudio: las asignaturas de matemticas requieren un estudio llevado al da. Los temas del programa estn desarrollados de forma tal que el aprendizaje sea progresivo y, por tanto, no es posible entender un nuevo tema si se tienen dudas importantes sobre el anterior.
Para aclarar dudas es conveniente: - volver a estudiar el tema que presenta dicultades consultando distintos textos e intentar resolver los problemas propuestos, - preguntar las dudas al profesor en clase o durante sus horas de tutora, - trabar en grupo con otros compaeros.
Tiempo de estudio: en media, el estudio independiente del alumno tendra que ser de una hora y media para cada hora de clase terica. Este tiempo incluye las actividades dedicadas a la comprensin de la teora y de los ejemplos presentados en clase y a la resolucin de los ejercicios propuestos.
iii
Clases prcticas: durante la clases prcticas el alumnos puede hacer ejercicios individualmente o en grupo. En esto tipo de clases los alumnos pueden vericar si su nivel de comprensin de la materia es el adecuado y tienen la oportunidad de corregir errores de aprendizaje. En las clases prcticas es conveniente aprovechar la presencia y la disponibilidad del profesor para aclarar posibles dudas. Exmenes parciales: los exmenes parciales tambin sirven para que el alumno pueda vericar su nivel de conocimiento de la materia. Si es necesario, permiten mejorar su preparacin a tiempo para el examen nal. Constituyen un importante entrenamiento para poder superar con xito el examen nal.
Nota: La tabla contiene los smbolos del alfabeto griego. En estos apuntes, siguiendo la notacin tradicional, se usarn varios de ellos. Con mucha frecuencia se emplearn los smbolos:
= minscula, = mayscula, = psi, = ji.
iv
ndice General
1 Introduccin
1.1 1.2 El lenguaje de la lgica . . . . . . . . 1.1.1 Estructura del lenguaje formal 1.1.2 Niveles de la lgica formal . . Resumen de la historia de la lgica . 1.2.1 Lgica y losofa . . . . . . . 1.2.2 Lgica y matemticas . . . . . 1.2.3 Lgica e informtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 3 4 6 6 7 7
. 10 . 11 . 12 13 15 15 17 18 18 21
. . . . . . .
I Lgica de proposiciones
3 Sintaxis de la lgica proposicional
3.1 v Alfabeto del lenguaje formal de la lgica proposicional
23
. . . . 26
25
vi 3.2 Denicin recursiva de las expresiones bien construidas: frmulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2.1 El principio de induccin estructural para frmulas proposicionales . . . . . . . . . . . . . . . . . . . . . . . Representacin de las frmulas bien construidas . . . . . . . 3.3.1 Frmulas en forma usual y abreviada . . . . . . . . . 3.3.2 Frmulas en forma de rbol estructural . . . . . . . . 3.3.3 El principio de recursin estructural para frmulas proposicionales . . . . . . . . . . . . . . . . . . . . . . . Formalizacin del lenguaje natural . . . . . . . . . . . . . . Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 28 . . . . 29 31 31 33
3.3
3.4 3.5
. 36 . 37 . 41
Valoraciones de un lenguaje formal . . . . . . . . . . . . . . Evaluacin semntica de frmulas . . . . . . . . . . . . . . . 4.2.1 Tablas de verdad . . . . . . . . . . . . . . . . . . . . Modelos y contraejemplos de una frmula bien construida. Tautologas, contingencias y contradicciones . . . . . . . . . Evaluacin semntica de deducciones. Consecuencia lgica . Equivalencia de frmulas . . . . . . . . . . . . . . . . . . . . Mtodos de refutacin. Tableaux . . . . . . . . . . . . . . . 4.6.1 Refutacin . . . . . . . . . . . . . . . . . . . . . . . . 4.6.2 Denicin de los tableaux . . . . . . . . . . . . . . . 4.6.3 Aplicaciones de los tableaux . . . . . . . . . . . . . . Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . Denicin de sistema formal axiomtico . . . . . . . 5.1.1 Subdeducciones y notacin de Fitting . . . . . El sistema de deduccin natural de Gentzen . . . . . 5.2.1 Denicin del sistema de deduccin natural de 5.2.2 Reglas derivadas del sistema de Gentzen . . . Tableaux sintcticos . . . . . . . . . . . . . . . . . . Completitud, correccin y decidibilidad . . . . . . . . Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
45
5 Teora de la demostracin
. . . . . . . . . . . . . . . Gentzen . . . . . . . . . . . . . . . . . . . .
77
vii
Primer examen parcial 2005/2006 . . . . . . . . . . . . . . . . 109 Primer examen parcial 2006/2007 . . . . . . . . . . . . . . . . 111 Examen parcial opcional 2006/2007 . . . . . . . . . . . . . . . 112
109
II
113
. 116 . 121 . 124 . 125 . 126 . 126 . 127 . 128 . 129 . 133 . 142
115
7.3
7.4 7.5
8.6
viii
9 Teora de la demostracin
9.1 9.2 9.3 10.1 10.2 10.3 10.4 10.5 10.6
Denicin del sistema de deduccin natural de Gentzen . 9.1.1 Reglas derivadas del sistema de deduccin natural Correccin, completitud y decidibilidad . . . . . . . . . . Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . Segundo examen parcial 2006/2007 . . Examen nal A de febrero 2005/2006 . Examen nal B de febrero 2005/2006 . Examen nal de septiembre 2005/2006 Examen nal de febrero 2006/2007 . . Examen nal de septiembre 2006/2007 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
167
168 171 174 176 178 179 182 185 187 191
10 Problemas de repaso
177
195 207
207 210 215 218 230 238 245
Captulo 1 Introduccin
La lgica formal es la ciencia que estudia las leyes de inferencia en los razonamientos. Por medio de la formalizacin del lenguaje y de sus reglas bsicas, proporciona las herramientas necesarias para poder tratar e intentar resolver rigurosamente problemas que tienen sus origines y aplicaciones en todas las reas de las ciencias. En particular, los alumnos de la Ingeniera en Informtica podrn aplicar sus conocimientos de lgica al estudio del lgebra, del Clculo, de la Matemtica Discreta, de la Electrnica Digital, de la Teora de Autmatas y Lenguajes Formales, de la Programacin, de las Bases de Datos, etc. El contenido de este primer captulo es una breve introduccin a los conceptos generales que se desarrollarn en esta publicacin.
1.1
El lenguaje de la lgica
El lenguaje natural que utilizamos en la comunicacin humana permite un alto grado de exibilidad. Ese lenguaje est caracterizado por su gramtica, que nos permite determinar si una cierta frase (una combinacin de palabras) es vlida. Por ejemplo, en el idioma espaol la frase La mesa habla suavemente es una frase vlida, ya que est compuesta por un artculo (la), seguido por un sujeto (mesa) y un predicado (habla suavemente), que consiste a su vez de un verbo (habla) y de un adverbio (suavemente). Es la 1
El lenguaje natural
Por el otro lado, la semntica de un lenguaje trata el estudio de los sentidos de las frases sintcticamente vlidas. As, la frase del ejemplo anterior es sintcticamente correcta, pero falta de sentido semntico.
El lenguaje formal
La exibilidad de los lenguajes naturales se basa en la complejidad de sus gramticas. Es muy complicado, si no imposible, dar una representacin completa de las reglas sintcticas de los lenguajes hablados. Por esa razn, los lenguajes naturales presentan unas limitaciones: si queremos poder formular slo armaciones que se puedan denir correctas (sintcticamente) o verdaderas (semnticamente) sin ningn grado de ambigedad, tendremos que denir un lenguaje ms preciso que se suele denominar lenguaje formal. Sin un lenguaje formal sera imposible estudiar las matemticas, programar un ordenador y, en general, desarrollar razonamientos cientcamente irrefutables. El siguiente ejemplo ilustra como en el lenguaje natural, en este caso en espaol, existen oraciones para las cuales ni siquiera tiene sentido preguntarse si son verdaderas o falsas.
Proposiciones
Por las razones anteriores y por la necesidad de realizar clculos exactos, el lenguaje formal de la lgica se construye a partir de unos elementos bsicos (atmicos) llamados proposiciones, que son oraciones declarativas (apofnticas) simples, a las cuales se pueden asociar valores de verdad sin ninguna ambigedad. Entonces las frases Cmo te llamas? y Por favor, dame tu libro no son proposiciones, sin embargo veremos que las frases Hoy llueve o Estudio mucho lo son.
Metalenguaje
Denimos metalenguaje al lenguaje, en nuestro caso el espaol, que vamos a usar para denir un lenguaje formal. Por ejemplo, en la frase 2 es el nmero real positivo tal que su cuadrado es igual a 2 se usa el metalenguaje espaol para denir el smbolo matemtico 2, que pertenece a un lenguaje formal.
Razonamiento (deduccin, inferencia, argumento): es la obtencin de un nuevo conocimiento (conclusin) a partir de una serie de conocimientos (premisas). Validez formal de un razonamiento: un razonamiento es formalmente vlido si la conclusin es necesariamente verdadera, siendo las premisas verdaderas.
4 La lgica proporciona las herramientas necesaria para el razonamiento matemtico, pero tambin para muchas otras aplicaciones. El diseo de circuitos de un ordenador y a la vericacin de la validez de un programa son slo dos ejemplos de estas aplicaciones. Resumiendo, la estructura de todo lenguaje formal viene denida por su sintaxis, semntica y sistemas de demostracin:
de un conjunto de signicados (generalmente verdadero o falso) que se puedan asociar a una frmula. Permite denir la validez de una frmula o de un razonamiento.
riguar cundo una frmula o un razonamiento son vlidos. En el contexto de la sintaxis se denominan teora de la demostracin. En el caso de la semntica se denominan teora interpretativa.
2) Formalizacin de razonamientos: Razonamiento vlido: Premisa 1: Si estudio todo el temario, entonces apruebo la asignatura (e a). Premisa 2: No he aprobado la asignatura ((a)) Conclusin: No he estudiado todo el temario ((e)) Razonamiento no vlido: Premisa 1: Si estudio todo el temario, entonces apruebo la asignatura (e a). Premisa 2: No he estudiado todo el temario ((e)) Conclusin: No apruebo la asignatura ((a))
mer orden es una generalizacin de la lgica de proposiciones. Distingue entre los objetos del discursos y sus propiedades o posibles relaciones entre ellos. Adems, introduciendo nuevos elementos como los cuanticadores existenciales y universales ( : existe un, : para todo), permite estudiar la estructura interna de los enunciados.
Premisa 1: Todas las personas son mortales (x(P (x) M (x))) Premisa 2: Scrates es una persona (P (s)) Conclusin: Scrates es mortal (M (s))
Lgicas de orden superior: son extensiones de la lgica proposicional y de predicados de primer orden que amplan el uso de los cuanticadores a las propiedades y a las relaciones entre los objetos. Notar que en la lgica de primer orden los cuanticadores se reeren slo a los objetos. En esta publicacin se tratar exclusivamente el estudio de la lgica proposicional y de predicados de primer orden.
7 Fue Leibniz, en el siglo XVII, el primero a formular la lgica como base del razonamiento matemtico, pero sus estudios fueron abandonados hasta el siglo XIX, cuando nalmente se fund la lgica matemtica como ciencia.
8 A lo largo de los aos sesenta se mejoran los primeros sistemas de demostracin automtica y en el 1965 aparece la la regla universal de resolucin con unicacin de Robinson. En los aos setenta se desarroll la programacin lgica como herramienta de resolucin de problemas. En 1972 Colmerauer cre el primer lenguaje de programacin lgica: Prolog. A partir de los aos ochenta se empiezan a utilizar nuevas lgicas no clsicas, como, por ejemplo, lgicas que permiten dar una interpretacin probabilista de la incertidumbre. Los mtodos deductivos de la lgica matemtica estn a la base de la demostracin automtica de teoremas. Se trata de buscar los sistemas de demostracin ms ecientes para su implementacin en un ordenador. Denida la semntica de un lenguaje de programacin, se pueden usar los mtodos de demostracin de la lgica matemtica para vericar (automticamente) la correccin de programas y sus propiedades. La programacin lgica est a la base de la inteligencia articial y permite deducir nuevos conocimientos a partir de una base de conocimientos (los axiomas) y una serie de deducciones automticas. Por tanto, algunas de las reas de aplicacin de la lgica en informtica son:
La minera de datos. La description de la semntica de los lenguajes de programacin y la vericacin de programas. La demostracin automtica de teoremas. La programacin lgica y los sistemas basados en el conocimiento en la inteligencia articial.
{x : P (x)}.
El conjunto obtenido estara formado por los elementos a del universo de discurso U que satisfacen la propiedad P (x), es decir, tales que se pueda armar que P (x) es verdadera si x = a. As, por ejemplo, sea nuestro universo de discurso los seres humanos y sea P (x) la propiedad de un genrico ser humano x de ser alto al menos 1,70 metros. Dado un particular ser humano a, es posible determinar si a mide al menos 1,70 metros, es decir, si a pertenece al conjunto {x : P (x)}. 9
10 Ms concretamente, inicialmente se aceptaba la idea que toda propiedad P (x) divide un universo de discurso en dos partes: la formada por los objetos a que satisfacen P (x), a {x : P (x)}, y la formada por los objetos a que no la satisfacen, a / {x : P (x)} . En 1903 Bertrand Russell propuso el siguiente ejemplo de conjunto (segn la denicin de conjunto de su poca)
A = {x : x / x},
y pregunt si A A. De la denicin de A se sigue que A A implica que A / A y, adems, que A / A implica que A A. Por tanto se obtiene la contradiccin: A A si y slo si A / A. El ejemplo de Russell muestra que no toda propiedad determina un conjunto, hace falta restringir la clase de propiedades que denen conjuntos. La primera de las restricciones es el axioma de especicacin: una propiedad por s sola no determina un conjunto, sino que selecciona elementos de un conjunto dado al que es necesario referirse. Para no incurrir en contradiccin con el axioma de especicacin, es necesario asumir la no existencia del conjunto universal U, el conjunto de todos los conjuntos. En efecto se puede demostrar que si U fuera un conjunto tambin A = {x U : x / x} tendra que ser un conjunto. As que la paradoja de Russell no se podra resolver. En respuesta a la paradoja de Russell, se propusieron varias formulaciones axiomticas de la teora de conjuntos. En nuestra exposicin, utilizaremos reglas de construccin de conjuntos formuladas en trminos de la lgica de predicados, a partir de los conceptos primitivos de conjunto y pertenencia (Zermelo-Fraenkel,1922).
clase), nita o innita, de objetos de un universo U, tal que para todo objeto x se pueda determinar si x pertenece a A. Los objetos de un conjunto sern
11
Ejemplos 2.1.2
N := {1, 2, } es el conjunto de los nmeros naturales, Z := { , 2, 1, 0, 1, 2, } es el conjunto de los nmeros enteros, F := { p : p, q Z y q = 0} es el conjunto de las fracciones de q nmeros enteros, A := {x R : x2 = 1} = {1, 1} es el conjunto solucin de la ecuacin x2 1 = 0 .
Notacin: los smbolos Q, R y C denotarn, respectivamente, el conjunto de los nmeros racionales, reales y complejos.
1)A B 2)B A
(2.1) (2.2)
{2, 1}.
B =
12
Los elementos de A son las soluciones de la ecuacin x2 + x 2 = 0, es decir, son los nmeros x1 = 1 y x2 = 2. Ya que x1 B y x2 B , A B. Ahora est claro que tambin B A. Por tanto, A = B. 2) Sean A = {a, b, c, d} y B = {c, a, d, b}, entonces A = B.
Nota: el conjunto no es igual al conjunto A = {}, pus A tiene un elemento, el conjunto vaco. Ejemplo 2.1.4 Sea A = {x R : x2 = 1}. Entonces A = . Proposicin 2.1.5 Sea A un conjunto cualquiera. Entonces A.
La justicacin de esta proposicin es inmediata, ya que (como estudiaremos muy pronto) toda deduccin con una premisa falsa es verdadera.
la unin de A y B es el conjunto A B de todos los elementos de A o de B, es decir A B = {x : x A x B }, la interseccin de A y B es el conjunto A B de todos los elementos que pertenecen tanto a A como a B, es decir A B = {x : (x A) y (x B )}.
el complemento (relativo) de B respecto de A es el conjunto A\B de todos los elementos de A que no pertenecen a B, es decir A\B = {x : (x A) y (x / B )}.
13
el producto cartesiano de dos conjuntos no vacos A y B es el conjunto de todos pares ordenados (a, b) con a A y b B, es decir A B = {(a, b) : (a A) y (b B )}.
Para representar grcamente un producto cartesiano AB de dos conjuntos, se puede utilizar un sistema de ejes. Los elementos de A se representan por medio de puntos del eje de las abscisas y los elementos de B por medio de puntos del eje de las ordenadas. Entonces los elementos de A B son todos los puntos de coordenadas (a, b). Por ejemplo, sean A = {x, y, z } y B = {a, b}. La gura (2.1) es una representacin grca (obtenida con el sistema Maple sustituyendo las letras por nmeros: x = 1, y = 2, z = 3, a = 1, b = 2) de A B.
4
y2
2 x
Nota: Para todo conjunto A, P (A) es siempre no vaco, ya que P (A). Ejemplo 2.1.6 Sea A = {a, b, c}. Entonces
P (A) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}.
Sean A, B y C tres conjuntos. Las principales propiedades de las operaciones con conjuntos son las siguientes:
AA=A AA=A
2) conmutatividad de la unin y de la interseccin:
(2.3) (2.4)
AB =BA AB =BA
3) asociatividad de la unin y de la interseccin:
(2.5) (2.6)
A (B C ) = (A B ) C A (B C ) = (A B ) C
(2.7) (2.8)
A (B C ) = (A B ) (A C ) A (B C ) = (A B ) (A C )
5)
(2.9) (2.10)
A=A A=
6) Leyes de De Morgan (para conjuntos):
(2.11) (2.12)
(2.13) (2.14)
15
Observacin: Se puede comprobar que si A es un conjunto nito con Card(A) = n, entonces Card(P (A)) = 2n . Ejemplos 2.1.7 1) Card(N) =
2) Sean A = {2, 0, 3, 17} y B = {7, 0, 5, 17, 18}. Entonces, A B = {7, 2, 0, 3, 5, 17, 18} y A B = {0, 17}. Luego, se verica que
2.2
Relaciones binarias
Ejemplo 2.2.2 Sean A = {a, b, c}, B = {d, e} y R = {(a, d), (b, e), (c, d), (c, e)}.
Si R A A (es decir, si A = B ), se dir que R es una relacin binaria en A. En las siguientes deniciones vamos a emplear el cuanticador universal y el smbolo de implicacin de la lgica de predicados, que estudiaremos en detalle. La notacin x A quiere interpretarse como para todo elemento x del conjunto A . Una relacin R en un conjunto no vaco A puede ser:
16
4
y2
2 x
R1) reexiva: x A xRx R2) simtrica: x, y A xRy yRx R3) antisimtrica: x, y A (xRy R4) transitiva: x, y, z A (xRy
y yRx) x = y y yRz ) xRz
Para estudiar las propiedades de una relacin binaria sobre un conjunto A es conveniente representar grcamente la relacin (ver ejercicio (2.5.6)).
A que sean al mismo tiempo simtricas y antisimtricas son tales que R {(x, y ) : x = y }.
a es el padre de b}. Esta relacin no tiene ninguna de las propiedades R1, R2 y R4. 2) En el conjunto de las partes P (A) de un conjunto A, la relacin de inclusin R = {(B, C ) P (A) P (A) : B C } es reexiva, antisimtrica y transitiva. 3) En el conjunto Z de los nmeros enteros, la relacin R = {(n, m) Z Z : n m es par} es reexiva, simtrica y transitiva. 4) En el conjunto de las rectas del plano real, la relacin r es ortogonal a s no es reexiva, es simtrica y no es transitiva.
17
imagen directa (o rango) de R al conjunto Im(R) = {y B : x A tal que (x, y ) R} B imagen inversa (o recproca) de un subconjunto C de B al conjunto R1 (C ) = {x A : y C tal que (x, y ) R} A codominio de R al conjunto B.
Si a A y es una relacin de equivalencia en A, se puede denir un subconjunto C (a) de A denominado clase de equivalencia de a :
C (a) = {x A : x a}.
(2.19)
Notar que C (a) no es vaco ya que toda relacin de equivalencia es reexiva. Sea b otro elemento de A. Puede ocurrir slo una de las siguientes situaciones: si a b, entonces C (a) = C (b), si a b, entonces C (a) C (b) = . (2.20) (2.21)
Por tanto, si consideramos el conjunto de las distintas clases de equivalencias, este conjunto representa una particin de todo A entre subconjuntos disjuntos y se denomina conjunto cociente.
18
3) Nmeros racionales En el conjunto F de las fracciones F := {p/q : p, q Z y q = 0}, para 1 2 y r2 = p , se dene la relacin de equivalencia todo par de fracciones r1 = p q1 q2 R como r1 r2 p1 q2 = p2 q1 . El conjunto de las clases de equivalencia es el conjunto Q de los nmeros racionales.
conjunto es la clase de la relaciones de orden, que no necesitaremos conocer para el estudio de la lgica matemtica. Adems, el alumno tendr ocasin de estudiar las relaciones de orden en la asignatura paralela de Matemtica Discreta y lgebra. Por estas razones, omitimos su estudio en estos apuntes.
{(a, d, 1), (b, e, 1), (c, d, 2), (c, e, 2)} es una relacin ternaria sobre A1 A2 A3 .
2.4 Funciones
Una funcin (o aplicacin) (n + 1)aria, f : A1 A2 An B, de un conjunto no vaco A = A1 A2 An a un conjunto no vaco B se puede denir como una regla de correspondencia que asigna a cada elemento (a1 , a2 , . . . , an ) A un nico elemento b = f (a1 , a2 , . . . , an ) B. Esta denicin es muy intuitiva, pero no explica el trmino regla de correspondencia con suciente claridad. La siguiente denicin es ms general e identica el concepto de funcin con una clase particular de relaciones binarias.
Denicin 2.4.1 Sean A1 , A2 , . . . , An y B conjuntos no vacos. Una funcin (o aplicacin) (n + 1)aria f : A1 A2 An B es una
19
f 1) dom(f ) = A1 A2 An , f 2) si (a1 , a2 , . . . , an ) dom(f ) existe un nico f (a1 , a2 , . . . , an ) B tal que (a1 , a2 , . . . , an , f (a1 , a2 , . . . , an )) f.
Entonces una funcin f : A1 A2 An B es una relacin entre A1 A2 An y B tal que a cada elemento de (a1 , a2 , . . . , an ) A1 A2 An corresponde un nico elemento f (a1 , a2 , . . . , an ) del codominio B. Si (a1 , a2 , . . . , an , f (a1 , a2 , . . . , an )) f, se dir que f (a1 , a2 , . . . , an ) es la imagen de (a1 , a2 , . . . , an ) por la funcin f o el valor de f en (a1 , a2 , . . . , an ). Si el dominio de una funcin est compuesto de un slo conjunto A, entonces la funcin es binaria.
Test de la recta vertical: Una relacin R A B es una funcin si y slo si 1) dom(R) = A y 2) su grca corta a cada recta vertical en un punto a lo ms. Ejemplos 2.4.2 1) La relacin binaria denida en el ejemplo (2.2.2) no es una funcin. 2) La funcin f : R R denida por x R, f (x) = x, es tal que dom(f ) = R y Im(f ) = R. 3) La funcin f : R R denida por x R, f (x) = x2 , es tal que R e Im(f ) = R+ {0}(= [0, )). En este caso, f 1 ([0, 2]) = dom (f ) = [ 2, 2] y f 1 ((2, 0]) = {0}. 4) La funcin f (x) = x est denida slo para nmeros reales no negativos, entonces dom(f ) = Im(f ) = [0, ). x+2 5) El dominio de la funcin f (x) = x 2 1 es R\{1, 1}. Denicin 2.4.3 Dos funciones f, g A B son iguales si y slo si:
a) dom(f ) = dom(g ) b) x dom(f ), f (x) = g (x).
g f = {(a, g (f (a))) : a A} A C.
20
sea f : R R+ {0} la funcin f (x) = x2 + 1 y sea g : R+ {0} R+ {0} la funcin g (x) = x. + Entonces, la funcin g f : R R {0} es la funcin (g f )(x) = g (f (x)) = x2 + 1. b) Sean D el conjunto de las personas, M el subconjunto de las madres y A el subconjunto de las abuelas. Denimos las funciones f : D M y g : M A que asocian a toda persona y a toda madre, respectivemente, su propia madre. En este caso la funcin g f : D A resulta ser la funcin que asocia a toda persona su abuela materna.
21
2.5
Ejercicios
Ejercicio 2.5.2 Sean A = {1, 0, 3, 7} y B = {1, 1}. Determinar y representar grcamente el conjunto A B. Ejercicio 2.5.3 Demostrar las propiedades
(A\B ) B = A B (A\B ) B = A\(A\B ) = A B
ces aRa, bRa, cRb y cRc. Representar grcamente la relacin R.
(2.22) (2.23) (2.24)
Ejercicio 2.5.4 Sean A = {a, b, c}, R = {(a, a), (b, a), (c, b), (c, c)}. EntonEjercicio 2.5.5 En base a la siguiente Tabla 1, describir las relaciones en el conjunto A = {Andrea, Beatriz, Carlos, Davide, Edward } : 1) xR1 y x e y viven en el mismo pas. 2) xR2 y x e y tienen el mismo nmero de telfono o la misma edad. 3) xR3 y x e y tienen la misma altura y son europeos.
Tabla 1 Edad
Andrea Beatriz Carlos Davide Edward 21 18 37 18 21
Altura Ocupacin 1,75 Informtica 1,68 Estudiante 1,75 Profesor 1,65 Estudiante 1,68 Profesor
Ejercicio 2.5.6 Interpretar grcamente las propiedades reexiva, simtrica, antisimtrica y transitiva.
Ejercicio 2.5.8 Utilizando la Tabla 1 del ejercicio (2.5.5), denir una relacin de equivalencia en A y determinar las relativas clases de equivalencia.
22
funciones: a) Sobre el conjunto de las personas, la relacin que asocia a cada persona su madre. b) Sobre el conjunto de las personas que tienen hermanos, la relacin que asocia a cada persona su hermano. c) Sean A el conjunto de los alumnos matriculados en nuestra asignatura el ao pasado y B el conjunto de las notas
23
Deniciones generales:
Un alfabeto A es un conjunto de smbolos. Una palabra sobre el alfabeto A es una secuencia nita de smbolos de A. Al conjunto de todas las posibles palabras se le suele denotar como A . Un lenguaje sobre el alfabeto A es un cualquier subconjunto de A . Las reglas de formacin son las reglas que permiten obtener nuevas expresiones de un lenguaje a partir de expresiones bsicas.
A continuacin vamos a denir el lenguaje de la lgica de proposiciones por medio de su alfabeto y sus reglas de formacin. 25
26
Las proposiciones atmicas (enunciados simples o variables proposicionales): son proposiciones (oraciones declarativas a las cuales se pueden asociar valores de verdad) que no pueden descomponerse en otras proposiciones ms simples.
Para representar las proposiciones atmicas se suelen usar los smbolos p, q, r, s, t, . . . El conjunto de estos smbolos se suele denominar signatura.
Ejemplo 3.1.2 Siendo q = hoy me siento feliz, aplicando la negacin se obtiene (q ) = hoy no me siento feliz.
3. conectivos binarios: (y: la conjuncin), (: la disyuncin), (la implicacin o condicional), (la doble implicacin o coimplicacin).
27
Constante de aridad 0 Constante de aridad 0 Negacin (unario) Conjuncin (binario) Disyuncin (binario) Implicacin (binario) Coimplicacin (binario)
Conectivo lgico
Smbolo
Frmula
(p) (p q ) (p q ) (p q ) (p q ) o (p q ) (q p)
fro se escribe como (p (q )), donde p = hoy llueve y q = hace fro. 2) La frase Los lpices de mi hermana son rojos o negros se escribe como (p q ), donde p = los lpices de mi hermana son rojos y q = los lpices de mi hermana son negros. 3) El comando IF p THEN q se escribe como (p q ). 4) La frase La luna es de papel si y slo si Carlos lee muchos libros se escribe como (p q ), donde p = la luna es de papel y q = Carlos lee muchos libros.
2, entonces n es impar se escribe como ((p q ) r), donde p = n es primo, q = n es mayor que 2 y r = n es impar. 2) El comando IF p THEN q ELSE r en lgica de proposiciones se escribe como ((p q ) r).
28
Por ejemplo, para denir el conjunto N = {1, 2, 3, 4, . . . } de los nmeros naturales se puede dar un smbolo inicial 1 y unas reglas de formacin, que nos permite hallar el resto de los elementos del conjunto. En nuestro caso, la denicin recursiva de los nmeros naturales est dad por los axiomas de Peano (siglo XIX).
Axiomas de Peano:
En N hay un elemento distinguido que denominamos 1. Para cada n N se dene de manera nica el siguiente de n. El siguiente de n se denota s(n) = n + 1 y es un elemento de N para cada n N. No existe ningn nmero natural n tal que s(n) = 1. Si s(n) = s(m) entonces n = m. Principio de induccin: si un conjunto de nmeros naturales contiene al 1 y a los sucesores de cada uno de sus elementos, entonces contiene a todos los nmeros naturales.
Otro ejemplo muy conocido es la denicin recursiva de la sucesin {fn }nN de Fibonacci (hacia 1175 1250), que fue denida para estudiar la reproduccin de los conejos. Sus primeros dos trminos son f1 = 1 y f2 = 1. Si n 3, entonces el valor fn se deduce de los valores fn1 y fn2 segn la frmula fn = fn1 + fn2 . Se sigue que {fn } = {1, 1, 2, 3, 5, 8, 13, }. Volviendo a la lgica proposicional, para denir las expresiones sintcticamente correctas tambin se usa una construccin de tipo recursivo, que es la siguiente:
29
Denicin 3.2.1 Una frmula proposicional (frmula bien construida, fbc) es una palabra sobre el alfabeto de la lgica proposicional que puede
construirse en un nmero nito de pasos mediante las reglas de formacin que vamos a denir a continuacin.
NOTACIN: Para representar las frmulas se suelen usar las letras del
Denicin 3.2.2 Dadas dos frmulas y , se dice que es una subfrmula de si consiste de smbolos consecutivos de . En particular,
cada frmula es una subfrmula de s misma.
Ejemplo 3.2.3 La palabra ((p q ) r), del ejemplo (3.1.4) es una frmula
bien construida ya que: 1. p, q, r, son frmulas atmicas (aplicando (At)), 2. (p q ) es una frmula proposicional (aplicando ()), 3. ((p q ) r) es una frmula proposicional (aplicando ()). Adems, (p q ) y r son subfrmulas de ((p q ) r).
30
31 2. Pasos de induccin:
(): Si es una frmula que cumple la propiedad P (hiptesis de induccin), entonces () cumple la propiedad P. (): Si y son dos frmulas que cumplen la propiedad P (hiptesis de induccin), entonces ( ) cumple la propiedad P.
Entonces, el principio de induccin estructural para frmulas proposicionales arma que, si se verican las condiciones anteriores, se puede concluir que toda frmula bien construida cumple la propiedad P.
probar que toda frmula contiene el mismo nmero de parntesis abiertos y cerrados: Base de induccin (At): Los smbolos y y toda proposicin atmica contienen 0 parntesis abiertos y 0 parntesis cerrados.
(): Si es una frmula que contiene n parntesis abiertos y n parntesis cerrados, entonces () contiene n + 1 parntesis abiertos y n + 1 parntesis cerrados. (): Si y son dos frmulas que contienen n y n parntesis abiertos y n y n parntesis cerrados respectivamente, entonces ( ) contiene n + n + 1 parntesis abiertos y n + n + 1 parntesis cerrados.
Se sigue que, por el principio de induccin estructural, toda frmula contiene el mismo nmero de parntesis abiertos y cerrados.
Pasos de induccin:
3.3
En este apartado vamos a ilustrar las maneras ms usadas para representar las frmulas de la lgica proposicional.
32 1. ((p (p r)) (q t)), 2. (p ((((q r) (p ((r))))))), 3. (p (q r)). Se puede notar que se usan parntesis para evitar ambigedad en la formalizacin. Sin embargo este uso se puede relajar obteniendo expresiones que no son frmulas bien construidas, pero vienen empleadas como tales por razones de convenios. Para reducir una frmula bien construida a su forma abreviada podemos seguir los siguientes pasos: a) Se puede omitir el par de parntesis externo. As, por ejemplo, las anteriores frmulas 1., 2. y 3. se escribiran como: 1.1. (p (p r)) (q t), 2.1. p ((((q r) (p ((r)))))), 3.1. p (q r). b) Se introducen las siguientes reglas de precedencia entre conectivos que denen las prioridades que tenemos que respectar a la hora de aplicarlos:
Forma abreviada
pqr pqr
es es
p (q r) p (q r)
33
pqr
As, como: 1.3. 2.3. 3.3.
es p (q r).
34
Repaso de alguna deniciones y propiedades bsicas sobre rboles [CM]: Denicin 3.3.1 Un grafo simple G es un par G = (V, E ) formado por un conjunto nito de vrtices V y un conjunto E de pares no ordenados de
E {{u, v } |u, v V u = v }.
A los elementos de E se les denomina aristas (no dirigidas o no orientadas).
Denicin 3.3.2 El grado de un vrtice en un grafo simple es el nmero de aristas incidentes con l. Denicin 3.3.3 Un camino de longitud n entre los vrtices a y b de un
grafo no dirigido es una sucesin nita (e0 , ..., en1 ) de aristas del grafo
solamente si para cada par de vrtices u, v V existe un nico camino simple que une u con v .
35
Denicin 3.3.6 Un rbol con raz es un par (T, r) donde T es un rbol y r un vrtice distinguido de T llamado raz al que se suele colocar en la
representacin grca en la parte superior.
vrtices de G distintos de r que tienen grado 1. A los vrtices distintos de la raz que no son hojas de un rbol con raz se les denomina vrtices internos.
Denicin 3.3.7 Dado un rbol con raz (G, r) se denominan hojas a los
Los rboles con raz llevan asociada una terminologa de origen botnico y genealgico: dado un rbol con raz T, si v es un vrtice de T distinto de la raz, el padre de v es el nico vrtice u de T tal que hay una arista de u a v. Si u es el padre de v, tambin diremos que v es un hijo de u. Los antecesores de un vrtice son los vrtices que nos encontramos en el nico camino que une dicho vrtice con la raz. Los descendientes de un vrtice v son todos aquellos vrtices de los que v es antecesor. Es fcil darse cuenta de que las hojas de un rbol dirigido son los vrtices que no tienen descendientes.
d d d
rr
rr
d d d
q
d d
r r r d d d d
Figura 3.1: rbol sintctico de ((p (p r)) (q t)). Vamos entonces a usar rboles con raz para representar la estructura sintctica de las frmulas proposicionales como en el siguiente ejemplo.
36
Para representar la estructura sintctica de , podemos dibujar el rbol con raz de la gura (3.1). Las hojas del rbol obtenido representan las frmulas atmicas a partir de las cuales se ha generado . El rbol se lee de abajo haca arriba y en cada nodo interior y en la raz aparecen los conectivos empleados en la formacin de nuestra frmula.
rr
rr r
rr r d d d d
(): f (()) es un valor que depende de y de f (1 ), (): f (1 2 ) para cierto conectivo y ciertas frmulas 1 y 2 es un valor que depende de , f (1 ) y f (2 ).
Estas deniciones determinan la funcin f sobre todo L.
3.4
En esta seccin se presentan algunos ejemplos de formalizacin del lenguaje natural. La formalizacin es una herramienta bsica y el alumno tendr ocasin de practicarla a lo largo de todo el estudio de la lgica proposicional y de predicados. La tabla (3.2) ([C]) contiene algunos ejemplos de formalizacin de frase simples. A partir de la formalizacin de estos ejemplos podemos formalizar frases y razonamiemtos ms complejos. Para formalizar un razonamiento con premisas p1 , p2 , . . . , pn y conclusin q usaremos cualquiera de las dos formas:
38
p1 p2 . . . pn q
p1 p2 pn q.
lizacin de una frase del lenguaje natural es de volver a traducir al lenguaje natural la formalizacin obtenida. As, por ejemplo, consideremos la frase No voy a la playa a menos que haga mucho calor. Siendo p = voy a la playa y q = hace mucho calor, la formalizacin (p q ) es correcta y la formalizacin (q p) no es correcta. En efecto, la primera se lee como Voy a la playa slo si hace mucho calor y la segunda como Si hace mucho calor, entonces voy a la playa. En la segunda formalizacin se ha intercambiado la condicin necesaria (la conclusin) con la suciente (la premisa). valo [a, b], entonces f es continua en [a, b], se puede formalizar deniendo las frmulas atmicas p = la funcin f es derivable en [a, b] y q = la funcin f es continua en [a, b] y aplicando el conectivo de implicacin. Se obtiene (p q ) y, en forma abreviada, p q. 2) La frase Si salto por la ventana, o me hago dao o empiezo a volar se puede formalizar por medio de las proposiciones atmicas p = salto por la ventana, q = me hago dao, r = empiezo a volar y los conectivos de implicacin y de disyuncin. Se obtiene (p (q r)) y, en forma abreviada, p (q r). 3) La frase Si salto por la ventana me podra hacer dao se puede formalizar por medio de las proposiciones atmicas p = salto por la ventana, q = me podra hacer dao y el conectivo de implicacin. Se obtiene ( p q ) y, en forma abreviada, p q. 4) El enunciado Condicin necesaria y suciente para que un nmero entero n sea par es que n sea divisible por 3 se puede formalizar por medio de las proposiciones atmicas p = n es un nmero entero, q = n es par, r = n es divisible por 3 y los conectivos de conjuncin y doble implicacin. Se obtiene ((p q ) r) y, en forma abreviada, p q r.
39
5) Consideremos el razonamiento Me gusta el helado de fresa, pero tambin el de limon. Si hay slo helado de chocolate lo comer, a pesar de que no me guste. Por tanto, no comer helado de fresa. Para formalizar el razonamiento dado, denimos las proposiciones atmicas p = me gusta el helado de fresa, q = me gusta el helado de limon, r = hay slo helado de chocolate, s = comer helado de chocolate, t = me gusta el helado de chocolate, u = comer helado de fresa. La formalizacin se puede escribir, en forma abreviada, como:
pq (r s) t u
o como:
p q (r s) t u
40
Formalizacin
p
pq
pq
pq
pq o (p q ) (q p)
41
3.5
Ejercicios
Ejercicio 3.5.5 Representa en forma de rbol estructural las siguientes frmulas: a) ((p q ) r), b) ((p q ) ((r p) (r q ))), c) ((p q ) ((p) (q ))),
42
Ejercicio 3.5.6 La profundidad de una frmula proposicional es la longitud mxima de los caminos simples con vrtice inicial la raz del rbol sintctico de . Usando el principio de recursin estructural, dene recursivamente la funcin f p que asigna a cada frmula su profundidad. ros.
Sugerencia: usa la funcin que calcula el mximo entre dos nmeros enteEjercicio 3.5.7 (HLR) a) Usando el principio de recursin estructural, de-
ne recursivamente la funcin f n que asocia a cada frmula el nmero (entero no negativo) de conectivos, sin contar los conectivos de aridad 0, que aparecen en la estructura sintctica de . b) Demuestra por induccin estructural que para toda frmula se verica que f p() f n(),
Ejercicio 3.5.8 Voy al bar siempre que me apetezca y tenga tiempo libre. Ejercicio 3.5.9 No voy a correr a menos que tu vengas conmigo. Ejercicio 3.5.10 Un nmero entero es primo slo si no tiene divisores no
triviales.
Ejercicio 3.5.11 Todos los alumnos estudian mucho y estn alegres. Si los
alumnos estn alegres, entonces sacan buenas notas. Por tanto, los alumnos estudian mucho slo si estn alegres.
43
Ejercicio 3.5.13 [C] Si llueve las calles estarn vacas. Si las calles estn
vacas, el comercio obtiene perdidas. Los msicos no podran sobrevivir si los comerciantes no les contratasen para componer canciones para publicidad. Los comerciantes invierten en canciones publicitarias cuando tienen perdidas. Por tanto, si llueve, los msicos pueden sobrevivir.
44
4.1
Recordamos que el conjunto de los smbolos p, q, r, s, t, . . . que representan las proposiciones atmicas de una frmula se suele denominar signatura:
46
Denicin 4.1.1 Sea L el lenguaje de la lgica proposicional. Una valoracin del lenguaje L es cualquier funcin
v : {0, 1}
de la signatura al conjunto de dos elementos {0, 1}. El smbolo 0 representa el valor falsedad y el smbolo 1 el valor verdad. raciones de :
Ejemplo 4.1.2 Si = {p, q }, podemos representar las cuatro posibles valo p q {0, 1} 0 0 p q {0, 1} 0 1 {0, 1} p 1 q 0 p q {0, 1} 1 1
por medio de las las de la tabla a). De forma similar, si = {p, q, r}, podemos representar las ocho posibles valoraciones de por medio de las las de la tabla b).
p 0 a) 0 1 1
q 0 1 0 1
p 0 0 0 b) 0 1 1 1 1
q 0 0 1 1 0 0 1 1
r 0 1 0 1 0 1 0 1
47
proposicionales.
Como primer paso tenemos que denir, para toda valoracin v : {0, 1}, los valores que toman los conectivos lgicos.
(): La frmula p q ( p y q ) es verdadera si y slo si p y q son verdaderas simultneamente. Los valores de verdad vpq correspondientes a este conectivo se representan en la cuarta columna de la tabla (4.1).
Ejemplo 4.2.2 Sean p = Luis tiene 18 aos y q = Maria es espaola. Entonces p q = Luis tiene 18 aos y Maria es espaola es verdadera slo si es verdadero que Luis tiene 18 y es tambin verdadero que Maria es espaola.
(): La frmula p q ( p q ), es verdadera si y slo si p es verdadera o q es verdadera o ambas p y q son verdaderas. Los valores de verdad vpq correspondientes a este conectivo se representan en la quinta columna de la tabla (4.1).
(): Para establecer el signicado de la frmula p q ( p implica q ), debemos tener presente que en lenguaje natural este enunciado encierra una
48 relacin de causalidad, que no siempre aparece al utilizar este conectivo en el mbito formal. En el lenguaje matemtico, p implica q quiere decir que si p es verdadera, necesariamente q es verdadera, o lo que es lo mismo, que es imposible que q sea falsa si p es verdadera. Por tanto el nico caso en el cual p q puede ser falsa es si p es verdadera y q es falsa. Las frmulas atmicas p y q son, respectivamente, el antecedente o premisa y el consecuente o conclusin de la frmula p q. La frmula q p se denomina sentencia recproca de la sentencia p q, y la sentencia q p sentencia contrarrecproca de la sentencia p q. Los valores de verdad vpq correspondientes al conectivo p q se representan en la sexta columna de la tabla (4.1).
(): La frmula p q ( p si y slo si q ) es verdadera cuando p y q tienen el mismo valor de verdad. Los valores de verdad vpq correspondientes al conectivo p q se representan en la ltima columna de la tabla (4.1).
Ejemplo 4.2.5 Sean p = Luis tiene 18 aos y q = Maria es espaola. Entonces p q es falsa si es verdadero que Luis tiene 18 y es falso que Maria es espaola o si es falso que Luis tiene 18 y es verdadero que Maria es espaola.
49
p 0 0 1 1
q 0 1 0 1
vp 1 1 0 0
vpq 0 0 0 1
vpq 0 1 1 1
vpq 1 1 0 1
vpq 1 0 0 1
()v = 0
representar todos los posibles valores de verdad que puede tomar en todas las posibles valoraciones de las proposiciones atmicas de su signatura. La construccin de la tabla de verdad de una frmula est basada en la denicin recursiva de la valoracin de . Por tanto, necesitamos seguir varios pasos para completarla:
Construccin de una tabla de verdad La tabla de verdad de una frmula proposicional es una forma de
Paso 1: Tenemos que identicar las proposiciones atmicas y los pasos que se
han seguido para construir . Para eso podemos usar el rbol estructural ed .
50
d d
rr
rr r
d d d
q
d d
rr r d d d d
t pr
p (p r) q t
(p (p r)) (q t)
Paso 3: Se rellenan las columnas que se corresponden a las proposiciones atmicas con todas sus posibles valoraciones. Para nuestro ejemplo seran las primeras cuatro columnas de la tabla (4.2), que contiene 24 + 1 = 17 las.
Paso 4: Se rellenan todas las columnas siguiendo las valoraciones de los conec-
tivos lgicos de la tabla (4.1) y, en cada la, las valoraciones de las proposiciones atmicas. Para nuestro ejemplo se obtiene la tabla de verdad (4.2).
51
p 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
q 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
r 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
t 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
pr 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1
p (p r) 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1
qt 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1
(p (p r)) (q t) 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1
4.3
La posibilidad de valorar frmulas proposicionales nos permite denir las siguientes nociones fundamentales.
Denicin 4.3.1 Se dice que una frmula es satisfacible bajo una valoracin v (o que v es un modelo de ) cuando se verica que
()v = 1.
Si es satisfacible bajo v se emplea la notacin v |= .
52
Denicin 4.3.5 Se dice que una frmula es satisfacible cuando es satisfacible bajo alguna valoracin v . En caso contrario se dice que es insatisfacible. Ejemplo 4.3.6 La frmula = p p es insatisfacible, ya que p y p no
pueden ser verdaderos a la vez.
conjunto de frmulas = {1 , 2 , . . . , n } pidiendo que la satisfacibilidad de sea la satisfacibilidad simultnea de todas las frmulas que lo denen. Entonces, 1) es satisfacible si y slo si 1 2 n es satisfacible. 2) es insatisfacible si y slo si 1 2 n es insatisfacible. junto {p, q, r}. Entonces v es un modelo del conjunto de dos frmulas 1 = {(p q ) r, q r} y es un contraejemplo del conjunto 2 = {p (q r), q r}.
53
3) Usando una tabla de verdad se puede vericar que vale la ley conmutativa para el conectivo , es decir, que
pq qp
es una frmula lgicamente vlida.
p 0 0 1 1
q pq 0 0 1 0 0 0 1 1
qp 0 0 0 1
pq qp 1 1 1 1
54
v |=
implica que
v |= .
Si es consecuencia lgica de tambin se dice que implica lgicamente a y se escribe |= . plicaciones lgicas (ver ejercicio (4.7.4)).
Denicin 4.4.3 Sean = {1 , 2 , . . . n } un conjunto nito de frmulas proposicionales y una frmula. Se dene deduccin o razonamiento a la frmula ((1 2 n ) ).
Para distinguir las premisas del conjunto de la conclusin , un razonamiento se puede representar de la siguiente manera:
1 . . . n
55
Ley de la doble negacin Leyes de simplicacin Ley de contraposicin Ley transitiva de Ley de exportacin Modus ponens Modus tolens
4.5
Equivalencia de frmulas
En este apartado vamos a estudiar el concepto de equivalencia lgica entre frmulas. Veremos que la equivalencia de frmulas es una relacin binaria de equivalencia en el sentido de las deniciones del captulo (2). Por tanto, dos frmulas equivalente pertenecen a una misma clase de equivalencia.
56
Denicin 4.5.1 Sean y dos frmulas proposicionales. Se dice que equivale lgicamente a si la frmula proposicional ( ) es una
tautologa. Si y son equivalentes se escribe .
Observacin 4.5.2 Se sigue de la denicin que si y son dos frmulas equivalentes, entonces tienen los mismos valores de verdad bajo una cualquier valoracin.
1 (1 2 ) 1 1 (1 2 ) 1 1 2 2 1 1 2 2 1 (1 2 ) (2 1 ) (1 2 ) 3 1 (2 3 ) (1 2 ) 3 1 (2 3 ) 1 (2 3 ) (1 2 ) (1 3 ) 1 (2 3 ) (1 2 ) (1 3 ) 1 (2 3 ) (1 2 ) (1 3 ) 1 (2 3 ) (1 2 ) (1 3 ) () (1 2 ) (2 1 ) (1 2 ) 1 2 (1 2 ) 1 2
Leyes de Identidad No contradiccin Tercio excluso Idempotencia Absorcin Conmutatividad Asociatividad Distributividad
Ejemplo 4.5.3 Vamos a vericar la siguiente importante equivalencia lgica, llamada interdenicin:
(p q ) (p q ).
El nico caso en el cual (p q ) es falsa es cuando p es verdadera y q es falsa.
57
El nico caso en el cual (p q ) es falsa es si p es falsa y q es falsa. Esto es, el caso p verdadera y q falsa. Ya que las dos frmulas toman los mismos valores de verdad bajo una cualquier valoracin, se sigue la equivalencia lgica de las dos frmulas.
Observacin 4.5.4 Recordamos que una relacin binaria R sobre un conjunto no vaco A se dice de equivalencia si es: Reexiva: para todo elemento a del conjunto A, R(a, a) es verdadera, Simtrica: para todo par a y b de elementos de A, R(a, b) R(b, a) es verdadera. Transitiva: para toda terna a, b y c de elementos de A, (R(a, b) R(b, c)) R(a, c) es verdadera.
En el ejercicio (4.7.8) se pide demostrar que en el conjunto L de las frmulas bien construidas, la relacin
si y slo si
es una tautologa)
Ejemplo 4.5.5 La tabla (4.4) contiene una lista de las equivalencias lgicas
ms utilizadas (ver ejercicio (4.7.9)).
4.6
4.6.1 Refutacin
Los mtodos de demostracin por refutacin pertenecen a los sistemas de demostracin indirectos que, como ya comentamos, son ms modernos que los mtodos de demostracin axiomticos y ms adecuados para su automatizacin. Estos mtodos nos proporcionan as una nueva forma de vericar la validez de frmulas y de razonamientos. Un ejemplo de sistema de demostracin por refutacin es la teora de los tableaux, que vamos a estudiar en las siguientes secciones. El alumno estudiar el mtodo de demostracin por refutacin llamado resolucin proposicional en la asignatura de Lgica Informtica. Vamos ahora a ver cmo se pueden emplear mtodos indirectos para vericar la validez de una frmula o de un razonamiento.
58
Teorema 4.6.2 [HLR] Sean = {1 , 2 , . . . n } un conjunto nito de frmulas proposicionales y una frmula. Entonces las siguientes son equivalentes:
((1 2 n ) ) es una frmula vlida (una tautologa, un razonamiento vlido). ((1 2 n ) ()) es una contradiccin (Reduccin al absurdo).
((1 2 n ) ).
Por tanto, su negacin es equivalente a la frmula
((1 2 n ) ()).
59
(p (q p))
es una tautologa. Aplicando el teorema (4.6.2) (el mtodo de refutacin), es suciente vericar que la frmula p (q p) es insatisfacible (es una contradiccin). Para toda valoracin tal que (q p) es falsa, p (q p) es falsa. Si una valoracin es tal que (q p) es verdadera, entonces (q p) es falsa, es decir, tiene que ser q verdadera y p falsa. Tambin en este caso nuestra frmula p (q p) resultara ser falsa. Se sigue que p (q p) no admite ningn modelo y, por tanto, es insatisfacible.
60 o contingencias) y la obtencin de sus formas normales conjuntivas o disyuntivas. Durante el estudio de los tableaux semnticos descubriremos que la verdadera naturaleza de las reglas que los denen es sintctica y que, por tanto, la presentacin semntica (y no sintctica) de la teora de los tableaux tiene su justicacin en su mayor simplicidad y claridad. La principales referencias utilizadas para la siguiente descripcin de la teora de tableaux son [HLR] y [MH].
Si una frmula proposicional es equivalente a una conjuncin de otras dos frmulas ms sencillas, 1 2 , diremos que es una frmula conjuntiva (de la categora ). Si una frmula proposicional es equivalente a una disyuncin de otras dos frmulas ms sencillas, 1 2 , diremos que es una frmula disyuntiva (de la categora ). Si una frmula proposicional es del tipo , o diremos que es simplicable (de la categora ) y su forma simplicada es 1 , que es igual a , o , respectivamente. Las frmulas conjuntivas, disyuntivas y simplicables se llaman frmulas reducibles.
Usando las equivalencias lgicas estudiadas, podemos recoger en la tabla (4.5) todas las posibles frmulas conjuntivas, disyuntivas y simplicables. Usando rboles con raz, podemos ahora representar las frmulas reducibles de la tabla (4.5) por medio del esquema de la tabla (4.6).
61
( ) ( )
Frmulas conjuntivas
1
1 2 ( ) ( ) ( ) ( )
Frmulas disyuntivas
Frmulas simplicables
1
| 1 | 2
1 2
| 1
Observacin 4.6.6 El hecho de que toda frmula proposicional es equivalente a otra donde intervienen slo los conectivos , y implica que toda frmula proposicional es equivalente a una frmula conjuntiva, a una frmula disyuntiva o es simplicable. Ejemplo 4.6.7 Sea
( )
la frmula proposicional que se quiere reducir. La regla de interdenicin nos permite reescribir nuestra frmula de forma equivalente como una frmula disyuntiva ( ), donde
1 :
2 : ( ).
62
Tableaux semnticos
Dado un conjunto nito de frmulas proposicionales , queremos asociar a este conjunto un rbol con raz que nos permita determinar fcilmente propiedades semnticas del conjunto . Este rbol ser el tableau asociado a . En el captulo (3) introducimos el concepto de rbol con raz y sus propiedades bsicas. En este captulo necesitamos ampliar un poco ms la terminologa ya introducida.
simple que no pueda prolongarse a otro ms largo. 2) Un rbol con raz es binario si todos sus vrtices no tienen ms que dos hijos. 3) Un rbol de frmulas T es cualquier rbol con raz binario que tenga asociada a cada uno de sus vrtices una frmula proposicional (cada uno de sus vrtice est etiquetado por una frmula proposicional). 4) Una rama de un rbol de frmulas T se dice cerrada si aparece en , o si ambas frmulas y aparecen en . 5) Una rama de un rbol de frmulas T se dice abierta si no es cerrada.
Antes de denir formalmente el mtodo de los tableaux, vamos a ver un ejemplo de como se construye un tableau asociado a un razonamiento.
Ejemplo 4.6.9 (Ejemplo de construccin de un tableau asociado a un razonamiento) Consideramos el razonamiento: 1) Si quiero comer fruta y hay una frutera cerca, entonces soy feliz. 2) No soy feliz. 3) Quiero comer fruta. Por tanto, 4) No hay una frutera cerca.
Sean p = quiero comer fruta, q = hay una frutera cerca y r = soy feliz. El razonamiento anterior ser vlido si
{p q r, r, p} |= q.
63
Ya que los tableaux usan el mtodo de refutacin, podemos armar la validez del razonamiento anterior si demostramos que el conjunto de frmulas
= {p q r, r, p, q }
es insatisfacible. Por eso, empezamos a construir un rbol de frmulas T0 con la regla de inicializacin que consiste en dibujar un primer rbol con una nica rama cuyos vrtices estn etiquetados por las frmulas de nuestro conjunto . T0 es nuestro tableau inicial:
T0
| | |
pq r r p q
Ahora intentamos simplicar las frmulas anteriores usando el esquema de la tabla (4.6) y obtenemos un nuevo tableaux T1 , que es una extensin del anterior. En T1 , marcamos con el smbolo las frmulas que hemos reducido y cerramos con el smbolo aquellas ramas que contienen un conjunto de frmulas insatisfacible:
T1
| | | (p q )
pq r r p q r
Hemos cerrado la rama derecha de T1 que contiene las frmulas r y r, ya que esto quiere decir que el conjunto de frmulas {r, p, q, r} (todas
64
las que aparecen en esta rama, eliminando las que llevan el smbolo ) es insatisfacible. Ahora, usando su rama izquierda, podemos extender T1 a un nuevo rbol T2 :
T2 (p q ) p q | |
| | | r
pq r r p q
Las dos ramas de este ltimo rbol estn cerradas ya que cada una de ellas contiene una contradiccin, la primera contiene el conjunto {p, p} y la segunda el conjunto {r, r}. Por tanto el conjunto es insatisfacible y nuestro razonamiento es vlido. Podemos observar que el clculo de la tabla de verdad para este ejemplo requiere considerar 8 posibles valoraciones, mientras el tableau estudiado tiene 2 ramas.
Vamos entonces a denir los tableaux semnticos. Como veremos, esta denicin ser, una vez ms, una denicin recursiva.
65
Un tableau T asociado al conjunto es cualquier rbol de frmulas que pueda construirse en un nmero nito de pasos mediante las reglas de formacin que se denen a continuacin.
Regla de reduccin (R ): si una rama abierta de T incluye un vrtice etiquetado por una frmula disyuntiva 1 2 , podemos extender T a un nuevo tableau T (una extensin directa de T ) bifurcando con dos nuevos vrtices 1 y 2 , que sean hijos del vrtice . Se aade a la frmula disyuntiva el smbolo .
Esta regla no se aplica si la rama abierta ya contiene 1 o 2 .
Regla de reduccin (R ): si una rama abierta de T incluye un vrtice etiquetado por una frmula simplicable 1 , podemos extender T a un nuevo tableau T (una extensin directa de T ) prolongando de forma lineal, con un nuevos vrtice 1 . Se aade a la frmula simplicable el smbolo .
Esta regla no se aplica si la rama abierta ya contiene 1 .
Regla de cierre (Rc ): si una rama abierta , contiene o ambas frmulas y aparecen en se cierra usando el smbolo .
Las siguientes deniciones permiten saber cuando no es posible extender ulteriormente un tableau.
66
Denicin 4.6.11 Una rama , de tableau T est completa ( saturada) si y slo si se cumplen las tres siguientes condiciones:
1) Si 1 2 , pertenece a , entonces 1 y 2 , pertenecen a . 2) Si 1 2 , pertenece a , entonces 1 2 , pertenece a . 3) Si 1 , pertenece a , entonces 1 pertenece a .
Un tableau est cerrado si todas sus ramas lo estn. Un tableau est acabado si todas sus ramas estn cerradas o completas.
esto conjunto no queda nicamente denido. Para intentar minimizar la complejidad del tableau que se obtiene, en general es conveniente reducir primero frmulas de tipo y , o frmulas que permitan cerrar ramas. Entre las restantes frmulas, conviene reducir las ms sencillas antes que las ms complejas.
Las siguientes deniciones y teoremas permiten interpretar un tableau acabado. Si una rama de un tableau es completa y abierta, el conjunto de las frmulas que son sus etiquetas se dice conjunto de Hintikka. Es posible demostrar (ver [HLR]) que todo conjunto de Hintikka es satisfacible.
Denicin 4.6.13
Una rama de un tableau es satisfacible si y slo si existe una valoracin que satisface las frmulas de .
Un tableau T es satisfacible si y slo si existe una valoracin que satisface las frmulas de alguna de sus ramas.
67
Observacin 4.6.16 Modicando la regla de iniciacin y admitiendo la adicin de hiptesis, es posible denir el concepto de tableau asociado a un conjunto innito de frmulas proposicionales. Su denicin proporciona rboles con un nmero nito de vrtices, ya que usan slo un nmero nito de las frmulas iniciales. Las consecuencia tericas de la denicin de tableaux para conjuntos innitos de frmulas son profundas y estn relacionadas con las propiedades de correccin y completitud de los sistemas de demostracin, que trataremos brevemente.
(p q r) (p r q ) (q r) p (q r) p p q r
68
| | | | |
(p q r) (p r q ) (q r) p (q r) p p q r p q r p r q
q r | q | r qr q | p
p q r | q | r p
El tableaux completo obtenido tiene dos ramas cerradas y dos abierta. Estas ltimas nos proporcionan dos contraejemplos del razonamiento:
p : 1, r : 1, q : 0
y p : 0, r : 1, q : 1.
Si T () es cerrado, es una contradiccin (es insatisfacible). Si T () tiene al menos una rama abierta, es satisfacible y tenemos que construir el tableaux T () asociado a :
69
si T () es cerrado, es una tautologa, si T () tiene al menos una rama abierta, es una contingencia.
Ya que hay dos ramas abiertas, es satisfacible (un modelo es, por ejemplo, q : 1, p : 1). Ahora, : (p (p q ))) es equivalente a las forma conjuntiva p (p q ) el tableaux T () es
T ()
| |
p (p q ) p p q
Hay una rama abierta y, por tanto, es una contingencia (la valoracin q : 0, p : 1 es un contraejemplo de ).
70
Convenios:
Un literal se puede considerar como una disyuncin o una conjuncin. representa una disyuncin, una clusula disyuntiva o una FND vaca (siempre falsa).
representa una conjuncin, una clusula conjuntiva o una FNC vaca (siempre verdadera).
71
F N D()
F N C ().
F N C () F N D().
F N D() = 1 2 3 n .
por una disyuncin con y se pueden ignorar. Si T () est acabado, para determinar F N D() es suciente considerar slo los literales que aparezcan en sus ramas abiertas, ya que todas las dems frmulas ya han sido reducidas.
Aplicando las anteriores consideraciones y la equivalencia F N C () F N D(), vamos a ver como T () y T () permiten calcular F N D() y F N C ().
p (p q ) = F N D().
72
T () p
p (p q )
p q | p | q
observamos que hay dos ramas abiertas con 1 = p y 2 = p q. Por tanto, en este caso, F N D() = 1 2 . Tambin usamos equivalencias lgicas para armar que
p (p q ) = .
Mirando al tableaux acabado T (),
T ()
| |
p (p q ) p p q
observamos que hay una sola rama abierta con 2 = p q. Si no ignoramos la rama cerrada,
F N D() = (p p) (p q )
y
F N C () = F N D() = ((p p) (p q )) (p p) (p q ) (p p) (p q ).
73
4.7
Ejercicios
Ejercicio 4.7.1 Cules de las frmulas del ejercicio (3.5.5) del captulo 3
son tautologas? Cules son contradicciones? Para aquellas que sean contingencias, calcula sus modelos y sus contraejemplos.
Ejercicio 4.7.4 Verica las implicaciones lgicas de la tabla (4.3). Ejercicio 4.7.5 Son validas las siguientes deducciones?
p r qr , (p q ) (q s) r q r p s , rs pr (q r) (p s) , p ((q r) s) pq qr . sp rt
p ((q r) s) , (q r) (p s)
74
Pelez: Quesada es culpable y Rodrguez es inocente. Quesada: Pelez es culpable slo si Rodrguez es tambin culpable. Rodrguez: Yo soy inocente, pero al menos uno de los otros es culpable. Si todos son inocentes, quin ha mentido? Si todos dicen la verdad, quin es inocente? Si los inocentes dicen la verdad y los culpables mienten, quin es inocen-
te?
Ejercicio 4.7.8 (La equivalencia de frmulas es una relacin de equivalencia) Demuestra que en el conjunto L de las frmulas bien construidas, la relacin
si y slo si
es una tautologa)
Ejercicio 4.7.9 Verica las equivalencias lgicas de la tabla (4.4). Ejercicio 4.7.10 Elegir de las armaciones siguientes aquella que sea equivalente a No es cierto que sea suciente trabajar para ser feliz. 1. No trabajar es suciente para no ser feliz. 2. Para ser feliz es necesario trabajar. 3. No es posible trabajar y no ser feliz al mismo tiempo. 4. Se puede trabajar y no ser feliz. 5. Se trabaja o no se es feliz.
75
encuentra otras equivalentes en las que se usen slo los conectivos , , . Deduce que toda frmula bien construida es equivalente a otra donde intervienen slo los conectivos , , .
usando tableaux. Si el barco entra en el puerto, habr una gran esta. El barco entra en el puerto slo si necesita repostar combustible. El barco no necesita combustible a menos que venga de muy lejos. Es imposible que no necesite combustible si la comida ya se les ha terminado. Sabemos que, o bien se le ha terminado la comida, o bien necesita combustible. Por tanto: habr una gran esta.
Ejercicio 4.7.16 Con el mtodo de los tableaux, escribe las frmulas del
ejercicio anterior en su formas normal disyuntiva y conjuntiva.
76
la validez de una frmula proposicional: si es una frmula vlida se dice que es demostrable y se escribe . si una frmula es consecuencia lgica de un conjunto de premisas : si es consecuencia lgica de se dice que es deducible en el sistema a partir de y se escribe .
Toda teora matemtica se construye a partir de unos axiomas, que denen las propiedades bsicas de los objetos de la teora que se consideran verdaderas y, sin embargo, no se demuestran. La geometra eucldea y la construccin de los nmeros reales son dos ejemplos de este tipo de teoras axiomticas. Los axiomas de toda teora matemtica tienen que ser: 1) compatibles: a partir de ellos no tiene que ser posible deducir una contradiccin, 2) independientes: ningn axioma se debe poder deducir a partir del resto de ellos (habra redundancia de axiomas), 77
78 3) sucientes: a partir de ellos tiene que ser posible deducir todas las propiedades que necesitamos satisfagan los objetos de nuestra teora. El objetivo principal de cualquier teora de pruebas es demostrar la validez de frmulas, independientemente del contexto particular que se estn considerando: la demostracin de la validez de una frmula o de una deduccin en un sistema de demostracin no se desarrolla teniendo en cuenta todas las posibles valoraciones, se obtiene utilizando una secuencia nita de pasos y, en cada uno de ellos, se aplican las reglas de inferencia del sistema. Ya comentamos que los sistemas de demostracin se suelen dividir en dos clases: sistemas directos y sistemas indirectos (o por refutacin). Los primeros aplican una cadena nita de reglas de inferencia hasta llegar a la frmula que se quiere demostrar. Los segundos aplican la tcnica de reduccin al absurdo. Siendo sistemas clsicos, los sistemas de demostracin directos tienen inters histrico y adems son los ms naturales ya que son los ms cercanos a la forma de razonamiento habitual. Los sistemas directos son adaptables a lgicas no clsicas, pero son de difcil automatizacin. Lo sistemas de demostracin indirectos son ms modernos y adecuados para su automatizacin, pero no son aplicables a lgicas distintas de las lgicas clsicas. En este captulo estudiaremos un particular sistema de demostracin axiomtico, el sistema de deduccin natural de Gentzen. El mtodo de los tableaux semnticos que estudiamos en la teora interpretativa tiene, en realidad, una estructura completamente sintctica y, por tanto, se puede considerar un ejemplo de sistemas de demostracin axiomtico indirecto. Como veremos, es posible demostrar que estos sistemas axiomticos son equivalentes a la teora interpretativa. Es decir, se puede vericar que una frmula proposicional es una tautologa en la teora interpretativa si y slo si es una frmula vlida en la teora de la demostracin que vamos a estudiar.
79
tos: A es el alfabeto del sistema: el conjunto de smbolos que se pueden utilizar, F es el conjunto de reglas de sintaxis: las reglas que permiten denir las frmulas bien construidas, X es el conjunto de axiomas: frmulas vlidas por denicin, R es el conjunto de reglas de inferencias: reglas de transformacin que permiten inferir una frmula, la conclusin, a partir de un conjunto de frmulas, las condiciones o premisas. Un sistema de demostracin S se puede representar en forma compacta como
S = (A, F, X, R).
frmula vlida (demostrable) y tiene la siguiente denicin recursiva: una frmula bien construida es un teorema si es un axioma o si se obtiene como conclusin de la aplicacin de un conjunto de reglas de inferencias a otros teoremas. Si es un teorema (es vlida), se escribe .
Ejemplo 5.1.3 En el contexto de las implicaciones lgicas (semnticas), estudiamos la validez de la ley de contraposicin de la tabla (4.3):
(p q ) |= (q p).
Dicimos tambin que la frmula
(p q ) (q p)
es una tautologa. Si somos capaces de demostrar que la ley de contraposicin es vlida en el sistema axiomtico que estamos usando, podemos escribir la misma ley de contraposicin en forma de teorema, usando la notacin:
(p q ) (q p).
80
Slo como caso particular, consideremos las dos proposiciones p=como demasiado y q=me duele el estmago. La teora interpretativa, en este caso, nos dice que la proposicin si no me duele el estmago entonces no he comido demasiado, (q p), es consecuencia lgica (vimos que en realidad es equivalente) de la proposicin si como demasiado me duele el estmago, (p q ). En una teora de pruebas la validez de la ley de contraposicin se expresara, en nuestro ejemplo particular, como la validez de la frmula bien construida si como demasiado me duele el estmago implica que si no me duele el estmago entonces no he comido demasiado, (p q ) (q p).
Denicin 5.1.4 Una deduccin o razonamiento consiste de un conjunto de frmulas = {1 , 2 , . . . n }, llamadas las premisas, y de una frmula , llamada la conclusin de la deduccin.
sola premisa = {(p q )} y conclusin (q p).
Las nociones de demostracin de un teorema y de una deduccin estn establecidas por las siguientes deniciones:
{1 , 2 , . . . , n , n+1 = }
tal que: 1. Cada frmula de la sucesin es
un axioma, un teorema ya demostrado o un teorema obtenido a partir de las frmulas anteriores de la sucesin aplicando un conjunto de reglas de inferencias.
2. El ltimo elemento de la sucesin es la frmula . Si {1 , 2 , . . . , n , n+1 = } es una demostracin de un teorema, se dice que es vlida (demostrable) y se escribe .
81
una premisa (un elemento de = {1 , 2 , . . . , n }) o un axioma, un teorema ya demostrado o un teorema obtenido a partir de las frmulas anteriores en la sucesin aplicando un conjunto de reglas de inferencias.
2. El ltimo elemento de la sucesin es la frmula . Si {1 , 2 , . . . n , n+1 , . . . n+m1 , n+m = } es una demostracin de una deduccin, se dice que la conclusin es consecuencia lgica (deducible) del conjunto de las premisas y se escribe .
El siguiente teorema es un resultado fundamental ya que permite denir una relacin entre demostraciones de teoremas y demostraciones de deducciones. No presentamos aqu su demostracin (ver, por ejemplo, el prrafo 2.3 de [C] o el prrafo 3.1.1 de [A]).
{1 , 2 , . . . n }
si y slo si
{1 , 2 , . . . n1 }
(n ).
El siguiente corolario del teorema de la deduccin establece la relacin buscada entre demostraciones de deducciones y de teoremas.
82
Corolario 5.1.10 Dada una demostracin de una deduccin, es siempre posible encontrar una frmula vlida que la represente.
es la demostracin de una deduccin, se aplica el teorema de la deduccin sucesivamente hasta que el conjunto de premisas sea vaco. Se obtiene as la siguiente cadena de frmulas que tiene como ltimo elemento un teorema: {1 , 2 , . . . n } {1 , 2 , . . . n1 } n {1 , 2 , . . . n2 } n1 (n ) . . . 1 (2 ( (n ) . . . ).
Demostracin [C]: Si {1 , 2 , . . . n }
(p q ) (q p)
es equivalente a demostrar la deduccin
{p q }
o, tambin, la deduccin
q p p.
{p q, q }
En el caso de nuestro ejemplo particular con p= como demasiado y q= me duele el estmago, la ltima deduccin se lee si como demasiado me duele el estmago y si no me duele el estmago, entonces no he comido demasiado.
83 la conclusin buscada en la subdeduccin, se remueve la subdeduccin de la demostracin madre y se sustituye por el resultado . Para representar subdeduccines usaremos la notacin de Fitting [F]. Esta notacin emplea rectngulos, llamados cajas. La primera la de una caja est ocupada por la premisa auxiliar , mientras en la ltima la se encuentra la conclusin . El siguiente es un ejemplo de un esquema de una deduccin que contiene a una subdeduccin: 1) 1 (Premisa) 2) 2 (Premisa) 3) 3 (R1(1): regla R1 aplicada a 1 ) 4) 1 (Premisa auxiliar) 5) 2 (R2(2,1): regla R2 aplicada a 2 y 1 ) 6) 3 (R3(5): regla R3 aplicada a 2 ) 7) (R4(4,6): regla R4 aplicada a la subdeduccin)
La notacin usada en el ltimo paso de la demostracin madre, R4(4, 6), quiere decir que la regla R4 se aplica a toda la subdeduccin. Se citan slo la premisa auxiliar y la conclusin de ella. Pronto veremos algunos ejemplos, pero hay que notar que una subdeduccin puede contener a su vez una subdeduccin. Por tanto, en la representacin de Fitting pueden aparecer varios rectngulos encajados.
5.2
El sistema de demostracin natural de Gerald Gentzen (1934) es el sistema que mejor modela el razonamiento informal o intuitivo. Este sistema se basa en deducciones y tiene ocho reglas de inferencia y ningn axioma. Las reglas de inferencia son dos para cada conectivo lgico del alfabeto (una de introduccin y otra de eliminacin).
84 El uso exclusivo de deducciones presupone razonamientos que siempre dependen de unas premisas iniciales, no necesariamente vlidas. Se podra decir que el sistema de Gentzen simula el razonamiento coherente ms que el razonamiento vlido.
G = (A, F, X, R),
donde A : el alfabeto est compuesto por
los smbolos p, q, r, s, t, . . . de proposiciones atmicas, los smbolos de conectivos , , , , los smbolos de parntesis ( , ) .
F : el conjunto de las frmulas bien construidas (fbc) se dene recursivamente como At : toda proposicin atmica es una fbc,
85
X : el conjunto de los axiomas es vaco. R : el conjunto R de las reglas de inferencia est compuesto por las reglas de introduccin y de eliminacin que se describen a continuacin.
{, }
Ejemplo 5.2.2 [UNED1] Usando slo las dos reglas anteriores podemos demostrar que p (q r) p r.
1) 1 : 2) 2 : 3) 3 : 4) 4 : 5) 5 :
( ) ( )
86
ya que de la validez de una disyuncin de dos frmulas no se puede deducir la validez de las dos frmulas. Slo sabemos que al menos una de las dos es vlida, sin saber cul es. La regla de eliminacin de la disyuncin es
(E ) : { , , }
Esta regla se usa en el mtodo de demostracin por casos, que se aplica cuando se quiere demostrar una deduccin del tipo : 1) se introducen las premisas auxiliares y , 2) usando las dos premisas auxiliares se intentan demostrar dos subdeducciones independientes con igual conclusin , es decir, las subdeducciones
3) si se ha completado el paso anterior, se usan las subdeducciones obtenidas en la deduccin madre y se obtiene que
{ , , }
87
. . . . . .
. . . . . .
(Premisa auxiliar)
p (q r)
(p q ) (p r)
podemos usar el siguiente esquema: 1) p (q r) (Premisa) 2) p (E (1)) 3) q r (E (1)) 4) q (Premisa auxiliar) 5) p q (I (2, 4)) 6) (p q ) (p r) (I (5)) 7)
(p q ) (p r)
(I ) : { , }
88
Esta regla se usa en demostraciones por reduccin al absurdo de la validez de una frmula : 1) Tomamos como premisa auxiliar la frmula , 2) Si de esta premisa auxiliar podemos deducir la validez de una contradiccin , entonces podemos armar la validez de . Con la notacin de Fitting (I ) se representa como:
. . . . . .
(Premisa auxiliar)
(E ) :
(I ): Regla de introduccin de la implicacin Para denir esta regla 1) se toma una premisa auxiliar ,
2) si se demuestra que de se deduce una frmula , entonces se ha demostrado la validez de . Con la notacin de Fitting (I ) se representa como:
89
. . . . . .
(Premisa auxiliar)
Esta ltima regla es una versin del teorema de la deduccin (5.1.9). Usaremos esta regla en el ejemplos (5.2.4) (E ): Regla de eliminacin de la implicacin (tambin Modus Ponens):
(E ) : {, }
Usaremos esta regla en el ejemplos (5.2.4)
(I (3,5))
90
2) La validez de la frmula
se puede demostrar en el sistema de deduccin natural usando la introduccin de la implicacin, segn el esquema: 1) (Premisa)
(I (2,3))
3) La validez de la frmula
{ , ( )}
se puede demostrar en el sistema de deduccin natural usando la introduccin de la implicacin, segn el esquema: 1) (Premisa) 2) ( ) (Premisa) 3) (Premisa auxiliar) 4) (E (3,1)) 5) (E (3,2)) 6) (E (4,5)) 7)
(I (3,6))
91 larga lista de ellos para poder mirar a varios ejemplos de demostracin y aprender como aplicar estas nuevas reglas. Presentaremos slo algunas de las demostraciones de estas deducciones, las dems se pueden encontrar en la bibliografa de estos apuntes.
De toda frmula se deduce ella misma. Esta deduccin se puede demostrar por reduccin al absurdo: 1) (Premisa)
De dos implicaciones ( y ) tales que la conclusin de la primera es la premisa de la segunda se deduce la implicacin de la premisa de la primera frmula a la conclusin de la segunda. Este teorema se puede pensar como una propiedad transitiva: de todos los hombres son animales y todos los animales son mortales se deduce que todos los hombres son mortales.
Es la regla de eliminacin de la implicacin: de una implicacin y de su premisa se deduce su conclusin. Por ejemplo, de Juan es un hombre y si Juan es un hombre entonces es mortal se deduce que Juan es mortal.
92
De una frmula y de su negacin se deduce cualquier frmula (por reduccin al absurdo). De Juan es un hombre y Juan no es un hombre se deduce que la pared es blanca.
De dos implicaciones con la misma premisa se deduce la implicacin de esa premisa a la conjuncin de sus conclusiones. Por ejemplo, de si x es par, es divisible por dos y si x es par, no es impar se deduce que si x es par, entonces x es divisible por dos y no es impar.
De una implicacin se deduce su contrapositiva (ver ejemplo (5.2.4)). Por ejemplo, T6.1) de llevo paraguas slo si llueve se deduce que si no llueve no llevo paraguas, T6.2) de llevo paraguas slo si no hace sol se deduce que si hace sol no llevo paraguas. T6.3) de no llevo paraguas slo si hace sol se deduce que si no hace sol llevo paraguas.
T7.2) ( )
Es el recproco del anterior: una implicacin se deduce de la negacin de la conjuncin de su premisa con la negacin de su conclusin. Por ejemplo, T7.1) de llevo paraguas slo si llueve se deduce que no es posible que lleve paraguas y no llueva, T7.2) de no es posible que lleve paraguas y no llueva se deduce que llevo paraguas slo si llueve.
De la negacin de la disyuncin de dos frmulas se deduce la conjuncin de las negaciones de las mismas.
T8.2)
( )
Es la recproca del anterior: de la conjuncin de las negaciones de dos frmulas se deduce la negacin de la disyuncin de las mismas. Por ejemplo, T8.1) de no es posible que x sea un elemento de A o sea un elemento de B se deduce que x no es elemento de A y x no es elemento de B, T8.2) de x no es elemento de A y x no es elemento de B se deduce que no es posible que x sea un elemento de A o sea un elemento de B.
T8.3) ( )
De la negacin de la conjuncin de dos frmulas se deduce la disyuncin de las negaciones de las mismas.
T8.4)
( )
Es la recproca del anterior: de la disyuncin de las negaciones de dos frmulas se deduce la negacin de la conjuncin de las mismas.
94 Por ejemplo, T8.3) de no es posible que x sea un elemento de A y de B se deduce que x no es elemento de A o x no es elemento de B, T8.4) de x no es elemento de A o x no es elemento de B se deduce que no es posible que x sea un elemento de A y de B.
T9.2)
Es la recproca de la anterior: una implicacin se deduce de la disyuncin de la negacin de su premisa con su conclusin. Por ejemplo, T9.1) de una funcin derivable es continua se deduce que una funcin no es derivable o es continua, T9.2) de una funcin no es derivable o es continua se deduce que una funcin derivable es continua.
95
En la notacin de Fitting: 1) (p (q p)) (Premisa auxiliar) 2) (p (q p)) (Interdenicin 2(1) y Contraposicin (1)) 3) p (q p) (Ley de de Morgan T8.1(2)) 4) p (E (3)) 5) (q p) (E (3)) 6) p (E (4)) 7) (q p) (Interdenicin 2(5) y Contraposicin (5)) 8) q p (Ley de de Morgan T8.3(7)) 9) p (E (8)) 10) p p (I (6,9)) 11)
p (q p)
(I (1,10))
T12.2) ( ) ( )
96
De la conjuncin de una frmula con su disyuncin con cualquier otra frmula se deduce .
T13.2)
( )
Es la recproca del anterior: de una frmula se deduce la conjuncin de ella con su disyuncin con cualquier otra frmula. Por ejemplo, T13.1) de x es un elemento de A y x es un elemento de A o de B se deduce que x es un elemento de A, T13.2) de x es un elemento de A se deduce que x es un elemento de A y x es un elemento de A o de B.
Demostracin de T13.1:
Tenemos que vericar que
( )
1) 2)
( ) (Premisa) (E (1))
97
De la disyuncin de una frmula con su conjuncin con cualquier otra frmula se deduce .
T18.2)
( )
Es la recproca del anterior: de una frmula se deduce la disyuncin de ella con su conjuncin con cualquier otra frmula. Por ejemplo, T18.1) de x es un elemento de A o x es un elemento de A y de B se deduce que x es un elemento de A, T18.2) de x es un elemento de A se deduce que x es un elemento de A o x es un elemento de A y de B.
98
De una coimplicacin entre dos frmulas se deducen las implicaciones de cada una a la otra. La demostracin de este teorema se propone como ejercicio.
la coimplicacin:
La validez de la propiedad reexiva, simtrica y transitiva para esta relacin implica que R es una relacin de equivalencia entre frmulas proposicionales.
99
De una implicacin cuya conclusin es la implicacin y de la conjuncin de las dos premisas se deduce la conclusin .
T25.2) { , }
Es la recproca del anterior: de una implicacin cuya premisa es la conjuncin de dos frmulas se deduce la implicacin de una de las dos premisas a la implicacin de la otra premisa a la conclusin.
Demostracin de T25.1:
Tenemos que vericar que
{ ( ), }
1) 2) 3) 4) 5) 6)
100
Demostracin de T26:
1) ( ) 2) (Premisa)
(Premisa auxiliar)
( )
Demostracin de T27:
1) (Premisa)
101
Demostracin de T29:
1) (Premisa) 2) (Premisa) 3) (Premisa auxiliar) 4) (Teorema de la identidad, T1(3))
102
T30.2) :
T30.3) :
T30.4) :
Demostracin de T30:
T30.1) : { , , }
Es la regla de eliminacin de la disyuncin (E ).
T30.2) : { , , }
103
T30.3) : { , , }
T30.4) : { , , }
104 En el siguiente ejemplo vamos a emplear la regla (I ) para demostrar la validez de una frmula por refutacin.
p (q p)
(I (1,10))
En la seccin (5.4) veremos que existen teoremas que demuestran la equivalencia entre la teora interpretativa (semntica) y el sistema de deduccin natural. Esta equivalencia entre teoras nos permite elegir, en cada caso, entre el mtodo ms adecuado o eciente para desarrollar una demostracin.
105 de verdad de las frmulas consideradas. Eso quiere decir que el mtodo de refutacin de los tableaux es, en realidad, un mtodo de demostracin sintctico. Los tableaux sintcticos usan el mtodo de refutacin para derivar la validez de un razonamiento o de una frmula, sin tener que tomar en consideracin los valores de verdad de las frmulas en estudio. Permiten demostrar teoremas y deducciones.
{p q r, r, p}
o, por el teorema de la deduccin, el teorema
q,
(p q r) (r (p q )).
5.4
Para cualquier sistema axiomtico es siempre imprescindible estudiar si ste cumple las tres propiedades de completitud, correccin y decidibilidad. Las dos primeras propiedades permiten estudiar la relacin del sistema con la semntica del lenguaje y la tercera es una propiedad algortmica. Las demostraciones de la validez de estas propiedades para los sistemas de la lgica proposicional son complejas y fuera del alcance de esta asignatura. Nos limitaremos a enunciar los principales teoremas relacionados.
Completitud
Se dice que un sistema de demostracin axiomtico es completo si es capaz de demostrar cualquier frmula semnticamente vlida (una tautologa) y deducir cualquier consecuencia lgica.
106
Correccin
Se dice que un sistema de demostracin es correcto (consistente, coherente) si todas las frmulas demostrables en el sistema son tautologas y todas las frmulas deducibles en el sistema a partir de un conjunto de premisas son consecuencia lgica de dichas premisas.
Teorema de Post [A]: toda frmula vlida en teora de la demostracin es una tautologa en teora interpretativa. El sistema de Gentzen y la denicin sintctica de la teora de los tableaux son sistemas correctos [HLR] y [MH].
Decidibilidad
Se dice que un sistema de demostracin es decidible si proporciona un procedimiento general y nito (aplicable a cualquier frmula y que termine) que permita decidir si una frmula es vlida o deducible a partir de un conjunto de frmulas. Los teoremas anteriores permiten armar que una frmula proposicional es un teorema si y slo si es una tautologa. Por tanto la evaluacin de la tabla de verdad es un procedimiento general y nito de decisin de la validez de una frmula [A]. Es tambin posible demostrar que el mtodo de los tableaux, en su denicin ms general, tiene las mismas propiedades de generalidad y nitud [HLR] que las tablas de verdad. Se sigue que los sistemas formales de la lgica proposicionales son decidibles. En conclusin, los sistemas formales de la lgica proposicional (la lgica de orden 0) son completos, correctos y decidibles.
107 Las lgicas de orden superior son ms generales, pero pierden algunas de estas propiedades. Veremos que la lgica de predicados (de primer orden) es completa y correcta, pero no es decidible.
108
5.5 Ejercicios
Ejercicio 5.5.1 Usando el sistema de deduccin natural, demuestra la idempotencia de la conjuncin (T14), la introduccin del coimplicador (T20) y la eliminacin del coimplicador (T21). bin coimplicaciones demostrables en el sistema de deduccin natural: 1. p p 2. (p q ) p q 3. (p q ) p q 4. (p q ) p q 5. (p q ) p q
Ejercicio 5.5.2 Prueba que las siguientes equivalencias semnticas son tam-
s r (r s) t
2. {r p, q r, s q, (p q ) t, s p} 3. {p (q r), s p, q }
sr v p
4. {s (t u), u u, (v s) (p t)}
Las respuestas sin justicacin se considerarn como no contestadas. Podis consultar los apuntes de la asignatura.
1) Usando la lgica proposicional, formaliza los siguientes enunciados (se necesitan slo tres proposiciones atmicas): a) Iremos a Portugal y visitaremos Lisboa slo si no hace mucho fro. b) No iremos a Portugal a menos que no haga mucho fro. c) Si no hace mucho fro, visitaremos Lisboa. d) O bien hace mucho fro, o bien iremos a Portugal. e) No iremos a Portugal, si no vamos a visitar Lisboa o si hace mucho fro. 2) Mediante una tabla de verdad, verica si las dos frmulas
El examen est formado por cuatro problemas. La respuesta a cada uno de los problemas se valorar sobre cinco puntos.
1 : p q r
y 2 : p q r,
109
{r p p, p q, q p}
4) Sea : (p q r) (t q ).
p.
111
6.2
El examen est formado por tres problemas. La respuesta a cada uno de los problemas se valorar sobre el nmero de puntos indicado. Podis consultar los apuntes de la asignatura.
(, ) R si y slo si |= .
a) (3 puntos) Verica si R es reexiva, simtrica o transitiva. b) (1 punto) Determina si R es una relacin de equivalencia. 2) Considera las siguientes dos frases:
: Hoy no hace fro ni calor y no ir al parque a menos que no llueva. : Es imposible que: o bien hoy hace fro, o bien hace calor, o bien ir al parque a pesar de que llueva.
a) (2 puntos) Formaliza y en la lgica proposicional. b) (1 puntos) Dibuja los rboles estructurales de las frmulas proposicionales y obtenidas en el apartado a). c) (3 puntos) Mediante una tabla de verdad, verica si y son lgicamente equivalentes. 3) (5 puntos) Siendo p, q, r y s proposiciones atmicas, estudia la validez del siguiente razonamiento usando el mtodo de los tableaux:
p (q r) p (r s) p s qr
Si el razonamiento no es vlido, halla un contraejemplo.
112
Tiempo: 50 minutos
El examen est formado por dos problemas. La respuesta a cada uno de los problemas se valorar sobre el nmero de puntos indicado. Podis consultar los apuntes de la asignatura.
: (p r s) (q s p) r,
donde p, q, r y s son proposiciones atmicas. 2) (7 puntos) Usando el sistema de deduccin natural de Gentzen, verica la validez del siguiente razonamiento:
{p r s, r s t, p t, t s}
donde p, r, s y t son proposiciones atmicas.
p,
113
p q r
y tiene el contraejemplo p : 1, q : 1 y r : 0. Por tanto, el razonamiento en estudio no es vlido en lgica proposicional.
Es evidente que la conclusin de este ejemplo no satisface nuestra intuicin. Necesitamos extender la lgica proposicional a una lgica que admita la validez de una clase ms amplia de razonamientos. 115
116 Esta nueva lgica tendra que permitir una descripcin ms na de la realidad, pudiendo distinguir los objetos o trminos (por ejemplo, los hombres) de sus propiedades o predicados (por ejemplo, la propiedad de ser mortales). La lgica proposicional, cuyos elementos bsicos son las proposiciones atmicas, no permite realizar esta distincin. La lgica de predicados (Gottob Frege, 1879) nos permite dar una descripcin de la realidad ms detallada. Por ejemplo, veremos que el razonamiento anterior se puede formalizar ms precisamente como
Los smbolos de constantes: se denotan a, b, c, . . . y representan objetos concretos. Las constantes son individuos o elementos distinguidos del universo del discurso, que es la coleccin de objetos sobre los cuales queremos razonar. Las variables: se denotan x, y, z, . . . y sirven para representar objetos, cuyo dominio hay que especicar.
117 Tomaremos conjuntos de variables V nitos o innitos numerables. Recordamos que un conjunto V es innito numerable si existe una funcin biyectiva entre V y el conjunto de los nmeros naturales N.
Ejemplo 7.1.1 En las expresiones Pedro es un estudiante y x es un nmero primo, Pedro es una constante en el conjunto de la personas y x es una variable en el conjunto de los nmeros enteros.
Los conectivos lgicos:
1. constantes (de aridad 0): (verdadero) y (falso)
cando la negacin se obtiene (E (a)) : Pedro no es un estudiante. De forma similar, si P (x) : x es un nmero primo, (P (x)) : x no es un nmero primo.
3. conectivos binarios: (y: la conjuncin), (: la disyuncin), (la implicacin o condicional), (la doble implicacin o coimplicacin).
go no es un deportista se escribe como (F (s) (D(s))), donde F (x) : x es un lsofo, D(x) : x es un deportista y x es una variable en el conjunto de las personas. 2) La frase Scrates es un lsofo o Scrates es un deportista se escribe como (F (s) D(s)). 3) La frase La luna es de papel si y slo si Carlos lee muchos libros se escribe como (P (l) L(c)), donde P (x) : x es de papel, L(y ) : y lee muchos libros, x es una variable en el conjunto de las cosas y y es una variable en el conjunto de las personas.
118
Igualdad:
Usaremos el smbolo de igualdad = para expresiones del tipo 4 1 = 3 o mcm(2, 3) = 6. Por tanto, estamos considerando la lgica de predicados con igualdad.
x se escribe como (P (x) (y = f (x))), donde P (x) : x es positivo, f (x) : x y x y y son variables en el conjunto de los nmeros reales. Los cuanticadores:
1. : cuanticador universal (para todo). El cuanticador universal permite referirse a todos los individuos del universo del discurso. 2. : cuanticador existencial (existe). El cuanticador existencial permite referirse a algunos de los individuos del universo del discurso.
impar se escribe como (x((P (x) Q(x)) R(x))), donde P (x) : x es primo, Q(x) : x es mayor que 2, R(x) : x es impar y x es un elemento cualquiera del conjunto de los nmeros enteros. 2) La frase Todo hombre es mortal y hay hombres que no son lsofos se escribe como ((x(P (x) Q(x))) (x(P (x) ((R(x))))), donde P (x) : x es un hombre, Q(x) : x es mortal, R(x) : x es lsofo y x es un elemento cualquiera del conjunto de los seres.
Los smbolos de puntuacin (o smbolos auxiliares): parntesis abiertos y cerrados, comas. Los smbolos de predicado: se denotan P, Q, R, . . . .
Todo predicado tiene un nmero n N {0} de argumentos. El nmero n es la aridad del predicado. En ocasiones se especicar la aridad n de un predicado P por medio del smbolo P n .
119 1. Predicados constantes, n = 0: representan proposiciones atmicas. Para representar las proposiciones atmicas se suelen usar los smbolos p, q, r, s, t, . . . 2. Predicados mondicos, n = 1: representan propiedades de objetos. 3. Predicados polidicos, n > 1: representan relaciones entre objetos. Los predicados polidicos de la lgica de primer orden son relaciones sobre conjuntos segn la denicin del captulo 2. As, por ejemplo, todo predicado binario es una relacin binaria R entre dos conjuntos A y B, es decir, R A B. Un predicado mondico asocia a cada objeto de un dominio una propiedad.
120
2) Como vimos en el captulo 2, los predicados permiten denir conjuntos. Por ejemplo, en el dominio de los puntos del plano real R R, el conjunto S de las soluciones del sistema de dos ecuaciones
3x + 2y x 4y
=1 =0
se puede denir por medio de los predicados S1 (z ) : el punto z = (x, y ) es tal que 3x + 2y = 1 y S2 (z ) : el punto z = (x, y ) es tal que x 4y = 0. En el siguiente captulo, dedicado a la semntica de la lgica de primer orden, veremos como asignar valores de verdad a las expresiones bien construidas. Para nuestro ejemplo, podremos armar que los elementos del conjunto S son los puntos del plano z tales que S1 (z ) S2 (z ) es verdadera.
121
Observacin 7.1.8 De los ejemplos anteriores se deduce que, si n es un nmero natural, toda funcin naria se puede escribir como un predicado (n + 1)-nario. Sin embargo, en general, un predicado
no se puede escribir como una funcin. Veremos que las funciones sirven para simplicar la estructura de la frmulas de la lgica de primer orden.
7.2
Como en la lgica proposicional, los elementos bsicos de un lenguaje y las reglas de formacin permiten denir cadenas nitas de smbolos arbitrarias (palabras). En la lgica proposicional la palabras que son expresiones bien construidas son las frmulas. En la lgica de predicados las expresiones bien construidas pueden ser de dos tipos: trminos (que representan objetos) y frmulas (que expresan hechos relativos a objetos). Los trminos y las frmulas son las expresiones bien construidas de la lgica de primer orden (ver gura 7.1).
122 Los trminos y las frmulas de la lgica de predicados se obtienen a partir del alfabeto dado slo por medio de las reglas de formacin que vamos a denir a continuacin. Como en la lgica proposicional, la denicin de las expresiones bien construidas de la lgica de primer orden es recursiva y, como veremos, siguen valiendo los principios de unicidad de estructura, de induccin y de recursin estructural para trminos y frmulas.
Trminos
Frmulas
la forma P (t1 , t2 , . . . , tn ), donde P es un smbolo de predicado con aridad n > 0 y t1 , t2 , . . . , tn son trminos. Las proposiciones atmicas (los predicados constantes), los conectivos lgicos constantes y y la igualdad entre trminos, s = t, tambin se consideran frmulas atmicas.
123
NOTACIN: Para representar las frmulas se suelen usar las letras del alfabeto griego , , , . . . Ejemplos 7.2.6 1) Las frmulas atmicas del ejemplo anterior son
frmulas. 2) La expresin
124
TRMINOS (objetos)
FRMULAS (hechos)
Frmulas atmicas (relaciones)
125
Pasos de induccin:
2. (TF): Si f es un smbolo de funcin de aridad n > 0 y los trminos t1 , t2 , . . . , tn cumplen la propiedad P (hiptesis de induccin), entonces f (t1 , t2 , . . . , tn ) cumple la propiedad P. El principio de induccin estructural para trminos arma que si se verican las condiciones anteriores, entonces se puede concluir que todo trmino cumple la propiedad P.
Pasos de induccin:
2. (F): Si es una frmula que cumple la propiedad P (hiptesis de induccin), entonces () cumple la propiedad P,
126 3. (F): Si y son dos frmulas que cumplen la propiedad P (hiptesis de induccin), entonces ( ) cumple la propiedad P, 4. (F): Sean es una frmula y x un smbolo de variable. Si cumple la propiedad P (hiptesis de induccin), entonces x y x cumplen la propiedad P. El principio de induccin estructural para frmulas arma que si se verican las condiciones anteriores, entonces se puede concluir que toda frmula cumple la propiedad P.
127 c) Se admite la precedencia de los cuanticadores: los cuanticadores tienen prioridad sobre los conectivos. Se obtienen los siguientes niveles de precedencia:
1: 2: 3: 4:
y , , y , y .
128
129
d d
g
f rr
rr
dh d d
x
d d
rr r ri d d d dl
Figura 7.2: rbol sintctico del trmino f (g (x, h(a, y )), i(x, l(y ))).
130
d d d x d
d = z d d d d
d d d
d d
f z R rr
d d
g
r rr
dh d d
x
d d
r r ri d d d dl
f : T A
cuyo dominio sea el conjunto de los trminos y cuyo codominio sea un conjunto dado A, se puede emplear la siguiente denicin recursiva: 1. Base (TAt): Si t es un trmino atmico, f (t) se dene explcitamente, es un elemento de A, 2. Paso recursivo (TF): si t es el trmino compuesto g (t1 , t2 , . . . , tn ), se dene f (t) en funcin de f (t1 ), f (t2 ), . . . , f (tn ).
Queremos denir recursivamente el conjunto V ar(t) de las variables libres de un cualquier trmino t. Por el principio de recursin estructural para trminos, podemos denir una funcin V ar : T P (Var), ( P (Var) es el conjunto de las partes de Var) que asocia a todo trmino t el conjunto de sus variables libres, V ar(t) : 1. Base (TAt): V ar(x) = {x}, y V ar(a) = , donde es el conjunto vaco. 2. Paso recursivo (TF): si t es el trmino compuesto g (t1 , t2 , . . . , tn ), se dene
132
f : F A
cuyo dominio sea el conjunto de las frmulas y cuyo codominio sea un conjunto dado A, se puede emplear la siguiente denicin recursiva: 1. Base (FAt): Si es una frmula atmica, f () se dene explcitamente, es un elemento de A.
Paso recursivo:
2. (F): f ((1 )) se dene en funcin de f (1 ), 3. (F): f (1 2 ) se dene en funcin de f (1 ) y f (2 ), 4. (F): f (x1 ) y f (x1 ) se denen en funcin de f (1 ). Estas deniciones determinan la funcin f sobre todo F.
Sea Var el conjunto de todas las variables. Queremos denir recursivamente el conjunto Lib() de las variables libres de una cualquier frmula . Por el principio de recursin estructural para frmulas, podemos denir una funcin Lib : F P (Var), que asocia a toda frmula el conjunto de sus variables libres, Lib() : 1. Base (FAt): Si es una frmula atmica, Lib() es el conjunto V ar() de todas las variables de . En particular,
Lib( ) = Lib() = Lib(p) = , donde es el conjunto vaco, Lib(s = t) = V ar(s) V ar(t), Lib(P (t1 , t2 , . . . , tn )) = V ar(t1 ) V ar(t2 ) V ar(tn ).
Paso recursivo:
2. (F): Lib((1 )) = Lib(1 ),
133
3. (F): Lib(1 2 ) = Lib(1 ) Lib(2 ), 4. (F): Lib(x1 ) = Lib(x1 ) = Lib(1 ) \ {x}. Estas deniciones determinan la funcin Lib sobre todo F.
7.4
Como ya vimos en lgica proposicional, formalizar una frase del lenguaje natural consiste en encontrar una expresin que la represente elmente en el lenguaje formal. No hay procedimientos generales para la formalizacin, pero se pueden determinar algunas estrategias, como las que vamos a indicar a continuacin. La referencia principal para esta seccin es [A].
Si la frase que se quiere formalizar no tiene una estructura sintctica fcilmente reconocible, se puede intentar reescribirla en el lenguaje natural hasta llegar a una frase con una estructura ms sencilla y que mantenga el mismo signicado. Tenemos que denir claramente el dominio o los dominios a los cules pertenecen los objetos que vamos a usar. En una frase necesitamos determinar:
Las constantes, que son objetos concretos de uno o ms dominios. Las variables, que son objetos genricos de uno o ms dominios. Las funciones de aridad n > 0 , que representan como un cierto
objeto queda determinado por otros (u otro). objeto.
Los predicados mondicos que representan propiedades de un Los predicados de aridad n > 0 que representan relaciones
entre objetos.
Identicadas las conectivas lingsticas y los cuanticadores (universales o existenciales), necesitamos sustituirlas por los conectivos y los cuanticadores de la lgica de primer orden.
134
Observacin 7.4.1 A la hora de formalizar frases o razonamientos hay algunas observaciones importantes que es oportuno tener en cuenta.
1. Ya que la formalizacin de una frase depende del dominio o de los dominios elegidos, se pueden obtener formalizaciones distintas de un mismo enunciado.
xJ (x).
b) Sean D2 el conjunto de las personas y sea N (x) : x es un nio. En este caso se obtiene x(N (x) J (x)). c) Sean D1 el conjunto de los nios y D2 el conjunto de los juegos. Entonces p = la pelota es una constante en D2 y obtenemos la formalizacin xJ (x, p). d) Sean D1 el conjunto de las personas y D2 el conjunto de los juegos. Entonces p = la pelota es una constante en D2 y, usando el predicado N (x) : x es un nio, obtenemos la formalizacin
135
2. Toda funcin se puede representar mediante un predicado con un argumento ms que la funcin. Adems, las funciones simplican la estructura de la frmula obtenida.
P (x, y ) : x es el padre de y,
y
f (x) : el padre de x,
y
136
x(1 2 ), x(2 1 ).
Es la forma de representar frases del tipo: Todo 1 es 2 , Slo los 2 son 1 , Nadie es 1 a menos que sea 2 , No hay ningn 1 que no sea 2 ,
x(1 2 ).
Es la forma de representar frases del tipo: Ningn 1 es 2 , Todos los 1 carecen de 2 . 3. Existencial armativo
x(1 2 ).
Es la forma de representar frases del tipo: Algn 1 es 2 , Alguien es a la vez 1 y 2 . 4. Existencial negativo
x(1 2 ).
137
x (P (x) Q(x)).
2) (Universal negativo) Ningn emperador es odontlogo (L. Carroll). Sea D el dominio de las personas y sean
x (P (x) Q(x)).
3) (Existencial armativo) Algunos estudiantes de informtica slo son amigos de los acionados a la lgica [C]. Esta frase se puede reescribir como:
138
Para algunos estudiantes de informtica, una persona es un amigo slo si es acionado a la lgica [C]. Sea D el dominio de las personas y sean
Universal-Existencial
Consideremos la frase Todos los alumnos de esta clase aprobarn en febrero.
xP (x).
La negacin de Todos los alumnos de esta clase aprobarn en febrero es No todos los alumnos de esta clase aprobarn en febrero, es decir,
(xP (x)),
que podemos reescribir como: Existen alumnos de esta clase que no aprobarn en febrero. Con los mismos dominio y predicados anteriores, su formalizacin es
x(P (x)).
Existencial-Universal
Consideremos ahora la frase Algunos alumnos de esta clase suspendern en febrero. Sean D el conjunto de los alumnos de esta clase y
xP (x).
La negacin de Algunos alumnos de esta clase suspendern en febrero es Ningn alumno de esta clase suspender en febrero, es decir,
(xP (x)),
que podemos reescribir como: Todos los alumnos de esta clase no suspendern en febrero.
x(P (x)).
de los nmeros reales, R+ el conjunto de los nmeros reales positivos y N el conjunto de los nmeros naturales. Sea {an }nN una sucesin de nmeros reales, es decir, una funcin
a : N R.
Si R+ y n, m N, se dice que el nmero real L es el lmite de {an }nN , lim an = L, si
n
n m ((m n) |am L| ).
P (x) : x es buena persona, Q(x, y ) : x ayuda a y, R(x) : x es pobre, S (x) : x es acionado a la fotografa.
Con estas deniciones el razonamiento dado se puede escribir como:
141
El clculo de predicados de primer orden admite generalizaciones a clculos de predicados de orden mayor que uno. En el clculo de predicados de primer orden los cuanticadores pueden afectar slo a las variables y los predicados se calculan slo sobre trminos. En el clculo de predicados de segundo orden, los cuanticadores afectan tambin a predicados. En el clculo de tercer orden se denen predicados de predicados (no slo predicados de trminos). Siguiendo aadiendo niveles de predicados de predicados, se sube el nivel del clculo de predicados que se est deniendo.
142
7.5 Ejercicios
Ejercicio 7.5.1 Determina cules de las siguientes frmulas (en forma abreviada) son abiertas y cules son cerradas. En cada caso, identica las variables libres y ligadas. 1. x(f (x, y ) P (g (x), a, b)), 2. y (xf (x, y ) P (g (x), a, b)), 3. y xf (x, y ) P (g (x), a, b), 4. y xf (x, y ) xP (g (x), a, b). ejercicio anterior y los siguientes trminos: 1. f (g (a, x), h(x, i(y, b)), c), 2. f (g (x), h(x, y ), i(y, b), l(x, c)). la funcin
Ejercicio 7.5.4 Formaliza las siguientes frases en lgica de primer orden. Para cada una de ellas, escribe su negacin y vuelve a traducirla al lenguaje natural.
1. Slo los cientcos que trabajan en reas aplicadas son famosos. 2. Algunos caballos son salvajes. 3. Todas las personas tienen algn amigo. 4. En los nmeros reales, el producto de cualquier nmero real positivo por cualquier nmero negativo es negativo. El producto de cualquier nmero positivo por cualquier nmero positivo es positivo.
143
5. En los nmeros naturales, el siguiente de cualquier nmero par no es par. El siguiente de cualquier nmero no par es par. El producto de cualquier nmero par por cualquier natural es par. 6. Si el producto de dos nmeros naturales es mltiplo de un primo, entonces uno de ellos es mltiplo del primo. 7. Slo las buenas enfermeras atienden con paciencia a los enfermos tsicos. 8. Los acionados del Madrid son amigos de los acionados del Betis. Algunos acionados del Madrid son amigos de los acionados del Betis. Algunos acionados del Madrid slo son amigos de acionados del Betis. 9. Dos hermanos nunca tienen la misma opinin respecto a todos los aspectos de la vida.
Ejercicio 7.5.5 Formaliza el siguiente argumento en la lgica de primer orden: Dos personas son hermanas si tienen el mismo padre. Dos personas son primas si tienen el mismo abuelo. El padre de Juan es hijo nico. Por tanto: sus primos son sus hermanos.
144
146
A continuacin, tendremos que denir cmo asignar un signicado, en el dominio elegido, a los elementos bsicos del lenguaje. Finalmente, los signicados de los elementos bsicos nos proporcionarn, con un procedimiento de recursin estructural, los signicados de los trminos y de las frmulas. Necesitamos entonces empezar con asignar signicados a constantes, funciones, predicados (algo que llamaremos una interpretacin) y a variables (una asignacin). Estos conceptos se corresponden al concepto de valoracin visto en la lgica proposicional. En la lgica de primer orden una signatura es un conjunto de smbolos de funciones y de predicados con aridades asociadas. Una signatura puede ser nita o innita numerable. Supondremos que sea decidible, es decir, que sea posible reconocer efectivamente sus smbolos con sus aridades. El lenguaje L es el conjunto de todas las frmulas que se pueden construir a partir de los elementos de . Cuando no haga falta especicar la signatura que se est usando, indicaremos un lenguaje simplemente con el smbolo L.
Denicin 8.1.1 Sea L un lenguaje de la lgica de primer orden. Una interpretacin es cualquier par I = (D, I ) donde:
D es un conjunto no vaco, denominado dominio de la interpretacin, I es una funcin que asocia:
147
1. a cada smbolo de constante c del lenguaje un elemento cI del conjunto D, 2. a cada smbolo de funcin f del lenguaje con aridad n > 0 una funcin f I : Dn D, 3. a cada smbolo de proposicin atmica p un elemento pI del conjunto {0, 1} (una valoracin), 4. a cada smbolo de predicado P del lenguaje con aridad n > 0 una relacin P I Dn .
Denicin 8.1.2 Dada una interpretacin I = (D, I ) para un lenguaje de primer orden, se llama asignacin a una funcin A que asocia a cada smbolo de variable x un elemento xA perteneciente al conjunto D.
Observacin 8.1.3 En la literatura la terminologa empleada no es uniforme: en varios textos se denomina interpretacin al par formado por una estructura (interpretacin en nuestra notacin) y un estado (asignacin en nuestra notacin). En estos apuntes la denicin de interpretacin es la 8.1.1 y, por tanto, no incluye ninguna asignacin. En cada caso, se tendr que especicar la asignacin elegida para una dada interpretacin. La justicacin de la notacin elegida es que, como veremos, nuestras deniciones permiten denir ms claramente los conceptos de frmula satisfacible bajo una interpretacin y de modelo de una frmula (ver denicin 8.3.1).
Sea = {a, f, g } una signatura, donde a es una constante, f es una funcin unaria y g una funcin binaria. Vamos a ver tres posibles interpretaciones y asignaciones: 1) Denimos el dominio
D1 = {0, 1, 2, . . . } = N {0},
la interpretacin
I:
aI = 0,
g I = + (la suma),
148
y la asignacin
A : xA = 1 .
2) Denimos el dominio D2 como el conjunto de todas las posibles palabras que se pueden construir con el alfabeto {, @}, la interpretacin
I:
a I = ,
xA = @ .
D3 = {. . . , 2, 1, 0, 1, 2, . . . } = Z,
la interpretacin
I:
aI = 1,
g I = (la resta),
y la asignacin
de la denicin 8.1.2 y de asignacin de un estado a las variables de un programa en un lenguaje de programacin. Si en un programa ejecutamos el comando x := a, el estado de la variable x se ha modicado y ahora su valor es el elemento a del conjunto del tipo de datos que se est considerando. En nuestra notacin, siendo D el dominio de una interpretacin y A una asignacin para esa interpretacin, el nuevo estado de la variable x es xA = a D.
NOTACIN: Si A es una asignacin, escribiremos A[x/d] para indicar una nueva asignacin que diere de A slo en la variable x, a la cual ya se ha asignado el valor d D.
149
8.2
El siguiente paso haca la denicin de signicados para expresiones bien construidas consiste en el usar el principio de recursin estructural para poder extender una interpretacin y una asignacin dadas a todos los trminos y a todas las frmulas. Esta extensin nos permitir asociar valores de verdad {0, 1} a las frmulas y estudiar su validez.
Dada una interpretacin I = (D, I ) para un lenguaje de primer orden, y dada una asignacin A para esa interpretacin, se asocia a cada trmino del lenguaje t un elemento tI,A perteneciente a D de la siguiente forma: 1. Base (TAt): - si t es una constante c, entonces
tI,A = cI ,
- si t es una variable x, entonces
tI,A = xA ,
2. Paso recursivo (TF): si t es un trmino de la forma f (t1 , . . . , tn ), entonces I,A tI,A = f I (tI,A 1 , . . . , tn ).
minos y
Ejemplo 8.2.2 Usando las deniciones del ejemplo anterior 8.1.4, los trt1 = f (g (f (a), f (x))) t2 = {f (g (x, f (g (x, f (a)))))}
150
Dada una interpretacin I = (D, I ) para un lenguaje de primer orden, y dada una asignacin A para esa interpretacin, se asocia a cada frmula del lenguaje un valor de verdad I,A perteneciente a {0, 1} de la siguiente forma: 1. Base (FAt): - I,A = 0 ;
I,A
= 1,
(s = t)I,A =
- si = P (t1 , . . . , tn ), entonces
I,A = 1
si y slo si
I,A es decir, si y slo si los elementos (tI,A 1 , . . . , tn ) estn relacionados mediante la relacin P I ,
151
I,A = ( I,A ),
siendo (0) = 1 y (1) = 0, - (F): si = (1 2 ), entonces
I,A I,A = I,A 1 2 ,
donde el valor de I,A I,A 1 2 , viene dado por la tabla 8.1, que coincide con la tabla 4.1 de la lgica proposicional:
I,A 1 0 0 1 1
I,A 2 0 1 0 1
I,A 1 1 1 0 0
0 0 0 1
0 1 1 1
1 1 0 1
1 0 0 1
- (F): si = x , entonces I,A = 1 si y slo si existe algn elemento del dominio D tal que, despus de asignar ese valor a la variable x en , se tiene I,A = 1. De forma equivalente, I,A = 1 si y slo si existe algn d D tal que I,A[x/d] = 1, - (F): si = x , entonces I,A = 1 si y slo si se tiene I,A = 1 para cualquier posible asignacin de un elemento del dominio D a la variable x en . De forma equivalente, I,A = 1 si y slo si para todo d D se verica que I,A[x/d] = 1.
152
x(x2 = 2)
y tiene valor 1 ya que existe la raz cuadrada de 2. En la interpretacin (D2 , I2 ) denida por:
x(x2 = 2)
tiene valor 1 ya que todo nmero complejo tiene dos races cuadradas complejas. 2) Consideremos la frmula
= xy (P (f (x, y ), a) P (x, y ))
en la interpretacin (D1 , I1 ) denida por:
153
8.3
Las deniciones y resultados del prrafo anterior nos permiten denir el clculo de los valores de verdad de una frmula. Las siguientes deniciones son anlogas a las deniciones de satisfacibilidad y validez vistas para frmulas proposicionales y nos permiten estudiar la validez y clasicar las frmulas de la lgica de primer orden.
Denicin 8.3.1
Se dice que una frmula es satisfacible bajo una interpretacin (D, I ) cuando se verica I,A = 1 para alguna asignacin A. Se dice que una frmula es satisfacible cuando es satisfacible bajo alguna interpretacin (D, I ). Por tanto, una frmula es satisfacible si existen al menos una interpretacin (D, I ) y una asignacin A (relativa a esa interpretacin) tales que I,A = 1. Si una frmula no es satisfacible se dice que es insatisfacible. Se dice que una frmula es verdadera bajo una interpretacin I = (D, I ) cuando se verica I,A = 1 para cualquier asignacin A. En este caso se dice tambin que I es un modelo de y se escribe I |= . Se dice que una frmula es vlida cuando es verdadera bajo cualquier interpretacin, y se denota |= . Por tanto, una frmula es vlida si para toda interpretacin (D, I ) y una asignacin A (relativa a esa interpretacin) se verica que I,A = 1. Si una frmula no es vlida se dice que es falsicable.
Observacin 8.3.2 El concepto de frmula insatisfacible en LPO se corresponde al concepto de frmula insatisfacible (o contradiccin) en LP. Es una frmula que es siempre falsa. El concepto de frmula vlida en LPO se corresponde al concepto de frmula vlida (o tautologa) en LP. Es una frmula que es siempre verdadera. Ejemplo 8.3.3 [F] Sea
: yR(x, f (y, y )).
154
Siendo la variable x libre, es abierta. Sean D = {1, 2, 3, . . . } = N, RI = = y f I = +. Entonces, para una asignacin A ,
I,A : y (xA = 2y ).
Si A es tal que xA es un numero par, entonces I,A = 1. Si A es tal que xA es un numero impar, entonces I,A = 0. Se sigue que es satisfacible bajo (D, I ), pero no es verdadera bajo (D, I ). En particular, no es vlida.
x a b c
P I (x) 1 1 0
RI (x) 0 1 0
(P (x) R(x))I 0 1 1
Se sigue que (x(P (x) R(x)))I = 0 (esta conclusin se podra haber deducido mirando slo a la primera la de la tabla). Por tanto, la frmula inicial tiene valor 1 bajo la interpretacin dada, siendo una implicacin con premisa siempre falsa. Se deduce que la interpretacin (D, I ) es un modelo de .
, es insatisfacible. 2) Si una frmula es cerrada, dada una interpretacin (D, I ), su valor de verdad no depende de la asignacin elegida y se puede denotar I . En este caso es satisfacible bajo (D, I ) si y slo si es verdadera bajo (D, I ). 3) Si una frmula (no cerrada) contiene las variables libres {x1 , x2 , . . . , xn }, se llama cierre universal de a la frmula cerrada x1 x2 . . . xn (x1 , x2 , . . . , xn ).
Por tanto, en el caso de una frmula no cerrada:
155
es verdadera bajo (D, I ) si y slo si x1 x2 . . . xn (x1 , x2 , . . . , xn ) es verdadera bajo (D, I ) y es vlida si y slo si x1 x2 . . . xn (x1 , x2 , . . . , xn ) es vlida.
NOTA: de las anteriores observaciones se sigue que basta estudiar la validez de frmulas cerradas.
8.4
Otro concepto fundamental que vamos a denir es el concepto de consecuencia lgica. Las deniciones son similares a las vistas en lgica proposicional, teniendo en cuenta que tenemos que reemplazar el concepto de valoracin por los de interpretacin y asignacin.
conjunto nito de frmulas = {1 , 2 , . . . n } si cualquier interpretacin (D, I ) y cualquier asignacin A que satisfacen todo elemento del conjunto satisfacen tambin la frmula . De forma equivalente, es consecuencia lgica de si I,A = 1 para i I,A todo i {1, 2, . . . , n} implica = 1. Si es consecuencia lgica de tambin se dice que implica lgicamente a y se escribe |= .
A continuacin recordamos la denicin de razonamiento vlido y la notacin empleada en el captulo 4.
Denicin 8.4.2 Sean = {1 , 2 , . . . n } un conjunto nito de frmulas y una frmula. Se dene deduccin o razonamiento a la frmula
((1 2 n ) ).
si Se dice que el razonamiento anterior es correcto o lgicamente vlido
(1 2 n ) |= ,
es decir, si el conjunto de las premisas o hiptesis del razonamiento implica lgicamente a la conclusin o tesis .
156 Usando la notacin ya empleada para la lgica proposicional, para distinguir las premisas de la conclusin, el razonamiento anterior se suele representar por
1 . . . n
El siguiente teorema extiende a la lgica de primer orden la relacin existente entre la validez de una frmula y el concepto de de consecuencia lgica ya vista en el contexto de la lgica proposicional.
Sean = {1 , 2 , . . . n } un conjunto nito de frmulas y una frmula. La siguientes armaciones son equivalentes: 1) es consecuencia lgica de , 2) (1 2 n ) es una frmula vlida (y se escribe |= ((1 2 n ) )), 3) 1 2 n es insatisfacible (Reduccin al absurdo).
157
Reexividad de la igualdad Simetra de la igualdad Transitividad de la igualdad Sustitutividad de la igualdad Hiptesis universal Tesis existencial
(H (s))I,A = 1.
Se trata de vericar si, necesariamente, tiene que ser M (s)I,A = 1. Por denicin, (x(H (x) M (x)))I,A = 1 si y slo si (H (x) M (x)))I,A = 1 para todo xA D. En particular, (H (s) M (s)))I,A = 1. Siendo H (s)I,A y M (s)I,A frmulas proposicionales, la condicin anterior es equivalente a (H (s) M (s)))I,A = 1. Por hiptesis sabemos que (H (s))I,A = 1, es decir, sabemos que (H (s))I,A = 0. Se sigue que para que se verique (H (s) M (s)))I,A = 1 tiene que ser (M (s))I,A = 1. Por tanto implica lgicamente .
Ejemplo 8.4.5 [HLR] Se puede vericar (ver ejercicio 8.6.7) que las frmulas de la tabla 8.2 son implicaciones lgicas.
8.5
Equivalencia de frmulas
158
si algn cuanticador de hace que queden ligadas variables de t despus de la sustitucin, la variable ligada de esa cuanticacin se reemplaza por otra.
: xR(x, y )
y sea I = (D, I ) la interpretacin con dominio D = N (los nmeros naturales) y RI (x, y ) = {(x, y ) N N : x y } (la relacin de orden usual en N ). Sustituyendo la variable libre y por z obtenemos la frmula
[y/z ] : xR(x, z ),
y no se altera el signicado de . Las dos frmulas son falsas bajo I = (D, I ), ya que el conjunto N no tiene mximo. Sin embargo, si sustituimos y por x obtenemos la frmula
[y/x] : xR(x, x)
que es verdadera bajo I = (D, I ), siendo cierto que un cualquier nmero natural n verica que n n (es la propiedad reexiva de la relacin). Para sustituir y por x sin alterar el signicado de la frmula y el tipo de ocurrencia de sus variables, tendramos que cambiar de nombre tambin a la variable x. Por ejemplo, se puede sustituir x por v y y por x. As se obtiene la frmula:
naturales N con el producto y la suma usuales. Para sustituir correctamente la variable y por z + z, tendremos que escribir
[y/z + z ] : u(x u = z + z ).
159
Observacin 8.5.3 En informtica, la operacin de sustitucin es importante en la vericacin de programas. La ejecucin de un programa tiene
como efecto la transformacin del estado de unas variables de una condicin inicial a una condicin nal. Vericar un programa consiste en demostrar que, si el estado inicial de las variables cumple una cierta condicin inicial, entonces su estado nal cumple con la condicin nal deseada. Las condiciones iniciales y nales se suelen representar por medio de frmulas de la lgica de primer orden. Para asignar valores a estas condiciones se introduce una interpretacin que representa el tipo de datos sobre el cul se puede operar (ver, por ejemplo, [HLR] o [C]).
Denicin 8.5.4 Sean y dos frmulas. Se dice que equivale lgicamente a si y slo si
|=
y |= .
mulas equivalentes, entonces tienen los mismos valores de verdad bajo una cualquier interpretacin y asignacin. Por tanto, no es difcil vericar que las siguientes armaciones son equivalentes:
. |= . |= y |= .
160
1 (1 2 ) 1 1 (1 2 ) 1 1 2 2 1 1 2 2 1 (1 2 ) (2 1 ) (1 2 ) 3 1 (2 3 ) (1 2 ) 3 1 (2 3 ) 1 (2 3 ) (1 2 ) (1 3 ) 1 (2 3 ) (1 2 ) (1 3 ) 1 (2 3 ) (1 2 ) (1 3 ) 1 (2 3 ) (1 2 ) (1 3 ) 1 (2 3 ) (1 2 ) (1 3 ) 1 (2 3 ) (1 2 ) (1 3 ) () (1 2 ) (2 1 ) (1 2 ) 1 2 (1 2 ) 1 2 1 2 1 2 1 2 (1 2 ) (2 1 )
Leyes de Identidad No contradiccin Tercio excluso Idempotencia Absorcin Conmutatividad Asociatividad Distributividad
161 Las tablas 8.3 (ver la correspondiente tabla 4.4 para la lgica proposicional) y 8.4 contienen las principales equivalencias relativas a conectivos y cuanticadores, respectivamente.
equivalencia entre frmulas es reexiva, simtrica y transitiva (ver la observacin 4.5.4 del captulo 4). Por tanto es una relacin binaria de equivalencia sobre el conjunto de todas las frmulas. Dos frmulas pertenecen a la misma clase de equivalencia si y slo si tienen los mismos valores de verdad bajo una cualquier interpretacin y asignacin.
Teorema 8.5.7 Sea () una frmula que contiene una subfrmula y sea ( ) la frmula obtenida reemplazando la subfrmula por . Si , entonces () ( ).
1 y 2 unos smbolos de proposiciones {p1 , p2 , , pn } por unas frmulas {1 , 2 , , n }, se obtiene la equivalencia 1 [p1 /1 , p2 /2 , , pn /n ] 2 [p1 /1 , p2 /2 , , pn /n ].
cin, que la subfrmula : P (x, p, q ) Q(f (y )) es equivalente a la frmula : P (x, p, q ) Q(f (y )). Entonces
Ejemplo 8.5.9 Sea : x(P (x, p, q ) Q(f (y ))). Sabemos, por interdeni-
162
Como vimos en el captulo 4 para la lgica proposicional, a partir de las equivalencias de las tablas 8.3 y 8.4 es posible demostrar que en el lenguaje de la lgica de primer orden es suciente emplear slo los conectivos {, , }. De forma similar, los conjuntos {, , } y {, , , } permiten representar cualquier frmula bien construida por medio de una frmula equivalente, en la cual aparecen slo los conectivos de los conjuntos indicados (ver ejercicio 8.6.11).
163
8.6
Ejercicios
: y (P (y ) x(P (x) Q(z ))),
calcula todas las posibles interpretaciones de en el dominio de dos elementos D = {a, b}.
q es una proposicin atmica. Se pide evaluar la frmula anterior en la interpretacin I = (D, I ) donde D = {a, b, c}, q I = 1, P I = {a, b} y con una asignacin A tal que y A = c.
Sea la frase Todos los del vecindario odian a una persona. a) Formaliza la frase dada en lgica de primer orden, siendo el dominio D el conjunto de las personas. b) Sea D = {p1 , p2 , p3 } y sea I denida por las condiciones: - p1 y p2 pertenecen al vecindario, pero p3 no. - p3 no odia a nadie. - p1 y p2 slo odian a p3 . Evala el valor de la frmula obtenida en el apartado a) bajo la interpretacin (D, I ).
Evala con D = {a, b}, P I = {a}, RI = {b}, QI = {(a, a), (b, b)} y xA = a, y A = b.
Ejercicio 8.6.6 Tomando como dominio D el conjunto de las personas, formaliza las siguientes frases. Para cada una de ellas halla una interpretacin I = (D, I ), con dominio el conjunto de las personas, que la hace falsa.
164
1. Dos hermanos que compartan el mismo coche y tengan la misma edad, necesariamente son amigos y tienen alguna acin en comn. 2. Los jugadores de ftbol son amigos de los jugadores de pelota vasca. 3. Algunos jugadores de ftbol son amigos de los jugadores de pelota vasca. 4. Algunos jugadores de ftbol slo son amigos de jugadores de pelota vasca.
Ejercicio 8.6.7 Verica las implicaciones lgicas de la tabla 8.2. Ejercicio 8.6.8 Formaliza el siguiente argumento a la lgica de primer orden: Los que salen hoy de viaje cogern el autobs. Los ejecutivos viajan siempre en avin. Todos los de mi empresa viajan con maletn. Nadie que haya viajado en avin volver a hacerlo en autobs. Nadie viaja con maletn a no ser que sea un ejecutivo. Por tanto: nadie en mi empresa sale hoy de viaje. Prueba la validez semntica de dicho argumento.
Estudia la satisfacibilidad de los argumentos anteriores eliminando las hiptesis sobre P (a) y P (b). Son razonamientos vlidos?
Ejercicio 8.6.10 Usando las equivalencias estudiadas, simplica las expresiones halladas como negaciones formales de las frases del ejercicio 7.5.4 del captulo 7. 8.5.10
165
Ejercicio 8.6.12 En cada apartado, verica si las dos frmulas dadas son
equivalentes: a) 1 : P (x) xQ(x), 2 : x(P (x) Q(x)). b) 1 : xP (x) Q(x), 2 : x(P (x) Q(x)).
166
la validez de una frmula: si es una frmula vlida se dice que es demostrable y se escribe . si una frmula es consecuencia lgica de un conjunto de premisas : si es consecuencia lgica de se dice que es deducible en el sistema a partir de y se escribe .
Las deniciones generales de sistema formal axiomtico, teorema, deduccin, mtodos directos y por refutacin son las mismas estudiadas en la seccin 5.1 del captulo 5. Las iremos empleando a lo largo de todo el captulo. Tambin valen el teorema de la deduccin 5.1.9 y su corolario 5.1.10, que permiten establecer la relacin entre deducciones correctas y frmulas vlidas:
{1 , 2 , . . . n }
si y slo si
{1 , 2 , . . . n1 }
(n ).
Corolario 9.0.2 Dada una demostracin de una deduccin, es siempre posible encontrar una frmula vlida que la represente.
167
168 Ya comentamos que en la lgica de primer orden no existe ningn mtodo de demostracin que sea decidible. Por tanto, la extensin de la teora de los tableaux sintcticos a la lgica de primer orden no puede proporcionar un mtodo ecaz y nito para establecer la satisfacibilidad de una frmula.
(y )
x(x).
Lo que se entiende con la notacin empleada es que en (y ) la variable y representa un cualquier elemento del dominio, no un elemento especicado. Con la notacin de Fitting (I ) se representa como:
y . . . . . . (y ) x(x)
169 Notar tambin que y NO es una premisa auxiliar de una subdeduccin. La notacin de Fitting que estamos empleando es de una subdeduccin sin premisa y se interpreta como: si y es un smbolo de variable que no ha aparecido antes en la deduccin madre y resulta que (y ) es vlida, entonces x(x) es vlida.
Ejemplo 9.1.1 [A] Para poder deducir que Todos los leones son car-
nvoros en el dominio D de los leones, siendo H (x) : x es carnvoro, se puede usar la regla (I ) y escribir
y C (y ) xC (x)
x(x)
para cualquier trmino t.
(t)
Una frmula que se verica para todo elemento del dominio, se verica para cualquier t.
(a).
1) x((x) (x)) (Premisa) 2) (a) (Premisa) 3) (a) (a) (E (1)) 4) (a) (E(2,3)).
(a)
x(x),
para cualquier constante del dominio a. Si (a) es verdadera, entonces x(x) es verdadera.
(a),
{x(x), (y ) }
donde no contiene la variable libre y.
(y ), ya que no sabemos
Con la notacin de Fitting (E ) se representa como: 1) x(x) 2) (y ) . . . . . . k) k+1) k+2) (Premisa auxiliar)
(y ) (I (2,k)) (E (1,(2,k))).
171
{x(x), x (x)}
1) x(x) (Premisa) 2) x (x) (Premisa) 3) (z )
xy ((x) (y )).
(Premisa auxiliar)
T31: (Cambio de variable cuanticada) T31.1 :x(x) T31.2 :y(y ) y(y ), x(x),
y(y ), x(x).
172
y(y ) (I(2,3))
T32: Descenso cuanticacional x(x) T33: Conmutatividad T33.1 :xy(x, y ) T33.2 :y x(x, y ) T33.3 :xy(x, y ) T33.4 :y x(x, y ) T34: Reglas de la conjuncin T34.1 :x((x) (x)) x(x) x (x). y x(x, y ), xy(x, y ). y x(x, y ), xy(x, y ). x(x).
T34.2 :x(x) x (x) T34.3 :x((x) (x)) T34.3 :x( (x)) T34.4 : x (x) T34.5 :x( (x)) T34.6 : x (x)
173
T35: Reglas de la disyuncin T35.1 :x((x) (x)) T35.2 :x(x) x (x) x(x) x (x), x((x) (x)).
x((x) (x)).
x( (x)), x (x).
T35.6 : x (x) T35.7 :x( (x)) T36: Reglas de la implicacin T36.1 :x(x) x (x) T36.2 :x((x) (x))
x( (x)), x (x).
x( (x) ), x (x) .
x (x).
T37: Reglas de eliminacin de la negacin de un cuanticador T37.1 (E) :x(x) T37.2 (E) :x(x) (a), (y ),
donde a es una constante e y es un cualquier elemento del dominio (ver ejercicios 9.3.2 y 9.3.3).
174
Teorema 9.2.1 [A] Una frmula de la lgica de primer orden es semnticamente vlida en teora interpretativa si y slo si es formalmente vlida en teora de la demostracin axiomtica.
A continuacin veremos como este teorema implica la completitud y la coherencia de los sistemas de demostracin de la lgica de primer orden.
Completitud
Recordamos que se dice que un sistema de demostracin axiomtico es completo si es capaz de demostrar cualquier frmula semnticamente vlida y deducir cualquier consecuencia lgica. Por tanto, el teorema 9.2.1 anterior tiene como consecuencia la completitud del clculo de predicados de primer orden.
Correccin
Recordamos que se dice que un sistema de demostracin es correcto (consistente, coherente) si todas las frmulas demostrables en el sistema son semnticamente vlidas y todas las frmulas deducibles en el sistema a partir de un conjunto de premisas son consecuencia lgica de dichas premisas. Por tanto, el teorema 9.2.1 anterior tiene como consecuencia tambin la correccin del clculo de predicados de primer orden.
175
Decidibilidad
Finalmente, recordamos que se dice que un sistema de demostracin es decidible si proporciona un procedimiento general y nito (aplicable a cualquier frmula y que termine) que permita decidir si una frmula es vlida o deducible a partir de un conjunto de frmulas.
que permita decidir si una frmula cualquiera de la lgica de primer orden es o no es vlida, es decir, la validez de frmulas en LPO es un problema indecidible (obsrvese que el mismo problema en lgica de proposiciones s es decidible: en este caso, para saber si una frmula es vlida basta con calcular su tabla de verdad).
No existe ningn sistema de demostracin en LPO que sea decidible: Church demostr en 1936 que no existe ningn algoritmo
Aunque la validez de las frmulas en LPO no es decidible en general, s lo es en los siguientes casos particulares:
cuando se consideran exclusivamente dominios nitos, cuando se admiten exclusivamente predicados mondicos, incluso en el caso de dominios innitos y predicados polidicos,
existen algunas clases particulares de frmulas para las que su validez s es decidible.
Por otro lado, la validez de las frmulas en LPO, aunque indecidible, es un problema semi-decidible en el siguiente sentido: existen sistemas de demostracin tales que
si una frmula es vlida, son capaces de demostrar que lo es, para frmulas no vlidas, el proceso puede no terminar nunca.
176
9.3 Ejercicios
Ejercicio 9.3.1 En el sistema de deduccin natural, demuestra las reglas de descenso cuanticacional T32 y de conmutatividad T33. Ejercicio 9.3.2 En el sistema de deduccin natural, demuestra los siguientes teoremas:
Ejercicio 9.3.3 [MH] Usando los resultados del ejercicio anterior, demues(E ) : x(x) (E ) : x(x) (a), (y ),
177
178
: x(yP (y ) P (x))
es semnticamente vlida. 2) Usando el sistema de deduccin natural de Gentzen de la lgica de primer orden, verica la validez de los siguientes razonamientos: a) (2 puntos)
b) (6 puntos)
xR(x) y P (y ) z (P (z ) R(z )) y P (y )
179
10.2
El examen est formado por ocho problemas. La respuesta a cada uno de los problemas se valorar sobre el nmero de puntos indicados. Las respuestas sin justicacin se considerarn como no contestadas. Podis consultar los apuntes de la asignatura.
Ejercicio 2: (12 puntos) Usa el mtodo de los tableaux semnticos para vericar la validez del razonamiento anterior.
frmula:
Ejercicio 4: (10 puntos) En el contexto de la lgica de primer orden, formaliza las siguientes frases. En cada caso, dene explcitamente el dominio y los elementos bsicos de la formalizacin.
a) Ningn abrigo es impermeable a menos que haya sido especialmente tratado. b) Algunas frutas y verduras son nutritivas.
180 c) En toda pareja de vecinos hay algn envidioso. d) Hay algunas personas importantes que son conocidas por todos. e) No hay ninguna persona importante que Luis no conozca.
denir la funcin
que a cada frmula F de la lgica de primer orden le asocia el nmero f () de cuanticadores (existenciales o universales) que aparecen en .
d d
b
rr
rr r
d e d d
f
d d
rr r c d d d d
Ejercicio 6: (12 puntos) En un rbol con raz nito y etiquetado por las
D = {a, b, c, d, e, f, g, h, i},
P (x) : el vrtice x tiene un padre, H (x) : el vrtice x tiene hijos, C (x, y ) : el vrtice x est conectado por medio de un camino no dirigido con el vrtice y,
181
182
Tiempo: 3 horas
El examen est formado por ocho problemas. La respuesta a cada uno de los problemas se valorar sobre el nmero de puntos indicados. Las respuestas sin justicacin se considerarn como no contestadas. Podis consultar los apuntes de la asignatura.
Ejercicio 2: (12 puntos) Usa el mtodo de los tableaux semnticos para vericar la validez del razonamiento anterior.
frmula:
Ejercicio 4: (10 puntos) En el contexto de la lgica de primer orden, formaliza las siguientes frases. En cada caso, dene explcitamente el dominio y los elementos bsicos de tu formalizacin.
a) Ningn abrigo es impermeable a menos que haya sido especialmente tratado. b) Algunas frutas y verduras son nutritivas.
183 c) En toda pareja de vecinos hay algn envidioso. d) Hay algunas personas importantes que son conocidas por todos. e) No hay ninguna persona importante que Luis no conozca.
denir la funcin
que a cada frmula F de la lgica de primer orden le asocia el nmero f () de cuanticadores (existenciales o universales) que aparecen en .
Ejercicio 6: (12 puntos) En un rbol con raz nito y etiquetado por las letras del dominio D = {a, b, c, d, e, f, g, h, i},
considera los siguientes predicados:
P (x) : el vrtice x tiene un padre, H (x) : el vrtice x tiene hijos, C (x, y ) : el vrtice x est conectado por medio de un camino no dirigido con el vrtice y, D(x, y ) : el vrtice y es un descendiente del vrtice x.
Evala las siguientes frmulas en la interpretacin denida por el rbol de la gura 10.1, que tiene como raz el vrtice a :
184
185
10.4
El examen est formado por ocho problemas. La respuesta a cada uno de los problemas se valorar sobre el nmero de puntos indicados. Las respuestas sin justicacin se considerarn como no contestadas. Podis consultar los apuntes de la asignatura.
Ejercicio 1: (14 puntos) Usando el sistema de Kleene, demuestra la validez del siguiente teorema:
(p (r q )) (s p) r (s q ).
Ejercicio 2: (12 puntos) Usa el mtodo de los tableaux semnticos para estudiar la validez del teorema del ejercicio 1.
frmula:
Ejercicio 4: (10 puntos) En el contexto de la lgica de primer orden, formaliza el siguiente razonamiento, tomando como dominio los animales.
(P1) Ningn plantgrado es un reptil. (P2) Los animales van a beber al ro a menos que sean plantgrados. (P3) No todos los animales son plantgrados. (C) No hay animales que vayan a beber al ro.
186
que a cada frmula F de la lgica de primer orden le asocia la longitud P F () de la rama ms larga de su rbol estructural (su profundidad).
D = {a, b},
b) (6 puntos)
P I = ,
QI = {a} y RI = {a}.
D = {a, b},
que la frmula dada sea verdadera y una tal que no lo sea: a) 1 : x(P (x) yQ(x, y )), b) 2 : x(P (x) yQ(x, y )).
Ejercicio 8: (14 puntos) Usando el sistema de deduccin natural, verica la validez de la regla de la implicacin:
x(x) x (x) x((x) (x)).
187
10.5
El examen est formado por siete problemas. La respuesta a cada uno de los problemas se valorar sobre el nmero de puntos indicados. Las respuestas sin justicacin se considerarn como no contestadas. Podis consultar los apuntes de la asignatura.
Ejercicio 1: (6 puntos) Para cada apartado, contesta verdadero o falso (no hace falta justicar tus repuestas):
En la lgica proposicional: LP1) Toda frmula proposicional satisfacible admite al menos un modelo. LP2) La deduccin {p, q } r es vlida si y slo si la frmula p (q r) lo es. LP3) La expresin p q r s es una frmula proposicional escrita en forma abreviada. En la lgica de primer orden: LPO1) xP (x) y P (y ) es una frmula insatisfacible. LPO2) xP (x) y (xP (x)) son frmulas equivalentes. LPO3) Dada una interpretacin I = (D, I ) de la frmula xy (P (x, y ) Q(y )), es correcto denir una asignacin A tal que xA = a D. de las partes P ().
a) (10 puntos) Usa el principio de recursin estructural para denir la funcin f : F P (), que a cada frmula F de la lgica proposicional le asocia el conjunto de proposiciones atmicas de que aparecen en la signatura de . b) (8 puntos) Usa induccin estructural para vericar que, para toda F, se verica que el nmero de elementos de f () es menor o igual que 8.
188
frmula:
Ejercicio 4: (8 puntos) En el contexto de la lgica de primer orden, formaliza las siguientes frases usando como dominio D el conjunto de las piezas de ajedrez y los predicados: T(x) = x es una torre, C(x) = x es un caballo, MD(x) = x se mueve en diagonal, B(x) = x es blanca, N(x) = x es negra, CP(x,y) = x come a y, A(x,y) = x est alineada con y.
a) Ninguna torre se mueve en diagonal. b) Toda pieza se mueve en diagonal, salvo si es una torre o un caballo. c) Una pieza blanca slo come piezas negras. d) Para que una torre coma un caballo es necesario que las dos piezas estn alineadas.
D = {1, 2, 3, 4, 5, 6}
de los seis ordenadores, considera los siguientes predicados:
P (x) : x es par, C (x, y ) : x est directamente conectado (a distancia 1) con y (x y y distintos), D(x, y, z ) : x est directamente conectado con y y con z (x, y y z todos distintos),
189
Figura 10.2: Grafo de la red de ordenadores del ejercicio 5 a) (9 puntos) Dene la interpretacin con dominio D determinada por la red de la gura 10.2.
b) (15 puntos) Evala las siguientes seis frmulas en la interpretacin del apartado a:
1 : xy (P (x) P (y ) C (x, y )), 2 : xy (P (x) P (y ) C (x, y )), 3 : xyC (x, y ), 4 : xy zD(x, y, z ), 5 : xy zD(x, y, z ), 6 : xy (P (x) P (y ) C (x, y )).
190
equivalentes:
Ejercicio 7: (14 puntos) Usando el sistema de deduccin natural, de{x(P (x) Q(x)), x(P (x) R(x))} x(Q(x) R(x)).
191
10.6
El examen est formado por siete problemas. La respuesta a cada uno de los problemas se valorar sobre el nmero de puntos indicados. Las respuestas sin justicacin se considerarn como no contestadas. Podis consultar los apuntes de la asignatura.
LP1) Toda forma satisfacible admite al menos un contraejemplo. LP2) La deduccin {p, q } r no es verdadera si p q es falso y r es falso. LP3) La expresin p (q r) s es una frmula proposicional escrita en forma abreviada. En la lgica de primer orden: LPO1) LPO2) lentes. LPO3) ocurrencia
x(P (x) Q(x)) yP (y ) es una frmula vlida. x(P (x) Q(x)) y x(P (x) Q(x)) son frmulas equivaEn la frmula xP (x, y ) yQ(y ) la variable y tiene una de variable libre.
Ejercicio 2: (18 puntos) Considera el conjunto L de las posibles listas ordenadas alfabticamente, sin repeticiones, de los smbolos del conjunto A = {p, q, r, s, t}. As, por ejemplo, la lista vaca y las listas [q, s], [p, s, t] y [p, q, r, s, t] son elementos del conjunto L. Sea ord : L L L la funcin que a cada par de listas (l1 , l2 ) L L asocia una nueva lista en L formada por la unin de los elementos de l1 y l2 , ordenados alfabticamente y sin repeticiones.
Usa la funcin ord y el principio de recursin estructural para denir la funcin f : F L,
192 que a cada frmula F de la lgica proposicional asocia la lista ordenada en L formada por sus proposiciones atmicas que pertenecen al conjunto A. frmula:
formaliza las siguientes frases usando como dominio N el conjunto de los nmeros naturales {1, 2, 3, . . . }. Dene claramente las constantes, las funciones y los predicados utilizados en tu formalizacin. a) El doble de todo nmero natural es par. b) Ningn par divide a un impar. c) Si dos nmeros naturales son divisores el uno del otro, entonces son iguales. d) Un nmero natural divide a todos los nmeros naturales slo si es igual a 1.
D = {A, B, C, D, E }
de las cinco letras que ocupan las dos tablas, considera los siguientes predicados:
A(x, y ) : x est ms arriba que y (x y y distintas), M (x, y ) : x est en la misma la que y (x y y distintas).
193 A E
B C
A C
B D
Sean I1 = (D, I1 ) I2 = (D, I2 ) las dos interpretaciones representadas en las tablas 1 y 2 de la gura 10.3, respectivamente. a) (12 puntos) Dene explcitamente los conjuntos AI1 , M I1 y AI2 , M I2 . b) (12 puntos) Evala las siguientes seis frmulas en cada una de las dos interpretaciones del apartado a:
1 : xyA(x, y ), 2 : xyA(y, x), 3 : xy M (x, y ), 4 : xy A(x, y ), 5 : xy (A(x, y ) M (x, y )), 6 : xy z (M (x, y ) A(x, z )).
Ejercicio 7: (14 puntos) Usando el sistema de deduccin natural, de{x(P (x) Q(x) R(x)), x(P (x) Q(x) R(x) S (x)), x(S (x) P (x) T (x)} x(P (x) Q(x) T (x)).
194
mtico
los smbolos p, q, r, s, t, . . . de proposiciones atmicas, los smbolos de conectivos , , , , los smbolos de parntesis ( , ) .
F : el conjunto de las frmulas bien construidas (fbc) se dene recursivamente como At : toda proposicin atmica es una fbc,
196
Toda fbc se obtiene mediante las tres reglas anteriores. plicacin entre dos frmulas, . Este conectivo se entender como una forma abreviada de representar la frmula bien construida ( ) ( ). X : el conjunto de los axiomas es A1 : A2 : A3 : A4 : A5 : A6 : A7 : A8 :
( ) ( ) (( ( )) ( )) ( )
( ) (( ) ( )) ( ) (( ) )
MP:
( )
De una frmula se puede deducir cualquier implicacin donde sea la conclusin. As, por ejemplo, sean = llueve y = x es par. De llueve se deduce que x es par implica que llueve.
197 A2 : {( ), ( ( ))}
( )
La implicacin ( ) se puede deducir si su premisa implica los elementos de un modus ponens con conclusin . As, por ejemplo, sean = llueve, = x es par y = la pared es blanca. Si llueve la pared es blanca se deduce de si llueve x es par y si llueve entonces si x es par la pared es blanca. A3 : {, }
( )
( )
( )
( )
La conclusin de dos implicaciones se deduce de las dos implicaciones y de la disyuncin de sus premisas. Usando la notacin de los ejemplos anteriores, de si llueve la pared es blanca y si x es par la pared es blanca y o llueve o x es par se deduce que la pared es blanca. A7 : {( ), ( )}
De dos implicaciones con igual premisa y conclusiones una la negacin de la otra se deduce la negacin de la premisa. En el caso de nuestro ejemplo, de si llueve, x es par y si llueve, x no es par se deduce que no llueve. A8 :
( ) ( ) (( ( )) ( )) ( ) ( ) (( ) ( )) ( ) (( ) )
( ) {( ), ( ( ))} {, } ( ) ( ) ( ) ( ) ( ) {( ), ( ), )} {( ), ( )}
( )
199
( ) ( ) ( ) ( ) ( ) ( )
200
T7.2)
( ) ( )
Es el recproco del anterior: una implicacin se deduce de la negacin de la conjuncin de su premisa con la negacin de su conclusin. Por ejemplo, T7.1) de llevo paraguas slo si llueve se deduce que no es posible que lleve paraguas y no llueva, T7.2) de no es posible que lleve paraguas y no llueva se deduce que llevo paraguas slo si llueve.
De la negacin de la disyuncin de dos frmulas se deduce la conjuncin de las negaciones de las mismas.
T8.2)
( )
Es la recproca del anterior: de la conjuncin de las negaciones de dos frmulas se deduce la negacin de la disyuncin de las mismas. Por ejemplo, T8.1) de no es posible que x sea un elemento de A o sea un elemento de B se deduce que x no es elemento de A y x no es elemento de B, T8.2) de x no es elemento de A y x no es elemento de B se deduce que no es posible que x sea un elemento de A o sea un elemento de B.
T8.3)
( )
De la negacin de la conjuncin de dos frmulas se deduce la disyuncin de las negaciones de las mismas.
T8.4)
( )
201 Es la recproca del anterior: de la disyuncin de las negaciones de dos frmulas se deduce la negacin de la conjuncin de las mismas. Por ejemplo, T8.3) de no es posible que x sea un elemento de A y de B se deduce que x no es elemento de A o x no es elemento de B, T8.4) de x no es elemento de A o x no es elemento de B se deduce que no es posible que x sea un elemento de A y de B.
T9.2)
( ) ( )
Es la recproca de la anterior: una implicacin se deduce de la disyuncin de la negacin de su premisa con su conclusin. Por ejemplo, T9.1) de una funcin derivable es continua se deduce que una funcin no es derivable o es continua, T9.2) de una funcin no es derivable o es continua se deduce que una funcin derivable es continua.
202
De la conjuncin de una frmula con su disyuncin con cualquier otra frmula se deduce .
T13.2)
( )
Es la recproca del anterior: de una frmula se deduce la conjuncin de ella con su disyuncin con cualquier otra frmula. Por ejemplo, T13.1) de x es un elemento de A y x es un elemento de A o de B se deduce que x es un elemento de A, T13.2) de x es un elemento de A se deduce que x es un elemento de A y x es un elemento de A o de B.
Demostracin de T13.1:
Aplicando el teorema de la deduccin, tenemos que vericar que
( )
1) 1 : 2) 2 : 3) 3 :
203
T15: Propiedad conmutativa T15.1) T15.2) T16: Propiedad asociativa T16.1) T17.2) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
De la disyuncin de una frmula con su conjuncin con cualquier otra frmula se deduce .
T18.2)
( )
Es la recproca del anterior: de una frmula se deduce la disyuncin de ella con su conjuncin con cualquier otra frmula. Por ejemplo, T18.1) de x es un elemento de A o x es un elemento de A y de B se deduce que x es un elemento de A, T18.2) de x es un elemento de A se deduce que x es un elemento de A o x es un elemento de A y de B.
204
De una coimplicacin entre dos frmulas se deducen las implicaciones de cada una a la otra. La demostracin de este teorema se propone como ejercicio.
205
De una implicacin cuya conclusin es una implicacin se deduce la implicacin de la conjuncin de las dos premisas a la conclusin . T25.2) ( ) ( ( )) Es la recproca del anterior: de una implicacin cuya premisa es la conjuncin de dos frmulas se deduce la implicacin de una de las dos premisas a la implicacin de la otra premisa a la conclusin. Por ejemplo, sean
Demostracin de T25.1:
Por el teorema de la deduccin, tenemos que vericar que
{ ( ), }
1) 1 : 2) 2 : 3) 3 : 4) 4 : 5) 5 : 6) 6 : 7) 7 : 8) 8 :
206
B.1
1) Sea L el conjunto de las frmulas proposicionales. Sobre L, sea R L L la relacin binaria denida por:
(, ) R si y slo si |= .
a) (3 puntos) Verica si R es reexiva, simtrica o transitiva. b) (1 punto) Determina si R es una relacin de equivalencia.
Solucin:
a) L es reexiva ya que |= para toda L, siendo una tautologa (si = 1, es verdadera). L no es simtrica ya que, por ejemplo, siendo = p q y = p, se verica que |= (si p q = 1, entonces tiene que ser p = 1 ). Sin embargo, 207
208
= p no implica lgicamente = p q (si p = 1 y q = 0, p p q es falsa). L es transitiva: sean L, |= y |= . Entonces, = 1 implica = 1 (siendo cierto que |= ) y = 1 implica = 1 (siendo cierto que |= ). Por tanto, |= ( = 1 implica = 1 ).
b) La relacin R no es simtrica y, por tanto, no es una relacin de equivalencia. 2) Considera las siguientes dos frases:
: Hoy no hace fro ni calor y no ir al parque a menos que no llueva. : Es imposible que: o bien hoy hace fro, o bien hace calor, o bien ir al parque a pesar de que llueva.
a) (2 puntos) Formaliza y en la lgica proposicional. b) (1 puntos) Dibuja los rboles estructurales de las frmulas proposicionales y obtenidas en el apartado a). c) (3 puntos) Mediante una tabla de verdad, verica si y son lgicamente equivalentes.
Solucin:
a) Consideremos las siguientes frmulas proposicionales: p=hoy hace fro, q = hoy hace calor, r= hoy ir al parque, s= hoy llueve. Entonces,
: (p (q (r s))) y
: (p (q (r s))).
b) Los rboles estructurales de y estn representados en las guras B.1 y B.2: small c) En la tabla B.1 vericamos que es una tautologa. Por tanto y son lgicamente equivalentes. 3) (5 puntos) Siendo p, q, r y s proposiciones atmicas, estudia la validez del siguiente razonamiento usando el mtodo de los tableaux:
p (q r) p (r s) p s qr
209
d d d d d d p d d d q r d d d s
d d d p d d d q d d d
Solucin:
Usando las equivalencias p (q r) p q r y p (r s) p (r s), podemos escribir el razonamiento en la forma
= (p q r) (p (r s)) (p s) q r.
Entonces,
= (p q r) (p (r s)) (p s) (q r)
210
p 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
q 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
r 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
s 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
p q 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0
s r s 1 1 1 0 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0
rs 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1
1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
(p q r) p (r s) (p s) q r.
El tableau T () acabado asociado a es: Ya que T () no es cerrado, no es una contradiccin y, por tanto, no es una tautologa y el razonamiento dado no es vlido. La rama completa abierta de T () nos proporciona un contraejemplo para el razonamiento:
s = 1,
r = 0,
q = 0,
p = 1.
Tiempo: 50 minutos
211
p q r p r s p s q
d d d
Figura B.3: Tableau acabado de 1) (8 puntos) Usando el mtodo de los tableaux, clasica y halla la forma normal conjuntiva de la frmula:
: (p r s) (q s p) r,
donde p, q, r y s son proposiciones atmicas.
Solucin:
: (p r s) (q s p) r ((p r s) (q (s p))) r (p r s) (q (s p)) r (p r s) q (s p) r = F N D()
Siendo T () abierto (ver gura B.4), es satisfacible.
: ((p r s) q (s p) r) (p r s) q (s p) r (p r s) q (s p) r = F N C ()
Siendo T () abierto (ver gura B.5), es una contingencia.
212
F N D() = (s r q ) (p r q ).
F N C () = F N D() = (s r q ) (p r q ) (s r q ) (p r q ).
2) (7 puntos) Usando el sistema de deduccin natural de Gentzen, verica la validez del siguiente razonamiento:
{p r s, r s t, p t, t s}
donde p, r, s y t son proposiciones atmicas.
p,
Solucin:
213
1) 2) 3) 4) 5)
14) p
(I (6,13))
215
B.3
: x(yP (y ) P (x))
es semnticamente vlida.
Solucin:
a) La frmula
I : P I = {(a, a)} D D.
Consideremos, por ejemplo, la asignacin
A : z A = b.
Se obtiene que
216 Se sigue que es satisfacible bajo I = (D, I ). b) Sea I = (D, I ) una interpretacin cualquiera de
: x(yP (y ) P (x)).
Hay dos casos posibles:
si (yP (y ))I = 0, entonces (yP (y ) P (x))I = 1 para todo x y I es verdadera, si (yP (y ))I = 1, entonces existe al menos un elemento del dominio a D tal que P I (a) = 1 y, por tanto, (yP (y ) P (a))I = 1. Tambin en este caso I = 1.
Podemos concluir que es semnticamente vlida. 2) Usando el sistema de deduccin natural de Gentzen de la lgica de primer orden, verica la validez de los siguientes razonamientos: a) (2 puntos)
b) (6 puntos)
xR(x) y P (y ) z (P (z ) R(z )) y P (y )
Solucin:
a) 1) (Premisa) 2) (Premisa auxiliar) 3) (E(2)) 4) (I(3,1)) 5) (I(2,4)) El razonamiento
es vlido.
217 b) 1) xR(x) y P (y ) (Premisa) 2) z (P (z ) R(z )) (Premisa) 3) z (P (z ) R(z )) (E(2)) 4) z (P (z ) R(z )) (De Morgan(3)) 5) y1 6) P (y1 ) R(y1 ) (E(4)) 7) xR(x) (Premisa auxiliar) 8) R(y1 ) (E(7)) 9) R(y1 ) (Apartado a)) 10) P (y1 ) (Tollendo Ponens (9,6)) 11) 12)
218
Tiempo: 3 horas
El examen est formado por ocho problemas. La respuesta a cada uno de los problemas se valorar sobre el nmero de puntos indicados. Las respuestas sin justicacin se considerarn como no contestadas. Podis consultar los apuntes de la asignatura.
b d de d d d
r
rr c d d
Ejercicio 1 A: (14 puntos) Usando el sistema de Kleene, demuestra por reduccin al absurdo la validez de la siguiente deduccin:
{p q, r q } (p r).
p q rq (p r) (p r) p r pr pr p p pr r r q q q ( q q q ) q q q q q
(Premisa) (Premisa) (Premisa) (A8(3)) (MP(3,4)) (A4(5)) (MP(5,6)) (A4(5)) (MP(5,8)) (MP(7,1)) (MP(8,2)) (A3(10)) (MP(10,12)) (MP(11,13))
Por tanto la deduccin dada es valida por reduccin al absurdo. reduccin al absurdo la validez de la siguiente deduccin:
Ejercicio 2 A: (12 puntos) Usa el mtodo de los tableaux semnticos Solucin: Siendo
p q p q p s r q (p r) p r,
consideremos el conjunto de frmulas
= {p q, r q, p r}.
El tableaux asociado acabado es cerrado:
220
T ()
| | | | p r
p q r q pr p r q q
Se sigue que es insatisfacible y que el razonamiento dado es vlido para vericar la validez del razonamiento del ejercicio 1 B. es q, q es s y r es p. guiente frmula:
Ejercicio 2 B: (12 puntos) Usa el mtodo de los tableaux semnticos Solucin: La solucin es la misma que en el ejercicio 2 A, pero ahora p Ejercicio 3 A: En el contexto de la lgica proposicional, sea la si : (p (q (p r))) (p r).
a) (6 puntos) Usa el mtodo de los tableaux semnticos para clasicar . b) (4 puntos) Si existen, halla un modelo y un contraejemplo de . c) (4 puntos) Halla la forma normal conjuntiva de , F N C ().
Solucin:
a)
(p (q (p r))) (p r) (p (q (p r))) (p r)
221
(p (q (p r))) (p r) (p (q (p r))) (p r)
(p (q (p r))) (p r) (p (q (p r))) (p r)
(p q (p r))) (p r).
El tableaux completo asociado a tiene ramas abiertas:
T () p r p r
(p q (p r))) (p r) p q (p r) p q p r r
(p q (p r))) (p r) (p q (p r))) (p r)
222
T ()
(p q (p r))) (p r) | p q (p r) | p r p r
pr p q | p q p | r
Se sigue que es una contingencia. b) Del tableaux T () deducimos que la valoracin
r : 1, p : 0, q : 0
es un modelo de . Del tableaux T () deducimos que la valoracin
r : 0, p : 1, q : 0
es un contraejemplo de . c) Sabemos que F N C () = F N D(). Del tableaux T () obtenemos que
F N D() = p (r p) (q r).
Entonces,
F N C () = (p (r p) (q r)) p (r p) (q r).
guiente frmula:
223 a) (6 puntos) Usa el mtodo de los tableaux semnticos para clasicar . b) (4 puntos) Si existen, halla un modelo y un contraejemplo de . c) (4 puntos) Halla la forma normal conjuntiva de , F N C ().
es r, q es p y r es q.
Solucin: La solucin es la misma que en el ejercicio 3 A, pero ahora p Ejercicio 4 A y B: (10 puntos) En el contexto de la lgica de primer
orden, formaliza las siguientes frases. En cada caso, dene explcitamente el dominio y los elementos bsicos de la formalizacin.
a) Ningn abrigo es impermeable a menos que haya sido especialmente tratado. b) Algunas frutas y verduras son nutritivas. c) En toda pareja de vecinos hay algn envidioso. d) Hay algunas personas importantes que son conocidas por todos. e) No hay ninguna persona importante que Luis no conozca. a) D = los abrigos; I (x) : x es impermeable; T (x) : x ha sido especialmente tratado. x(I (x) T (x)). b) D = los vegetales; F (x) : x es una fruta; V (x) : x es una verdura; N (x) : x es nutritiva.
Solucin:
x(I (x) C (x, L) x(I (x) C (x, L)) x(I (x) C (x, L)) x(I (x) C (x, L)).
que a cada frmula F de la lgica de primer orden le asocia el nmero f () de cuanticadores (existenciales o universales) que aparecen en .
Paso recursivo:
(F ) : f () = f (), (F ) : f (1 2 ) = f (1 ) + f (2 ), (F ) : f () = f () = f () + 1.
Estas deniciones determinan la funcin f sobre todo F. Ejercicio 6 A: (12 puntos) En un rbol con raz nito y etiquetado por las letras del dominio
D = {a, b, c, d, e, f, g, h, i},
considera los siguientes predicados:
P (x) : el vrtice x tiene un padre, H (x) : el vrtice x tiene hijos, C (x, y ) : el vrtice x est conectado por medio de un camino no dirigido con el vrtice y, D(x, y ) : el vrtice y es un descendiente del vrtice x.
225 Evala las siguientes frmulas en la interpretacin denida por el rbol de la gura B.6, que tiene como raz el vrtice a :
Solucin:
I I 1 : 0 ya que P (a) : 0; I I 2 : 0 ya que H (d) : 0; I I I 3 : 0 ya que (yD (x, y )) : 0, siendo D (x, a) : 0 para cualquier valor de x; I I 4 : 0 ya que (xD (d, y )) : 0;
Ejercicio 6 B: (12 puntos) En un rbol con raz nito y etiquetado por las letras del dominio
D = {a, b, c, d, e, f, g, h, i},
considera los siguientes predicados:
226
C (x, y ) : el vrtice x est conectado por medio de un camino no dirigido con el vrtice y, D(x, y ) : el vrtice y es un descendiente del vrtice x.
Evala las siguientes frmulas en la interpretacin denida por el rbol de la gura B.6, que tiene como raz el vrtice a :
Solucin:
I I 1 : 1 ya que P (b) : 1; I I 2 : 1 ya que H (d) : 1; I I 3 : 0 ya que (yD (d, y )) : 0, siendo d una hoja del rbol; I I I 4 : 0 ya que (y C (x, y )) : 0, siendo siempre (C (x, y )) : 0 en un grafo conexo; I I 5 : 1 ya que (H (d) P (d)) : 1.
Ejercicio 7 A: (12 puntos) En cada apartado demuestra que las frmulas 1 y 2 no son lgicamente equivalentes:
a) 1 : P (x) xQ(x) b) 1 : P (x) xQ(x) y y
227
Solucin:
a) Sean D cualquiera y I : P I = (el conjunto vaco). Entonces 1 es siempre verdadera y 2 es siempre falsa. b) Como antes, sean D cualquiera y I : P I = (el conjunto vaco). Entonces 1 es siempre verdadera y 2 es siempre falsa.
2 : P (x) xQ(x),
2 : P (x) xQ(x).
ejercicio 7 A.
x((x) (x))
x(x) x (x).
Solucin:
228
6) (x1 ) (Premisa auxiliar) 7) x (x) (I (6)) 8) x(x) x (x) (I (7)) 9) 10) (E (2, (3, 8))) (E (1, (2, 9)))
x(x) x (x)
x(x) x (x)
x(x) x (x)
x((x) (x)).
Solucin:
(Premisa auxiliar)
3) (x1 ) (Premisa auxiliar) 4) (x1 ) (x1 ) (I (3)) 5) x((x) (x)) (I (4)) 6) (E (2, (3, 5)))
x((x) (x))
7) x (x)
(Premisa auxiliar)
8) (x1 ) (Premisa auxiliar) 9) (x1 ) (x1 ) (I (8)) 10) x((x) (x)) (I (9)) 11) 12) (E (7, (8, 10)))
x((x) (x))
x((x) (x))
230
Tiempo: 3 horas
Ejercicio 1: (14 puntos) Usando el sistema de Kleene, demuestra la validez del siguiente teorema:
(p (r q )) (s p) r (s q ).
q.
p (r q ) s p r s sp p rq q
Ejercicio 2: (12 puntos) Usa el mtodo de los tableaux semnticos para estudiar la validez del teorema del ejercicio 1. Solucin:
Siendo
p (r q ) p (r q ) p r q,
consideremos el conjunto de frmulas
= {p r q, s p, r, s, q }.
El tableaux asociado acabado es cerrado:
231
T ()
| | | | s p
p r q s p r s q p r q r q
Solucin:
a)
232
T () r
(p r q (s p)) r p r q (s p) p r q s
(p r q (s p)) r.
Tambin el tableaux completo asociado a tiene ramas abiertas:
T ()
(p r q (s p)) r | r | p r q (s p) p q q (s p) s p s p
r : 1, s : 1, q : 0, p : 0
r : 0, s : 0, q : 1, p : 1
es un contraejemplo de . c) Sabemos que F N C () = F N D(). Del tableaux T () obtenemos que
F N D() = (p r) (q r) (p s r).
Entonces,
formaliza el siguiente razonamiento, tomando como dominio los animales. (P1) Ningn plantgrado es un reptil. (P2) Los animales van a beber al ro a menos que sean plantgrados. (P3) No todos los animales son plantgrados. (C) No hay animales que vayan a beber al ro.
Solucin:
Dominio: los animales. Predicados: P(x): x es un plantgrado, R(x): x es un reptil, B(x): x va a beber al ro. La frase (P2) se puede leer como Los animales no van a beber al ro slo si son plantgrados, as que la formalizacin del razonamiento puede ser la siguiente: (P1) x[P (x) R(x)]
234 (P2) x[B (x) P (x)] (x(B (x) P (x)), x[P (x) B (x)]) (P3) xP (x)
(C) xB (x)
Ejercicio 5: (12 puntos) Usando el principio de recursin estructural y la funcin profundidad de un trmino pf, dene la funcin:
P F : F N {0},
que a cada frmula F de la lgica de primer orden le asocia la longitud P F () de la rama ms larga de su rbol estructural (su profundidad).
Solucin:
Sea pf (t) la funcin profundidad de un trmino. La funcin profundidad de una frmula se puede denir usando el principio de recursin estructural y la funcin pf (t) :
Base (FAt):
P F ( ) = P F () = P F (p) = 0, P F (s = t) = max{pf (s), pf (t)} + 1, P F (P (t1 , t2 , , tn )) = max{pf (t1 ), pf (t2 ), , pf (tn )} + 1.
Paso recursivo:
(F ) : P F () = P F () + 1, (F ) : P F (1 2 ) = max{P F (1 ), P F (2 )} + 1, (F ) : P F () = P F () = P F () + 1.
Estas deniciones determinan la funcin P F sobre todo F.
D = {a, b},
P I = ,
QI = {a} y RI = {a}.
235 b) (6 puntos)
D = {a, b},
Solucin:
(y (Q(y ) R(y )))I = 0, ya que QI (a) RI (a) = 0, siendo QI (a) = 0 y QI (b) RI (b) = 0, siendo RI (b) = 0
Se sigue que I 1 = 0, es decir, es falsa en la interpretacin dada. b) (T (a) yR(a, y ))I = 1 ya que
T I (a) = 1 y (yR(a, y ))I = 1, siendo RI (a, a) = RI (a, b) = 1. (T (b) yR(b, y ))I = 1 ya que T I (b) = 0.
Se sigue que I 2 = 1, es decir, es verdadera en la interpretacin dada.
Ejercicio 7: (12 puntos) En cada apartado, dene una interpretacin tal que la frmula dada sea verdadera y una tal que no lo sea:
a) 1 : x(P (x) yQ(x, y )), b) 2 : x(P (x) yQ(x, y )).
Solucin:
a) Sea I = (D, I ) denida por
D = {a, b},
Entonces,
P = {a, b},
si x = a : P I (a) (yQ(a, y ))I = 1, ya que P I (a) = (yQ(a, y ))I = 1 siendo Q(a, a)I = 1,
236 si x = b : P I (b) (yQ(b, y ))I = 1, ya que P I (b) = (yQ(b, y ))I = 1 siendo Q(b, a)I = 1, Se sigue que I 1 = 1, es decir, es verdadera en la interpretacin dada. Sea ahora I = (D, I ) denida por
D = {a, b},
P = {a},
Q cualquiera.
D = {a, b},
P = {a},
Entonces I 2 = 1, ya que I P (a) = (yQ(a, y ))I = 1 siendo Q(a, a)I = Q(a, b)I = 1. Sea ahora I = (D, I ) denida por
D = {a, b},
P = {a},
Q = {(a, a)}.
En este caso I 2 = 0, ya que I si x = a : P (a) = 1, (yQ(a, y ))I = 0 siendo Q(a, b)I = 0 y si x = b : P I (b) = 0.
Solucin:
237
(Premisa) (Int.(1))
3) x(x) (Premisa auxiliar) 4) x(x) ( x(x) x(x)) 5) (a) (E (4)) 6) (a) (a) (I (5)) 7) (a) (a) (Int.(6))
8) x (x)
(Premisa auxiliar)
9) (a) (Premisa auxiliar) 10) (a) (a) (I (9)) 11) (a) (a) (Int.(10)) 12) 13) 14) (E (8, (9, 11)))
238
Tiempo: 3 horas
Ejercicio 1: (6 puntos) Para cada apartado, contesta verdadero o falso (no hace falta justicar tus repuestas):
En la lgica proposicional: LP1) Toda frmula proposicional satisfacible admite al menos un modelo. LP2) La deduccin {p, q } r es vlida si y slo si la frmula p (q r) lo es. LP3) La expresin p q r s es una frmula proposicional escrita en forma abreviada. En la lgica de primer orden: LPO1) xP (x) y P (y ) es una frmula insatisfacible. LPO2) xP (x) y (xP (x)) son frmulas equivalentes. LPO3) Dada una interpretacin I = (D, I ) de la frmula xy (P (x, y ) Q(y )), es correcto denir una asignacin A tal que xA = a D. LP1) Verdadero por denicin de frmula satisfacible. LP2) Verdadero por el teorema de la deduccin. LP3) Falso. Los conectivos y tienen el mismo nivel de precedencia. Por tanto la frmula sera ambigua. LPO1) Verdadero, siendo y P (y ) la negacin de xP (x). LPO2) Falso ya que (xP (x)) es equivalente a xP (x). LPO3) Falso. La frmula xy (P (x, y ) Q(y )) no contiene variables libres. de las partes P ().
Solucin:
a) (10 puntos) Usa el principio de recursin estructural para denir la funcin f : F P (),
239 que a cada frmula F de la lgica proposicional le asocia el conjunto de proposiciones atmicas de que aparecen en la signatura de . b) (8 puntos) Usa induccin estructural para vericar que, para toda F, se verica que el nmero de elementos de f () es menor o igual que 8.
Solucin:
a)
f : F P (),
que a cada frmula F de la lgica proposicional le asocia el conjunto de proposiciones atmicas de que aparecen en la signatura de . 1. Base (At): f (
) = f ( ) = , f ( p ) = {p} .
2. Pasos recursivos: (): f (()) = f ( ), (): f ( ) = (f () f ( )) , para todo conectivo binario y todo par de frmulas y . Estas deniciones determinan la funcin f sobre todo F. b) Dado un conjunto A, vamos a usar el smbolo |A| para indicar el cardinal de A, es decir, el nmero de elementos de A. Usando el principio de induccin estructural podemos probar que para toda frmula se verica que el nmero de elementos de f () es menor o igual que 8: Base de induccin (At): |f ( )| = |f ( )| = 0 8, |f ( p )| = |{p} | 1 8.
(): Si |f ()| 8 para una frmula cualquiera, entonces |f ()| = |f ()| 8. (): Si y son dos frmulas tales que |f ()| 8 y |f ( )| 8, entonces |f ( )| = |(f () f ( )) | || 8.
Se sigue que, por el principio de induccin estructural, que para toda frmula se verica que el nmero de elementos de f () es menor o igual que 8. frmula:
Pasos de induccin:
240 a) (10 puntos) Usa el mtodo de los tableaux semnticos para clasicar . b) (4 puntos) Si existen, halla un modelo y un contraejemplo de . c) (6 puntos) Halla la forma normal conjuntiva de , F N C ().
Solucin:
a)
: (p q ) (p q p q ) (p q ) ((p q ) (p q )) (p q ) (p q ) (p q ). (p q ) (p q ) (p q ).
Los tableaux completos de y tienen ramas abierta (ver gura B.7). Se sigue que es una contingencia.
241 Del tableau de se deduce que la valoracin {p = 0, q = 1} es un contraejemplo de . c) Mirando a la nica rama abierta del tableau de se obtiene que:
F N D() = p q.
Entonces,
F N C () = F N D() = p q.
Ejercicio 4: (8 puntos) En el contexto de la lgica de primer orden, formaliza las siguientes frases usando como dominio D el conjunto de las piezas de ajedrez y los predicados: T(x) = x es una torre, C(x) = x es un caballo, MD(x) = x se mueve en diagonal, B(x) = x es blanca, N(x) = x es negra, CP(x,y) = x come a y, A(x,y) = x est alineada con y.
a) Ninguna torre se mueve en diagonal. b) Toda pieza se mueve en diagonal, salvo si es una torre o un caballo. c) Una pieza blanca slo come piezas negras. d) Para que una torre coma un caballo es necesario que las dos piezas estn alineadas.
Solucin:
a) x(T (x) M D(x)) x(T (x)M D(x)) x(T (x)M D(x)). b) x(M D(x) T (x) C (x)) x(M D(x) T (x) C (x)). c) xy (B (x) CP (x, y ) N (y )) xy (B (x) CP (x, y ) N (y )). d) xy (T (x) C (y ) CP (x, y ) A(x, y )) xy (T (x) C (y ) CP (x, y ) A(x, y )).
D = {1, 2, 3, 4, 5, 6}
de los seis ordenadores, considera los siguientes predicados:
242
P (x) : x es par, C (x, y ) : x est directamente conectado (a distancia 1) con y (x y y distintos), D(x, y, z ) : x est directamente conectado con y y con z (x, y y z todos distintos),
a) (9 puntos) Dene la interpretacin con dominio D determinada por la red de la gura B.8.
Figura B.8: Grafo de la red de ordenadores del ejercicio 5 b) (15 puntos) Evala las siguientes seis frmulas en la interpretacin del apartado a:
243
Solucin:
a) La interpretacin con dominio D determinada por la red de la gura B.8 es I = (D, I ), donde:
P I = {2, 4, 6} D, C I = {(1, 2), (2, 1), (2, 4), (4, 3), (2, 3), (3, 2), (2, 5), (5, 2), (5, 6), (6, 5)} DD, DI = {(2, 1, 4), (2, 4, 1), (2, 3, 5), (2, 5, 3), (2, 1, 3), (2, 3, 1), (2, 4, 5), (2, 5, 4), (2, 3, 4), (2, 4, 3), (2, 1, 5), (2, 5, 1), (5, 2, 6), (5, 6, 2)} D D D.
b)
(1 )I = 0 ya que, por ejemplo, (P (1))I = 0. (2 )I = 0 ya que, para todo x, (y (P (x) P (y ) C (x, y )))I = 0, siendo, por ejemplo, (P (3))I = 0. (3 )I = 1 ya que el grafo de la red es conexo, es decir, todo ordenador est a distancia 1 de al menos otro ordenador. (4 )I = 0 ya que, por ejemplo, para todo z, (D(6, 5, z ))I = 0. (5 )I = 0 ya que, para todo x, (D(x, 1, 6))I = 0. (6 )I = 1 ya que (y (P (1) P (y ) C (1, y )))I = 1, siendo la premisa de la implicacin siempre falsa.
equivalentes:
Solucin:
244 Sean I = (D, I ) y A una interpretacin y una asignacin cualesquiera. Los posibles casos se pueden representar en la siguiente tabla:
(P (x))I,A (Q(x))I,A ()I,A (P (x) Q(y ))I,A (P (x) Q(y ))I,A ( )I,A ( )I,A 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1
Ejercicio 7: (14 puntos) Usando el sistema de deduccin natural, de{x(P (x) Q(x)), x(P (x) R(x))} x(Q(x) R(x)).
Solucin:
1) x(P (x) Q(x)) 2) x(P (x) R(x)) 3) P (a) Q(a) 4) P (a) R(a) 5) P (a) 6) R(a) 7) Q(a) 8) R(a) Q(a) 9) x(Q(x) R(x)) (Premisa) (Premisa) (E (1)) (E (2)) (E (4)) (E (4)) (E (5, 3)) (I (6, 7)) (I (8))
245
B.7
LP1) Toda forma satisfacible admite al menos un contraejemplo. LP2) La deduccin {p, q } r no es verdadera si p q es falso y r es falso. LP3) La expresin p (q r) s es una frmula proposicional escrita en forma abreviada. En la lgica de primer orden: LPO1) LPO2) lentes. LPO3) ocurrencia
x(P (x) Q(x)) yP (y ) es una frmula vlida. x(P (x) Q(x)) y x(P (x) Q(x)) son frmulas equivaEn la frmula xP (x, y ) yQ(y ) la variable y tiene una de variable libre.
LP1) Falso: si una frmula es una tautologa es satisfacible y no admite un contraejemplo. LP2) Falso: por el teorema de la deduccin, la deduccin {p, q } r se puede escribir como una implicacin p q r. Si p q es falso, la implicacin es verdadera. LP3) Verdadero: p (q r) s es la forma abreviada de la frmula (p ((q r) s)). LPO1) Verdadero: x(P (x) Q(x)) xP (x) xQ(x) xP (x) xP (x). LPO2) Verdadero: x(P (x) Q(x)) es equivalente a x(P (x) Q(x)), equivalente a x(P (x) Q(x)). LPO3) Verdadero: la variable y tiene una ocurrencia de variable libre en xP (x, y ), ya que no hay ningn cuanticador que la afecte.
Solucin:
246
ordenadas alfabticamente, sin repeticiones, de los smbolos del conjunto A = {p, q, r, s, t}. As, por ejemplo, la lista vaca y las listas [q, s], [p, s, t] y [p, q, r, s, t] son elementos del conjunto L. Sea ord : L L L la funcin que a cada par de listas (l1 , l2 ) L L asocia una nueva lista en L formada por la unin de los elementos de l1 y l2 , ordenados alfabticamente y sin repeticiones. Usa la funcin ord y el principio de recursin estructural para denir la funcin f : F L, que a cada frmula F de la lgica proposicional asocia la lista ordenada en L formada por sus proposiciones atmicas que pertenecen al conjunto A.
Solucin:
1. Base (At): f (
) = f ( ) = , f ( p ) =
[p] si p A, . si p / A.
2. Pasos recursivos: (): f (()) = f ( ), (): f ( ) = ord(f (), f ( )), para todo conectivo binario y todo par de frmulas y . Estas deniciones determinan la funcin f sobre todo F. frmula:
247
Solucin:
a)
F N D() = (q p r) (p q r) (q p s) (r p s)
248
(p q s) (r q s) (p q r) (q p s) (r q s).
Entonces,
F N C () = F N D() = (p q r) (q p s) (r p s).
formaliza las siguientes frases usando como dominio N el conjunto de los nmeros naturales {1, 2, 3, . . . }. Dene claramente las constantes, las funciones y los predicados utilizados en tu formalizacin. a) El doble de todo nmero natural es par. b) Ningn par divide a un impar. c) Si dos nmeros naturales son divisores el uno del otro, entonces son iguales. d) Un nmero natural divide a todos los nmeros naturales slo si es igual a 1.
249
Constantes: 1 N, Funciones: M 2(n) = 2n, que es la funcin que a todo nmero natural n le asocia su doble 2n, Predicados: P (n) = n es par, D(n, m) = n es un divisor de m y I (n, m) = n es igual a m. Notar que no hara falta denir el predicado I (n, m) = n, siendo el smbolo de igualdad ya denido en nuestro sistema de la lgica de predicados. Con las deniciones anteriores, la formalizacin de las frases dadas es: a) El doble de todo nmero natural es par.
Solucin:
nP (M 2(n)).
b) Ningn par divide a un impar.
B C
A C
B D
250 En el dominio
D = {A, B, C, D, E }
de las cinco letras que ocupan las dos tablas, considera los siguientes predicados:
A(x, y ) : x est ms arriba que y (x y y distintas), M (x, y ) : x est en la misma la que y (x y y distintas).
Sean I1 = (D, I1 ) I2 = (D, I2 ) las dos interpretaciones representadas en las tablas 1 y 2 de la gura B.11, respectivamente. a) (12 puntos) Dene explcitamente los conjuntos AI1 , M I1 y AI2 , M I2 . b) (12 puntos) Evala las siguientes seis frmulas en cada una de las dos interpretaciones del apartado a:
1 : xyA(x, y ), 2 : xyA(y, x), 3 : xy M (x, y ), 4 : xy A(x, y ), 5 : xy (A(x, y ) M (x, y )), 6 : xy z (M (x, y ) A(x, z )).
Solucin:
a)
AI1 = {(A, B ), (A, C ), (A, D), (B, C ), (B, D), (C, D), (E, B ), (E, C ), (E, D)}, M I1 = {(A, E ), (E, A)}, AI2 = {(A, C ), (A, D), (A, E ), (B, C ), (B, D), (B, E ), (C, E ), (D, E )}, M I2 = {(A, B ), (B, A), (C, D), (D, C )}.
b)
251
(1 )I1 = (1 )I2 = 0, ya que en las dos tablas no existe ninguna letra que est ms arriba de todas las dems letras. (2 )I1 = (2 )I2 = 0, ya que si x = A, en las dos tablas no hay otras letras ms arriba de A. (3 )I1 = 1, ya que si x = D, M I1 para todo y, (3 )I2 = 1, ya que si x = E, M I2 para todo y, (4 )I1 = 1, ya que si x = D, AI1 para todo y, (4 )I2 = 1, ya que si x = E, AI2 para todo y, / (y M (D, y ))I1 = 1, siendo (D, y ) (y M (E, y ))I2 = 1, siendo (E, y ) / (y A(D, y ))I1 = 1, siendo (D, y ) / (y A(E, y ))I2 = 1, siendo (E, y ) /
(5 )I1 = 1, ya que si x = D, (y A(D, y ))I1 = 1, siendo (D, y ) / I1 I1 I1 A para todo y y (y M (D, y )) = 1, siendo (D, y ) / M para todo y, (5 )I2 = 1, ya que si x = E, (y A(E, y ))I2 = 1, siendo (E, y ) / I2 I2 I2 A para todo y y (y M (E, y )) = 1, siendo (E, y ) / M para todo y, (6 )I1 = 1, ya que, por ejemplo, (M (A, E ) A(A, B ))I1 = 1, (6 )I2 = 1, ya que, por ejemplo, (M (A, B ) A(A, C ))I2 = 1.
Siendo las dos frmulas y cerradas, para vericar que no son equivalentes basta con denir una interpretacin I = (D, I ) tal que los valores I y I sean distintos.
Solucin:
Sabemos que x(yP (x, y ) z P (x, z )). Entonces I = 1 ya que todo elemento x D se relaciona con al menos otro elemento (el dominio de la relacin es todo D ) y no se relaciona con si mismo. Por el otro lado, I = 0, ya que, si x = a, ninguna asignacin de la y es tal que (a, y ) P I y (a, y ) QI . En efecto, para que sea (a, y ) P I , tiene que ser y = b, pero (a, b) / QI .
Ejercicio 7: (14 puntos) Usando el sistema de deduccin natural, demuestra la validez de la deduccin:
{x(P (x) Q(x) R(x)), x(P (x) Q(x) R(x) S (x)), x(S (x) P (x) T (x)} x(P (x) Q(x) T (x)).
Solucin:
1)x(P (x) Q(x) R(x)) (Premisa) 2)x(P (x) Q(x) R(x) S (x)) (Premisa) 3)x(S (x) P (x) T (x)) (Premisa) 4) S (y ) P (y ) T (y ) (Premisa auxiliar) 5)P (y ) Q(y ) (Premisa auxiliar) 6) P (y ) Q(y ) R(y ) (E (1)) (E (5, 6)) 7) R(y ) 8) P (y ) Q(y ) R(y ) S (y ) (E (2)) 9) P (y ) Q(y ) R(y ) (I (5, 7)) 10) S (y ) (E (9, 8)) 11) P (y ) (E (9)) 12) S (y ) P (y ) (I (10, 11)) 13) T (y ) (E (12, 4)) 14) P (y ) Q(y ) T (y ) (I (5, 13)) 15) (S (y ) P (y ) T (y )) (P (y ) Q(y ) T (y )) 16) P (y ) Q(y ) T (y ) (E (3, (4, 14))) 17) x(P (x) Q(x) T (x)) (I (16))
(I (4, 14))
Bibliografa
[A] [AFJM] [C] [CM] [F] [HLR] [MH] [R] [UNED1] L. Arenas, Lgica formal para informticos. Ed. Diaz de Santos, 1996. J. Aranda, J.L. Fernndez, J. Jimnez, F. Morilla,Fundamentos de Lgica Matemtica. Ed. Sanz y Torres, 1999. J. Cuena, Lgica matemtica. Alianza Editorial, 1985. R. Criado, R. Muoz, Apuntes de Matemtica Discreta, www.escet.urjc.es/ matemati/md_iti/apuntes/md00.pdf. M. Fitting, Firstorder logic and automated theorem proving. Springer Graduate Texts in Computer Science. Berln, 1996. M. A. Hortal, J. Leach, M. Rodrguez. Matemtica Discreta y Lgica Matemtica. Editorial Complutense, 2001. M. Manzano, A. Huertas, Lgica para Principiantes. Alianza Editorial, 2004. K. H. Rosen. Matemtica discreta y sus aplicaciones. McGraw Hill, 2004. http://www.educajob.com/xmoned/temarios_elaborados/ losoa/Delalgica%20cl%E1sica%20a%20la%20l %F3gica%20simb% F3lica.htm.
253