Logica Matematica PDF

Captulo 1
Lgica matemtica
1.1. Formas proposicionales
La lgica matemtica se ocupa del anlisis de las proposiciones y demostraciones del razonamiento lgico, proporciona ideas claras y precisas sobre la naturaleza de la conclusin deductiva, desarrolla el pensamiento funcional y hace una contribucin esencial al desarrollo del pensamiento cientco y creador. Esto se maniesta, por ejemplo, en la correcta comprensin de las estructuras lgicas y las tareas formales, en el reconocimiento de las semejanzas de los diferentes fenmenos lgicos, en la aplicacin de las leyes y reglas lgicas y en la pretensin de claridad, sencillez y economa en la expresin lingstica. Una de las propiedades de la forma de expresin matemtica, es la de representar los objetos, las imgenes mentales, los vnculos y las relaciones mediante smbolos (signos), y combinarlos entre s. Denicin 1.1 Constante Una constante es un signo que tiene una determinada signicacin ja. Es decir; una constante tiene, en todo el desarrollo de una investigacin o en la solucin de una tarea, siempre la misma signicacin. Denicin 1.2 Variable Una variable es un signo que representa cualquier elemento de un dominio bsico previamente establecido. Esto quiere decir que una variable se puede sustituir por el signo de cualquier elemento del dominio bsico. Entonces se habla de la sustitucin de la variable, o de la interpretacin de la variable. Denicin 1.3 Trmino Por trmino entendemos las constantes, las variables y sus combinaciones mediante los signos de operacin y los signos tcnicos. Los trminos son, por tanto, las denominaciones de los objetos matemticos o las combinaciones de signos donde se presentan variables, constantes y signos de operaciones, y que mediante la interpretacin de las variables se omiten en las designaciones de los objetos matemticos. El objeto matemtico, identicado como un trmino, y en cuya denominacin se omite este calicativo 1
CAPTULO 1. LGICA MATEMTICA despus de la interpretacin de las variables, se conoce como valor del trmino.
Las proposiciones son estructuras lingsticas cuyo valor de verdad es, o verdadero o falso. La lgica clsica, a travs de sus axiomas y principios, ha hecho algunas consideraciones sobre el contenido de verdad de una proposicin. El principio de la bivalencia expresa: Toda proposicin o es falsa o es verdadera. De este principio se pueden deducir dos teoremas. 1. El teorema de la tercera posibilidad excluida, expresa: Toda proposicin es falsa o verdadera. 2. El teorema de la contradiccin excluida, expresa: Ninguna proposicin es falsa y verdadera al mismo tiempo. En las observaciones posteriores veremos que los dos teoremas, considerados en conjunto, expresan exactamente lo mismo que el principio de la bivalencia. Por consiguiente, se puede proceder a la inversa; es decir deducir el teorema de la bivalencia a partir del principio de la tercera posibilidad excluida y del principio de la contradiccin excluida. A cada proposicin se le hace corresponder un valor de verdad, o falso F o verdadero V. Es por esta razn que tambin se habla de una lgica bivalente. La asignacin de los valores de verdad F o V de una proposicin, no es tan sencillo de determinar. Aunque en el principio de la bivalencia se expresa claramente que una proposicin es falsa o verdadera, no se puede decir inmediatamente si cada proposicin es falsa o verdadera. En matemticas existen actualmente muchas proposiciones que hasta el momento no han podido ser demostradas, concebida, la demostracin, como una aseveracin de la verdad, a continuacin se dan dos ejemplos de este tipo de proposiciones. Ejemplo 1.1 La proposicin: Todo nmero par que sea mayor que 4, se puede representar como la suma de dos nmeros primos, excepto el 2, existe desde el ao 1742. Hasta el momento no se ha podido demostrar si es una proposicin falsa o verdadera. (Suposicin de Goldbach). Denicin 1.4 Forma proposicional Una estructura lingstica que contiene por lo menos una variable libre, se convierte en una proposicin, cuando se sustituyen todas las variables por smbolos, que denotan objetos del dominio bsico, recibe el nombre de forma proposicional. Ejemplo 1.2 8 + x <12 con x N no representa evidentemente ninguna proposicin. Esta sucesin de signos no es ni falsa ni verdadera. Mediante las sustituciones de la variable x podemos formar proposiciones falsas y verdaderas. As, con las sustituciones 0, 1, 2, 3 obtenemos siempre proposiciones verdaderas, y cualquier otra sustitucin dar lugar a proposiciones falsas. En este caso, encontramos una expresin lingstica especial que no es una proposicin, pero que, sin embargo, se convierte en una proposicin mediante la sustitucin de la variable. A las expresiones matemticas de este tipo se las denomina formas proposicionales. Las variables en tales expresiones se denominan variables libres. Las formas proposicionales surgen cuando entre los trminos que contienen variables se coloca un determinado signo de relacin. De forma anloga al convenio establecido para la notacin de trminos, denotamos una forma proposicional con P(x1 , x2 , ..., xn ). Todos los elementos cuyos smbolos convierten una forma proposicional en una proposicin, constituyen el conjunto solucin de esta forma proposicional. El conjunto solucin comprende solamente aquellos elementos del dominio bsico cuyos smbolos convierten una forma proposicional en una proposicin verdadera. Las formas proposicionales se pueden clasicar en la forma siguiente: aquellas formas proposicionales que mediante una sustitucin por lo menos, se
CAPTULO 1. LGICA MATEMTICA
pueden transformar en una proposicin verdadera, se denominan interpretables. Todas las dems se denominan no interpretables. Entre las interpretables se destacan las formas proposicionales de validez general, que son aquellas que al hacer cualquier sustitucin por los elementos del dominio bsico se convierten en una proposicin verdadera. Ejemplo 1.3 (x + y )2 = x2 + 2xy + y 2 x, y R. En toda sustitucin de x e y por elementos del dominio bsico se obtiene una proposicin verdadera. Este ejemplo es, por tanto, una forma proposicional de validez general en el conjunto de los nmeros reales. El conjunto solucin es el conjunto de todos los pares (x, y) donde x e y son elementos de un dominio bsico; luego, en este caso coincide con el conjunto base de solucin. Este ejemplo trata entonces de una identidad. Ejemplo 1.4 Sea (x + y )2 = x2 + y 2 x, y R. (x + y )2 0 9 36 9 361 x2 + y 2 0 9 36 5 193 Valor de verdad V V V F F
La presente tabla muestra que a partir de esta forma proposicional se pueden obtener proposiciones falsas y verdaderas. El conjunto solucin es, un subconjunto propio del conjunto base de solucin. El conjunto solucin consta, de los pares ordenados de elementos del dominio bsico. Este ejemplo trata entonces de una neutralidad. Ejemplo 1.5 x2 5x + 10 = 0 x R. En el dominio bsico no hay elementos que satisfagan esta forma proposicional, es decir, toda sustitucin la convierte en una proposicin falsa. Este ejemplo trata por consiguiente de una contradiccin.
1.1.1.
Operaciones entre proposiciones lgicas
En esta seccin trataremos exclusivamente las proposiciones y las formas proposicionales. Primeramente, introduciremos algunas combinaciones de proposiciones, mediante las cuales a su vez se obtienen otras proposiciones. Despus obtendremos mediante deniciones las funciones proposicionales y ms tarde las funciones veritativas. En todas las operaciones con proposiciones sealaremos el proceso de abstraccin circunstancia - proposiciones - valores de verdad. Denicin 1.5 Proposicin Denominaremos proposicin a una frase narrativa que puede calicarse como verdadera o falsa, pero no ambas al mismo tiempo. Los valores verdadero y falso mencionados en la denicin se denominan valores de certeza o valores de verdad. As cuando una proposicin se considere verdadera o falsa diremos que dicha proposicin tiene valor de certeza verdadero o falso. Ejemplo 1.6 Las siguientes frases son proposiciones: - La tierra es plana. - 547 es un nmero primo. - Los nmeros irracionales son complejos. - Los nmeros complejos son un subconjunto de los reales. - La Escuela Politcnica del Ejercito es un instituto de educacin superior. - No es verdadero que 3 sea un entero par o 7 un primo.
CAPTULO 1. LGICA MATEMTICA 2n = n2 para alguna n N. 289301 + 1 es un nmero primo. Si un rbol tiene n vrtices, entonces tiene exactamente n - 1 aristas. 2n + n es un nmero primo para una innidad de n. Todo entero par mayor que 4 es la suma de dos nmeros primos. Las matemticas son divertidas. Los rboles son ms interesantes que las matrices.
Ejemplo 1.7 Las siguientes frases no son proposiciones: - Porqu es importante la lgica proposicional? - 323789 ext 205 - Porqu es importante la induccin? - x - y = y - x. Es importante hacer notar que el valor de verdad de una proposicin no es trabajo ni parte de la lgica aqu tratada, por tal razn dichos valores los supondremos ya asignados. Todas las proposiciones constituyen una clase que, a su vez, se descompone en dos subclases, en la clase de las proposiciones verdaderas V y en la clase de las proposiciones falsas F. La verdad o falsedad de las proposiciones no puede ser demostrada inmediatamente en todos los casos, pero, para toda proposicin, independientemente de que an no haya sido comprobada ni refutada, solo cabe una de las dos posibilidades, es verdadera V o es falsa F. El proceso de negacin lo denominamos operacin lgica de un lugar. Los enlaces de dos proposiciones, como resultado de los cuales se obtiene una proposicin nica se denominan operaciones lgicas de dos lugares. Denicin 1.6 Funcin proposicional de n-lugares Cuando a cada n-uplo de proposiciones se le hace corresponder unvocamente una proposicin, esta correspondencia se denomina funcin proposicional de n-lugares. Se entiende por n-uplo, un conjunto de n elementos dependientes del orden, en este caso proposiciones. De todas las funciones proposicionales, las llamadas funciones proposicionales clsicas tienen una gran importancia por las razones siguientes: a) porque las restantes funciones se pueden representar en trminos de estas. b) porque en la lgica formal tradicional se han tratado especialmente las cinco siguientes funciones: Nombre Negacin Conjuncin Disyuncin Implicacin Equivalencia Argumento P P, Q P, Q P, Q P, Q Funciones proposicionales No P PyQ PoQ Si P, entonces Q P exactamente cuando Q Nmero de lugares Uno Dos Dos Dos Dos
En estas funciones proposicionales el valor de verdad de la proposicin resultante depende solamente de los valores de verdad de los argumentos correspondientes, y no de su contenido, y se denominan funciones proposicionales extensionales. Adems de las funciones proposicionales clsicas existen otras funciones proposicionales que son extensionales. En el transcurso de las observaciones hemos hecho abstraccin del contenido concreto de las proposiciones o de los enlaces de proposiciones y, alcanzado las etapas de abstraccin de las funciones proposicionales.
Continuamos el proceso de abstraccin sobre la base de las armaciones ya hechas. Si tambin realizamos el paso de transicin de las proposiciones a los valores de verdad, entonces obtenemos las funciones veritativas correspondientes a las funciones proposicionales. Denicin 1.7 Funcin veritativa de n-lugares Cuando a cada n-uplo de valores de verdad se le hace corresponder unvocamente un valor de verdad, entonces esta correspondencia recibe el nombre de funcin veritativa de n lugares. Las funciones proposicionales y las funciones veritativas pertenecen a diferentes niveles de abstraccin. Por este motivo es conveniente introducir otros smbolos para las funciones veritativas. Con la negacin de una proposicin queremos expresar la idea de que esto no se reere a la circunstancia que a ella corresponde. Cuando negamos una proposicin P, entonces obtenemos otra proposicin P, es decir, la negacin de P. A travs de esta operacin obtenemos una proposicin cuyo valor de verdad es contrario al valor de verdad de P. Frecuentemente en el lenguaje comn, una negacin se expresa mediante prejos que indican negacin o mediante adverbios de negacin. Por ejemplo, se dice en lugar de no regular, irregular, y en lugar de no un, simplemente ningn, etc. Al formular ciertas negaciones pueden surgir con mucha facilidad algunas confusiones, cuando simplemente se expresa la negacin mediante antnimos o contrarios. Por ejemplo, negro y blanco, pequeo y grande, positivo y negativo, orden y caos son, en cierto sentido, contrarios que no pueden ser expresados a travs de una negacin. Aqu deniremos la negacin como una funcin veritativa, aunque la denominacin de negacin se utiliza tambin para la funcin proposicional P y para la operacin negacin. Denicin 1.8 Negacin Se denomina negacin a la funcin veritativa de un lugar, cuyos valores se jan de la manera siguiente: P V F P F V
La negacin corresponde a la funcin proposicional de un lugar P. La armacin P es verdadera cuando la proposicin P es falsa, y P es falsa cuando la proposicin P es verdadera. Mediante la negacin de una proposicin P se obtiene una nueva proposicin P cuyo valor de verdad es opuesto al valor de verdad de P. Ejemplo 1.8 Sea P: Los billetes de $ 5000 contienen la egie de Rumiahui. La negacin de P es la proposicin: P: Los billetes de $ 5000 no contienen la egie de Rumiahui. Dadas las proposiciones P, Q consideremos la construccin de proposiciones de la forma (P y Q). Ejemplo 1.9 En la bsqueda de un profesor la ESPE publica el siguiente aviso: Se solicita profesor con especialidad en Pedagoga y lgebra. Se presentan cuatro candidatos A, B, C y D con las caractersticas siguientes: A: Tiene ambas especialidades (V, V) B: Slo tiene la especialidad de Pedagoga (V, F) C: Slo tiene la especialidad de lgebra (F, V)
D: Slo tiene la especialidad de Qumica (F, F) Como podemos darnos cuenta, puesto que A cumpli con los requisitos, entonces A es el ganador del empleo. Denicin 1.9 Conjuncin Se denomina conjuncin o producto lgico de las proposiciones P y Q, dadas en este orden, a la funcin veritativa de dos lugares que se obtiene enunciando Q luego de enunciar P, unidas ambas por la palabra y, cuyos valores de verdad se jan de la siguiente manera: P V V F F Q V F V F PQ V F F F
El enlace de proposiciones P Q es verdadera cuando ambas proposiciones P, Q son verdaderas. Una conjuncin cuyo valor de verdad es V, expresa que las circunstancias que se reejan a travs de las proposiciones parciales, existen en conjunto. Pero, cuando una conjuncin tiene el valor de verdad F, esto signica que, por lo menos, una de sus proposiciones parciales no reeja correctamente una circunstancia. En las explicaciones posteriores, consideraremos el enlace de varias proposiciones como una conjuncin si aparece la expresin y/o sus sinnimos. Ejemplo 1.10 Sean las proposiciones: P: 2 es un divisor de 10 Q: 5 es un divisor de 10 La conjuncin de P y Q es la siguiente proposicin: P Q: 2 es un divisor de 10, pero tambin 5 es un divisor de 10 Por lo tanto la proposicin P Q es verdadera. Estudiaremos ahora proposiciones de la forma (P o Q) y (o P o Q). Ejemplo 1.11 Consideremos ahora el siguiente aviso: Se solicita profesor con especialidad de Pedagoga o lgebra Se presentan cuatro candidatos A, B, C y D con las caractersticas siguientes: A: Tiene ambas especialidades (V, V) B: Slo tiene la especialidad de Pedagoga (V, F) C: Slo tiene la especialidad de Algebra (F, V) D: Slo tiene la especialidad de Qumica (F, F) En este caso slo D no podr ser seleccionado. El punto central de esta parte lo constituye el uso de la palabra o, la cual puede ser utilizada en un sentido exclusivista o ... o ... o no exclusivista. Por este motivo procederemos en dos pasos intermedios. Denicin 1.10 Disyuncin Se denomina disyuncin a la funcin veritativa bivalente cuyos valores se jan de la manera siguiente: P V V F F Q V F V F PQ V V V F
La disyuncin corresponde a la funcin proposicional bivalente P o Q. Segn la denicin anterior P o Q es verdadera cuando, como mnimo, una de las proposiciones enlazadas es verdadera. En discusiones posteriores, el enlace de varias proposiciones con o recibe el nombre de disyuncin. Entonces, un enlace de proposiciones de este tipo representa una proposicin verdadera cuando todas las proposiciones enlazadas son verdaderas. Ejemplo 1.12 - 23=6 3+2=5 - 75 % de 45 m es 135/4 m, 33,75 m. A causa de la extensionalidad de las funciones proposicionales las proposiciones enlazadas pueden o no, tener relaciones de contenido entre s. La abstraccin hecha de las relaciones de contenido entre las proposiciones enlazadas es necesaria para poder fundamentar la relacin lgica. Mediante la denicin anterior se ha determinado el sentido de la palabra o. Para nosotros son de gran inters an los valores de verdad de las proposiciones parciales. En otros enlaces se proceder de forma similar. Denicin 1.11 Alternativa Se denomina alternativa a la funcin veritativa de dos lugares cuyos valores se jan de la manera siguiente: P V V F F Q V F V F PQ V V V F
La alternativa corresponde a la funcin proposicional de dos lugares o P o Q es verdadero cuando una de las dos proposiciones es verdadera. Es falso cuando ambas proposiciones son verdaderas o falsas. La alternativa es igualmente extensional. En las explicaciones que demos posteriormente, un enlace de ms de dos proposiciones con o ... o recibe el nombre de alternativa. En el uso diario del lenguaje se dice frecuentemente o en lugar de o ... o, actuando esta palabra, en tales casos, de forma excluyente. Cuando en el lenguaje familiar corriente se habla de una disyuncin, se hace referente a la alternativa que hemos denido. Estos hechos hay que tenerlos siempre en cuenta. Ejemplo 1.13 - La suma de los siete primeros nmeros naturales es o par o impar. - 1969 es o un nmero primo o divisible por 9. Un verdadero enlace mediante la alternativa de ambas proposiciones reeja que de dos circunstancias posibles existe exactamente una. Para evitar las confusiones se debe utilizar, en tales casos, siempre o ... o. o puede usarse en el lenguaje comn pero con otro sentido, cuando se quiere decir que las dos circunstancias enlazadas entre s no pueden existir en conjunto. Como mximo, esto puede referirse a una de ellas. El conocimiento de estas distintas interpretaciones de o en el lenguaje comn es muy importante para la conclusin lgica y, adems, nos motiva a velar por la exactitud de nuestras formulaciones. A continuacin formularemos, mediante la disyuncin, algunos teoremas importantes de la lgica de las proposiciones.
CAPTULO 1. LGICA MATEMTICA Teorema 1.1 Toda proposicin es verdadera o falsa.
Este teorema se denomina, teorema del tercero excluido. Esto podemos representarlo mediante la funcin proposicional P o P. Esta funcin proposicional es una identidad, porque para cualquier argumento P, siempre obtenemos una proposicin verdadera. Teorema 1.2 Toda proposicin es o verdadera o falsa.
Este teorema se denomina, principio de la bivalencia. Este principio expresa que entre una proposicin y su negacin no hay una tercera posibilidad, y que una proposicin no puede ser simultneamente verdadera y falsa. Proposiciones como P Q y P Q que resultan de combinar otras proposiciones reciben el nombre de proposiciones compuestas. Es posible una proposicin compuesta G = G(P1 , P2 , ..., Pn ) sea verdadera sin importar qu asignaciones de verdad se hayan hecho a las proposiciones P1 , P2 , ..., Pn . Ejemplo 1.14 En el Instituto de Ciencias Bsicas existe el siguiente reglamento: Para que un estudiante pueda tomar materias de avance de primer nivel, tiene que haber aprobado materias concatenadas de prepolitcnico. En cules de los siguientes casos se viola el reglamento? A: Toma avances y aprob materias concatenadas (V, V). B: Toma avances y no aprob materias concatenadas (V, F). C: No toma avances pero aprob materias concatenadas (F, V). D: Ni toma avances ni aprob materias concatenadas (F, F). Un poco de reexin nos conduce a aceptar que se viola el reglamento en el caso B. Denicin 1.12 Implicacin Se denomina implicacin o condicional a la funcin veritativa de dos lugares cuyos valores de verdad se jan de la manera siguiente: P V V F F Q V F V F PQ V F V V
La proposicin P se denomina hiptesis o antecedente y la proposicin Q, conclusin o consecuente. Considrese el problema de asignar un valor de verdad a la proposicin implicacin si P, entonces Q. En efecto, si la hiptesis P es verdadera y la conclusin Q es tambin verdadera (esto es, la hiptesis y la conclusin son ambas verdaderas), entonces la proposicin condicional si P, entonces Q debe ser verdadera. Por otra parte, si la hiptesis P es verdadera y la conclusin Q es falsa, entonces si P, entonces Q debe ser falsa. (No se debe deducir una conclusin falsa de una hiptesis verdadera). La denicin normal dice que si P, entonces Q es verdadera en caso de que la hiptesis P sea falsa, sin considerar el valor de verdad de la conclusin Q. En las ulteriores explicaciones, al enlace de varias proposiciones con si P, entonces Q lo llamaremos implicacin. En el lenguaje ordinario, la hiptesis y la conclusin en una proposicin implicacin estn normalmente relacionadas, pero en lgica no se requiere que la hiptesis y la conclusin en una
CAPTULO 1. LGICA MATEMTICA proposicin implicacin se reeran al mismo tema.
Tienen inters particular las proposiciones implicacin verdaderas. Los teoremas de matemticas con frecuencia se expresan como proposiciones implicacin. Una demostracin de un teorema de esta forma lo constituye la vericacin de que la proposicin implicacin es verdadera. Sean P = P(P1 , P2 , ..., Pn ) y Q = Q(P1 , P2 , ..., Pn ) proposiciones compuestas y supngase que P Q es verdadera. Se sabe que si P es falsa, P Q es verdadera, no importando si Q es verdadera o falsa. Por otra parte, si P es verdadera, Q tambin debe serlo, pues en caso contrario P Q sera falsa. Ejemplo 1.15 Sean las siguientes proposiciones: P : Hoy es 30 de Febrero. Q : Entre 5 y 15 hay nmeros primos. P Q : Si hoy es 30 de febrero, entonces entre 5 y 15 hay nmeros primos. Esta proposicin compuesta es verdadera, ya que podemos decir que toda implicacin, cuyo primer miembro sea falso tiene el valor de verdad V, sin tener en cuenta si el primero y el segundo miembros tienen relacin de contenido o no. Ejemplo 1.16 La proposicin compuesta si entre 5 y 15 hay nmeros primos, entonces entre 13 y 15 hay nmeros primos, es falsa, ya que el primer miembro de esta implicacin es verdadero y su segundo miembro es falso. Otra proposicin compuesta de gran utilidad es P si y slo si Q Este enunciado se interpreta como: (Si P, entonces Q) y (si Q, entonces P) Determnese el valor de verdad de la primera proposicin. Supngase que P y Q son ambas verdaderas. Entonces las dos proposiciones implicacin de la segunda son verdaderas. Y como la conectiva y resulta verdadera para ambas verdaderas, se tiene que la segunda tambin lo es. Dado que la primera se interpreta como la segunda, se considera que la primera es verdadera cuando ambas P y Q lo son. Si P y Q son falsas, nuevamente las dos proposiciones implicacin de la segunda son verdaderas. En consecuencia, la segunda es verdadera. Por lo tanto, si ambas proposiciones P y Q son falsas, se considera que la primera es verdadera. Si P es falsa y Q es verdadera, entonces la segunda proposicin implicacin en la segunda es falsa. Ahora bien, cuando en la conectiva y uno de los valores es falso, el resultado es falso. Por consiguiente, se considera que la primera es falsa si P es falsa y Q es verdadera. Esto motiva la siguiente denicin. Denicin 1.13 Equivalencia Se denomina implicacin o condicional a la funcin veritativa de dos lugares cuyos valores de verdad se jan de la manera siguiente: P V V F F Q V F V F PQ V F F V
10
Otra forma de enunciar P si y slo si Q es P es una condicin necesaria y suciente para Q. As mismo, P si y slo si Q en ocasiones se escribe P ssi Q. La proposicin compuesta (Si P, entonces Q) y (si Q, entonces P), tambin podemos expresarla en smbologa lgica de la siguiente manera PQ = (P Q) (Q P) Ejemplo 1.17 Sean P: El nmero 2013 es divisible por 3. Q: La suma de las cifras bsicas de 2013 es divisible por 3. P Q: El nmero 2013 es divisible por 3 cuando la sumas de sus cifras bsicas es divisible por 3. Esta proposicin es verdadera, ya que ambos enlaces son verdaderos. Ejemplo 1.18 Si P Q es una proposicin implicacin, entonces denominamos: Q P recproca de P Q. P Q inversa de P Q. Q P contrapositiva de P Q. Ejemplo 1.19 Implicacin: Si 2272 es divisible por 4, entonces 2272 es un nmero par. Recproca: Si 2272 es un nmero par, entonces 2272 es divisible por 4. Contrapositiva: Si 2272 no es un nmero par, entonces 2272 no es divisible por 4. Inversa: Si 2272 no es divisible por 4, entonces 2272 no es un nmero par. Ejemplo 1.20 Implicacin: Si un tringulo es equiltero, entonces es issceles. Recproca: Si un tringulo es issceles, entonces es equiltero. Contrapositiva: Si un tringulo no es issceles, entonces tampoco es equiltero. Inversa: Si un tringulo no es equiltero, entonces tampoco es issceles.
1.1.2.
1.
Tarea
Suponga que x, y , z R. Represente en forma simblica los enunciados dados tomando: P: x < y , Q: y < z , R: x < z
a) (x y e y < z ) o x z ; b) No es cierto que (x < y e y < z ); c) x < y o no es verdad que (y < z y x < z ); d) (No es verdad que (x < y y (x < z o y < z ))) o (x y y x < z ). Resp: a) ; b) ; c) ; d) . 2. Sean P, Q, R las proposiciones: P: Est lloviendo, Q: El Sol est brillando, R: Hay nubes en el cielo. Traduzca la siguiente notacin lgica, utilizando P, Q, R y conectivos lgicos. a) Est lloviendo y el Sol est brillando; b) Si est lloviendo, entonces hay nubes en el cielo; c) Si no est lloviendo, entonces el Sol no est brillando y hay nubes en el cielo; d) El Sol est brillando si y slo si no est lloviendo; e) Si no hay nubes en el cielo, entonces el Sol est brillando. Resp: a) ; b) ; c) ; d) ; e) .
CAPTULO 1. LGICA MATEMTICA 3.
11
Sean P, Q, R como en el ejercicio anterior. Traduzca lo siguiente a oraciones en espaol: a) (P Q) R; b) (P R) Q; c) P (Q R); d) (P (Q R)); e) (P Q) R. Resp: a) ; b) ; c) ; d) ; e) . Sean p : tengo un loro y q : tengo un gato, escribir en lenguaje corriente y luego simplicar (p (q )) (p) Resp: p (q ): tengo un loro y no tengo un gato.
4.
5.
A un blanco se han efectuado tres tiros. Sea Pi la proposicin el blanco ha sido batido por el i-simo tiro, i = 1, 2, 3. Qu signican las siguientes proposiciones: a) P1 P2 P3 ; b) P1 P2 P3 ; c) (P1 P2 ) P3 ? Cules de estas tres proposiciones son verdaderas si P3 es verdadera y P1 y P2 , falsas? Resp: a) ; b) ; c) . Cules de las siguientes expresiones son proposiciones? Proporcione los valores de verdad de las proposiciones: a) x2 = x para toda x R; b) x2 = x para alguna x R; c) x2 = x; 2 d) x = x para exactamente una x R; e) xy = xz implica y = z ; f ) xy = xz implica y = z para toda x, y , z R. Resp: a) ; b) ; c) ; d) ; e) ; f ) . Considere la frase ambigua x2 = y 2 implica x = y para todo x, y : a) Transforme esta frase en una proposicin no ambigua cuyo valor de verdad sea verdadero; b) Transforme esta frase en una proposicin no ambigua cuyo valor de verdad sea falso. Resp: a) ; b) . Formule verbalmente las expresiones simblicas contenidas en los siguientes literales, utilizando las proposiciones: P : Hoy es lunes, Q : Est lloviendo, R : Hace calor.
6.
7.
8.
a) P (Q R); b) (P Q) R; c) (P (Q R)) (R (Q P)); d) (P (P (Q R))) (P (R Q)); e) P (Q R); f ) (P Q) R; g) (P (Q R)) (R (Q P)); h) (P (P (Q R))) (P (R Q)). Resp: a) ; b) ; c) ; d) ; e) ; f ) ; g) ; h) . 9. En los siguientes literales, represente cada proposicin en la forma de una proposicin condicional: a) Para todo nmero x R, |x| < 2 siempre que 0 < x < 2; b) Una condicin suciente para que una funcin f sea integrable es que f sea continua. Resp: a) ; b) . Enuncie la recproca, la inversa y la contrapositiva de cada uno de los literales del ejercicio anterior. Resp: . Proporcione las recprocas, las inversas y las contrapositivas de las siguientes proposiciones: a) Si soy listo entonces soy rico; b) Si x2 = x entonces x = 0 o x = 1; c) Si 2 + 2 = 4 entonces 2 + 4 = 8. Resp: a) ; b) ; c) .
10.
11.
CAPTULO 1. LGICA MATEMTICA 12. a) Muestre que n = 3 es un contraejemplo de la armacin n3 < 3n para toda n N; b) Puede encontrar otros contraejemplos? Resp: a) ; b) .
12
13.
a) Muestre que x = 1 es un contraejemplo de (x + 1)2 x2 para toda x R; b) Encuentre otro contraejemplo; c) Puede servir de contraejemplo cualquier nmero no negativo? Explique su respuesta. Resp: a) ; b) ; c) . Encuentre contraejemplos de las siguientes armaciones: a) 2n 1 es primo para toda n 2; b) 2n + 3n es primo para toda n N; n c) 2 + n es primo para todo entero impar positivo n. Resp: a) ; b) ; c) . a) Proporcione un contraejemplo para: x > y implica x2 > y 2 para toda x, y R. Su respuesta debe ser un par ordenado; b) Cmo debe restringir x e y para que sea verdadera la proposicin de la parte a)? Resp: a) ; b) . Exprese en forma simblica cada uno de los enunciados, suponiendo que x, y , z R y que P : x < y, Q : y < z, R: x<z:
14.
15.
16.
a) Si x < y , entonces y z ; b) Si (x < y e y < z ), entonces x < z ; c) Si (x y e y < z ), entonces x z ; d) Si no es verdad que (x < z e y < z ), entonces x z ; e) x < y si y slo si (y < z y x < z ); f ) Si es falso que (x < y y (ya sea x < y o y < z )), entonces (x y , entonces x < z ). Resp: a) ; b) ; c) ; d) ; e) ; f ) . 17. Cules de las proposiciones P, Q, R deben ser verdaderas y cules falsas para que ((P P) Q) R sea verdadera? Resp: . 18. Represente simblicamente cada una de las proposiciones condicionales dadas a continuacin. Escriba su recproca, inversa y contrapositiva tanto con smbolos como con palabras. Determine tambin el valor de verdad para la proposicin condicional, para su recproca, inversa y para su contrapositiva: a) Si 4 < 6, entonces 9 > 12; b) Si 4 > 6, entonces 9 > 12; c) |1| < 3 si 3 < 1 < 3; d) |4| < 3 si 3 < 4 < 3. Resp: a) ; b) ; c) ; d) . Proporcione la recproca, inversa y contrapositiva de cada una de las siguientes proposiciones: a) Si x + y = 1 entonces x2 + y 2 1; b) Si 2 + 2 = 4 entonces 3 + 3 = 8. Resp: a) ; b) . Considere la proposicin: si x > 0 entonces x2 > 0 para x N: a) Proporcione la recproca, inversa y contrapositiva de la proposicin; b) Cul de las siguientes proposiciones es verdadera: la proposicin original, la recproca, la inversa o la contrapositiva? Resp: a) ; b) .
19.
20.
13
Determine los valores de verdad de las siguientes proposiciones compuestas: a) Si 2 + 2 = 4, entonces 2 + 4 = 8; b) Si 2 + 2 = 5, entonces 2 + 4 = 8; c) Si 2 + 2 = 4, entonces 2 + 4 = 6; d) Si 2 + 2 = 5, entonces 2 + 4 = 6; e) Si la tierra es plana, entonces Vicente Rocafuerte fue el primer presidente de Ecuador; f ) Si la tierra es plana, entonces Sixto Durn-Ballen es presidente de Ecuador en el perido 92 - 96; g) Si Sixto Durn-Ballen es presidente de Ecuador en el perido 92 - 96, entonces la tierra es plana; h) Si Sixto Durn-Ballen es presidente de Ecuador en el perido 92 - 96, entonces 2 + 2 = 4. Resp: a) ; b) ; c) ; d) ; e) ; f ) ; g) ; h) .
22. Supngase que sabemos que P Q es falso. Proporcione los valores de verdad para: a) P Q; b) P Q; c) Q P; d) P Q; e) P Q; j) (P Q). f ) Q P; g) Q P; h) P Q; i) P Q; Resp: a) ; b) ; c) ; d) ; e) ; f ) ; g) ; h) ; i) ; j) . 23. Un lgico le dijo a su hijo Si no terminas tu cena, te irs directo a dormir y no vers televisin. Termin su cena y fue enviado directamente a la cama. Disctalo. Resp: . A la pregunta de cul de tres estudiantes estudiaba lgica fue obtenida una respuesta correcta: si la estudiaba el primero, tambin lo haca el tercero, pero no era cierto que si la estudiaba el segundo lo haca asmismo el tercero. Quin estudiaba lgica? Resp: . Luis, Carlos, Joe, Fred ocuparon en la olimpiada de matemticas los cuatro primeros puestos. Cuando les preguntaron acerca de la distribucin de los puestos, dieron las tres siguientes respuestas: a) Fred - primero, Carlos - segundo; b) Fred - segundo, Luis - tercero; c) Joe - segundo, Luis - cuarto. Cmo se distribuyeron los puestos si en cada una de las respuestas slo una de las armaciones era verdadera? Resp: a) ; b) ; c) . Determine cul de cuatro estudiantes dio el examen si sabemos que: a) Si lo dio el primero, el segundo tambin; b) Si lo dio el segundo, el tercero tambin o bien el primero no lo dio; c) Si no lo dio el cuarto, lo dio el primero, pero el tercero no; d) Si el cuarto lo dio, el primero tambin. Resp: a) ; b) ; c) ; d) . Para una expedicin de ocho pretendientes A, B, C, D, E, F, G, H hay que elegir seis especialistas: bilogo, hidrlogo, sinptico, radista, mecnico y mdico. Las funciones del bilogo pueden ser realizadas por E y G, las del hidrlogo, B y F. Las del sinptico, F y G, las del radista, C y D, las del mecnico, C y H, las del mdico, A y D. Aunque algunos de los pretendientes tienen dos especialidades, en la expedicin cada uno puede realizar slo una funcin. Quin y en calidad de qu ha de incluirse en la expedicin si F no puede ir sin B, D sin H y sin C, C no puede ir simultneamente con G, y A no puede ir junto con B? Resp: .
24.
25.
26.
27.
14
1.2.
Construccin de tablas de verdad
El enunciado G = P [(Q R) Q] incluye tres proposiciones: P, Q y R, cada una puede ser verdadera o falsa de manera independiente. Existen en total 23 = 8 combinaciones posibles de los valores de verdad para P, Q y R y la tabla de verdad para G deber dar el valor de verdad de G para cada uno de los casos. Denicin 1.14 Combinaciones Si una proposicin compuesta G consta de n enunciados, habr 2n combinaciones de valores de verdad, es decir, n las en la tabla de verdad de G. Una tabla que despliega todos los valores de verdad de una frmula, para todas las posibles interpretaciones que pueda tener, se denomina tabla de verdad de la frmula. Esta tabla puede construirse sistemticamente de la siguiente manera: 1. Las primeras n columnas se encabezan con las variables proposicionales; y se construyen ms columnas para las combinaciones parciales de enunciados y se culmina con el enunciado dado. 2. Bajo cada una de las primeras n columnas, se enlistan las 2n n-adas posibles de los valores de verdad de los componentes del enunciado G. Cada n-tupla se enlista en una la separada. 3. Para cada la se calculan sucesivamente los valores de verdad restantes. Ejemplo 1.21 Sea G = (P Q) (P Q), construir la correspondiente tabla de verdad: P V V F F Ejemplo 1.22 Q V F V F PQ V F V V PQ V V V V G V F V F
Sea G = [(P Q) Q] P), construir la correspondiente tabla de verdad: P V V F F Q V F V F PQ V F V F (P Q) Q F F V F G V V V V
Ejemplo
1.23
Sea G = [(P Q) P] Q), construir la correspondiente tabla de verdad: P V V F F Q V F V F PQ V V V F (P Q) P F F V F G V V V V
Ejemplo
1.24
Sea G = (P Q) (Q P), construir la correspondiente tabla de verdad: P V V F F Q V F V F PQ V F V V QP V F V V G V V V V
CAPTULO 1. LGICA MATEMTICA Ejemplo 1.25 de verdad: P V V F F
15
Sea G = (P Q) [(P Q) (Q P)], construir la correspondiente tabla Q V F V F PQ V F F V PQ V F V V QP V V F V (P Q) (Q P) V F F V G V V V V
1.2.1.
Operaciones con frmulas lgicas y sus propiedades
En el estudio de las funciones proposicionales hemos utilizado las variables P, Q, R, ... para designar las proposiciones. Estas variables podemos interpretarlas con elementos de un dominio bsico, es decir, con proposiciones. Su dominio est formado solamente por dos elementos, los valores de verdad V y F. Las constantes en este caso las constituyen los conectores lgicos. Mediante el enlace lineal de las variables con valores de verdad P, Q, etc., y conectores, as como mediante la aplicacin de los signos tcnicos (parntesis), podemos formar series de signos. Denicin 1.15 Frmula bien formada Una frmula bien formada, se dene dentro de la lgica proposicional en los siguientes trminos recursivos: 1) Las variables P, Q, ... son frmulas. 2) a) Si P es una frmula, entonces P tambin es una frmula. b) Si P y Q son frmulas entonces P Q, P Q, P Q, P Q tambin son frmulas. 3) Una serie de signos P, Q, ... es una frmula solo cuando se trata de los casos 1 y 2. En la representacin simblica se interpretan los signos , , , , , que reciben el nombre de conectores, como signos de funciones proposicionales y tambin como signos de funciones veritativas. A los literales tales como P, Q, R,... que son usados para denotar proposiciones se denominan frmulas atmicas o tomos. No es difcil reconocer que expresiones como P , P no son frmulas. Cuando no exista confusin se suprimen los parntesis asignando rangos decrecientes a los conectores proposicionales de la siguiente manera; , , , , de manera que al conector proposicional con mas alto rango se lo evalue al nal. Ejemplo 1.26 1) P Q R = P (Q R); 2) P Q R S = P Q (R S) = P [Q (R S)]. Ahora vamos a establecer una relacin entre los valores de verdad y las funciones veritativas por una parte y las expresiones, por otra. Las variables P, Q, ... las utilizamos ahora como variables del valor de verdad, y de igual forma los conectores proposicionales , , , , como signos de las funciones veritativas clsicas. Sobre la base de las armaciones hechas podemos indicar el correspondiente valor de verdad para cada interpretacin de las variables P, Q, ... con los valores de verdad. En las expresiones complicadas de la lgica proposicional tambin es posible calcular de esta forma, en nitos pasos, los valores de verdad, al hacer las diferentes interpretaciones de las variables. Comparando las tablas de verdad podemos decidir si dos frmulas G y H tienen la misma tabla de valores de verdad. Con esto tambin podemos mostrar si una frmula formada a partir de G y H, es una identidad de la lgica proposicional. La igualdad de las tablas de valores de verdad y la identidad de la lgica proposicional, sin embargo, no son exactamente lo mismo. La igualdad
16
de la tabla de valores de verdad es una relacin entre dos frmulas; y la propiedad de ser una identidad es una peculiaridad de una frmula. Cuando nos interesamos por la igualdad de la tabla de valores de verdad, entonces comparamos los valores de verdad de dos frmulas en todas las sustituciones posibles. Cuando nos interesamos por la validez general de una frmula, queremos establecer si esta determinada frmula toma, en cada interpretacin, el valor de verdad V. En este caso, se determina el valor de verdad de una nueva frmula formada a partir de las frmulas G y H en todas las sustituciones posibles. De las frmulas con las mismas tablas de verdad, G y H, se pueden formar siempre identidades de la lgica proposicional, es decir, frmulas de validez general. Teorema 1.3 Una frmula doblemente negada tiene la misma tabla de valores de verdad que la correspondiente frmula dada, es decir; P = P es una identidad de la lgica proposicional. Demostracin P V F P F V P V F
Teorema 1.4 Para la conjuncin, la disjuncin y la equivalencia se cumplen la ley conmutativa y la ley asociativa con respecto a la igualdad de las tablas de valores de verdad. Para la implicacin no se cumple ni la ley asociativa, ni la ley conmutativa. Demostracin P V V F F Q V F V F PQ V V V F QP V V V F PQ V F F F QP V F F F PQ V F F V QP V F F V
Dado que G1 = (P Q) R y G2 = P (Q R), entonces P V V V V F F F F Q V V F F V V F F R V F V F V F V F (P Q) R V V V V V V V F P (Q R) V V V V V V V F (P Q) R V F F F F F F F P (Q R) V F F F F F F F G1 V F F V F V V F G2 V F F V F V V F
En lgica las proposiciones idnticamente verdaderas o bien idnticamente falsas desempean importante papel. Las proposiciones idnticamente verdaderas son siempre verdaderas independiente de si las proposiciones que las forman son verdaderas o falsas. Teorema 1.5 Para las proposiciones idnticamente verdaderas e idnticamente falsas, con todo P son ciertas las siguientes frmulas: P P = V; P P = F; Demostracin PV = V; PV = P; PF =P PF =F
CAPTULO 1. LGICA MATEMTICA P V F Teorema 1.6 PQ V V PV V V PF V F PP F F PV V F PF F F
17
Las equivalencias siguientes PQ = Q P; P Q = Q P; P Q = Q P P Q =QP
son identidades de la lgica proposicional. Demostracin P V V F F Q V F V F PQ V F V V QP V F V V QP F V V V PQ V V V F QP V V V F QP V V F V
PQ F V V V Teorema 1.7
PQ V V F V
Las equivalencias siguientes (P Q) = P Q; (P Q) P = P; (P Q) Q = Q; PQ = P Q; (P Q) = P Q (P Q) P =P (P Q) Q =Q
PQ = (P Q) (Q P)
son identidades de la lgica proposicional. Demostracin P V V F F Q V F V F (P Q) F F F V PQ F F F V (P Q) F V V V PQ V F V V P Q F V V V (P Q) P V V F F (P Q) P V V F F
(P Q) Q V F V F
(P Q) Q V F V F
PQ V F V V
PQ V F F V
(P Q) (Q P) V F F V
Teorema 1.8 La conjuncin es, con respecto a la disjuncin en ambos lados, distributiva y viceversa, es decir, que las siguientes frmulas son identidades de la lgica proposicional P (Q R) = (P Q) (P R); P (Q R) = (P Q) (P R); Demostracin (Q R) P = (Q P) (R P) (Q R) P = (Q P) (R P)
CAPTULO 1. LGICA MATEMTICA P V V V V F F F F Q V V F F V V F F R V F V F V F V F P (Q R) V V V F F F F F (P Q) (P R) V V V F F F F F (Q R) P V V V F F F F F (Q P) (R P) V V V F F F F F
18
P (Q R) V V V V V F F F
(P Q) (P R) V V V V V F F F
(Q R) P V V V V V F F F
(Q P) (R P) V V V V V F F F
Teorema 1.9 Conjuntamente con la distributividad se cumple que la implicacin, con respecto a las dems funciones veritativas, es distributiva a la derecha, pero no distributiva a la izquierda, es decir, que las siguientes frmulas son de validez general P (Q R) = (P Q) (P R); P (Q R) = (P Q) (P R); Demostracin P V V V V F F F F Q V V F F V V F F R V F V F V F V F P (Q R) V F F F V V V V (P Q) (P R) V F F F V V V V P (Q R) V V V F V V V V (P Q) (P R) V V V F V V V V P (Q R) = (P Q) (P R) P (Q R) = (P Q) (P R)
P (Q R) V F V V V V V V
(P Q) (P R) V F V V V V V V
P (Q R) V F F V V V V V
(P Q) (P R) V F F V V V V V
19
Teorema 1.10 Si la conclusin, segundo miembro, de una implicacin es igualmente una implicacin, entonces las dos premisas (primeros miembros), se pueden unir formando una sola premisa P (Q R) = (P Q) R; Demostracin P V V V V F F F F Ejemplo Q V V F F V V F F R V F V F V F V F P (Q R) V F V V V V V V (P Q) R V F V V V V V V (P Q) R V F V V V V V V (P R) (Q R) V F V V V V V V (P Q) R = (P R) (Q R)
1.27
Utilizando las leyes de la lgica proposicional, demostrar que: (P Q) (P Q) = (P Q) (P Q).
Solucin (P Q) (P Q) = [(P Q) (P Q)] [(P Q) (P Q)] = [(P Q) (P Q)] [(P Q)) (P Q)] = [(P Q) (P Q)] [(P Q) (P Q)] = (P Q P Q) [(P Q) (P Q)] = [(P P) (Q Q)] [(P Q) (P Q)] = (V V) [(P Q) (P Q)] = V [(P Q) (P Q)] = (P Q) (P Q). Ejemplo 1.28 Utilizando las leyes de la lgica proposicional, demostrar que: [(P Q) P] Q = Q P. Solucin [(P Q) P] Q = = = = = Ejemplo 1.29 [(P Q) P] Q [(P Q) P] Q (P) Q P Q Q P.
Utilizando las leyes de la lgica proposicional, demostrar que: [(P Q) (P R)] (Q R) = Q (P R).
CAPTULO 1. LGICA MATEMTICA Solucin [(P Q) (P R)] (Q R) = [(P Q) (P R)] (Q R) = (P Q) (P R) (Q R) = (P Q) (P R) Q R = Q R (P R) = Q [(R P) (R R)] = Q [(R P) V] = Q (R P) = Q (P R). Ejemplo 1.30 Utilizando las leyes de la lgica proposicional, demostrar que: [(P Q) R] [(Q P) R] = (P Q) R. Solucin [(P Q) R] [(Q P) R] = = = = = = = = = = Ejemplo 1.31 [(P Q) R] [(Q P) R] [(P Q) R] [(Q P) R] [(P Q) R] [(Q P) R] [(P Q) R] [(Q P) R] [(P Q) (Q P) R] [R (Q P) R] [(P Q Q) (P Q P)] R V [(P Q) (P Q)] R (P Q) R (P Q) R (P Q) R.
20
Utilizando las leyes de la lgica proposicional, demostrar que: [(P Q) P] (P Q) = P Q.
Solucin [(P Q) P] (P Q) = = [(P Q) P] (P Q)
[(P Q) P] (P Q) = P P Q = P Q = P Q.
1.2.2.
Tautologas y falacias
Denicin 1.16 Tautologa Si una proposicin compuesta es siempre verdadera bajo todas sus interpretaciones, independientemente de los valores de vericacin de sus componentes, decimos que la proposicin compuesta es una tautologa.
21
Es decir, a un enunciado que es verdadero para todos los valores posibles de sus variables proposicionales se le denomina tautologa. Cuando se comprueba que una equivalencia es una tautologa, signica que sus dos partes componentes son siempre o ambas verdaderas o ambas falsas, para cualesquier valores de las variables proposicionales. Por tanto los dos lados son slo diferentes maneras de proponer el mismo enunciado y se dice que son logicamente equivalentes. Denicin 1.17 Falacia Una frmula G es una falacia, si G es una tautologa. Ejemplo 1.32 Utilizando una tabla de verdad, determinar si la frmula G = (P Q) (P Q) es tautologa. Solucin P V V F F Q V F V F PQ V F V V PQ V F V V (P Q) ( P Q) V V V V
Por lo tanto G si es tautologa. Ejemplo 1.33 Utilizando una tabla de verdad, determinar si la frmula G = (Q P) (P Q) es tautologa. Solucin P V V F F Q V F V F QP V V F V PQ V F V V (Q P) (P Q) V F V V
Por lo tanto G no es tautologa. Ejemplo 1.34 Utilizando una tabla de verdad, determinar si la frmula G = (P Q) (Q P) es tautologa. Solucin P V V F F Q V F V F PQ V F V V QQ V F V V (P Q) ( Q P) V V V V
Por lo tanto G si es tautologa.
CAPTULO 1. LGICA MATEMTICA Ejemplo 1.35 Utilizando una tabla de verdad, determinar si la frmula G = (P Q) [(P Q) (Q P)] es tautologa. Solucin P V V F F Q V F V F PQ V F F V (P Q) (Q P V F F V (P Q) [(P Q) (Q P)] V V V V
22
Por lo tanto G si es tautologa. Ejemplo 1.36 Utilizando una tabla de verdad, determinar si la frmula G = [(P Q) (Q R)] (P R) es tautologa. Solucin P V V V V F F F F Q V V F F V V F F R V F V F V F V F (P Q) (Q P V F F V V F V V PQ V F V F V V V V [(P Q) (Q R)] (P R) V V V V V V V V
Por lo tanto G si es tautologa. Ejemplo 1.37 Utilizando una tabla de verdad, determinar si la frmula G = [P (Q R)] [(P Q) R] es tautologa. Solucin P V V V V F F F F Q V V F F V V F F R V F V F V F V F (P (Q R) V F V V V V V V (P Q) R V F V V V F V F [P (Q R)] [(P Q) R] V V V V V F V F
Por lo tanto G no es tautologa.
23
1.2.3.
1.
Tarea
Construya la tabla de verdad para cada una de las siguientes proposiciones: a) (P Q) [(P Q) (P Q)]; b) [(P Q) R] (P Q); c) [(P Q) (P R)] (Q P)]; d) P P; e) (P Q) R; g) P Q; h) (P Q). f ) (P P) P; Resp: a) ; b) ; c) ; d) ; e) ; f ) ; g) ; h) . Utilizando las leyes de la lgica proposicional, demostrar que PQ = (P Q) (P Q) Resp: .
2.
3.
Utilizando las leyes de la lgica proposicional, demuestre o refute: a) P Q b) P (Q R) = (P Q) (P Q); = (P Q) (P R); c) (P Q) R = P (Q R). Resp: a) ; b) ; c) . Simplique las siguientes frmulas y diga cuales son tautologas y cuales falacias: a) P (P Q)] (P Q); b) (P Q) [(R P) Q]. Resp: a) ; b) . Simplique las siguientes frmulas y diga cuales son tautologas y cuales falacias: a) (R Q) (P Q R) (P Q R); b) (P Q) (R Q); c) (P Q) Q [(R Q) P]. Resp: a) ; b) ; c) . Simplique las siguientes frmulas y diga cuales son tautologas y cuales falacias: a) (P Q) (R S) (P S); b) (P Q) (P R) R; c) (P Q) (P R) (Q S). Resp: a) ; b) ; c) . Simplique las siguientes frmulas y diga cuales son tautologas y cuales falacias: a) (P Q) Q (P R); b) (P Q) (P R) (Q R); c) (P Q) Q (P (R S)]. Resp: a) ; b) ; c) . Simplique las siguientes frmulas y diga cuales son tautologas y cuales falacias: a) (P S) (P Q) [(S R) T] (Q R); b) P (Q P) [(Q R) S]; c) (P Q) (R Q) (R S) [(S P) T]. Resp: a) ; b) ; c) . Simplique las siguientes frmulas y diga cuales son tautologas y cuales falacias: a) (P Q) [(P Q) (Q P)]; b) [(P Q) (Q R) P] R; c) [P (Q R)] (Q R) [(S R) P] S. Resp: a) ; b) ; c) .
4.
5.
6.
7.
8.
9.
1.3.
Transformacin de frmulas
La igualdad de los valores de verdad de dos proposiciones la hemos demostrado hasta ahora utilizando las tablas completas de valores de verdad. Con su ayuda pudimos decidir si una frmula
CAPTULO 1. LGICA MATEMTICA dada es o no una identidad de la lgica proposicional.
24
Por esta va hemos conocido mumerosas frmulas con las tablas de valores. Otras identidades, es decir; las leyes de la lgica proposicional, las obtenemos a partir de las frmulas dadas y mediante sustituciones o transformaciones en frmulas equivalentes. En esta seccin veremos cmo obtener equivalencias e implicaciones lgicas sin utilizar tablas de verdad. Tambin explicaremos el signicado de teorema y de demostracin. Empezaremos con dos reglas tiles, que sin embargo deben manejarse con cuidado. Teorema 1.11 Si en una frmula de validez general, es decir, en una identidad de la lgica proposicional, se sustituye una variable proposicional por una frmula cualquiera en todos los lugares donde se presenta la frmula correspondiente, entonces se obtiene nuevamente una frmula de validez general. Teorema 1.12 Cuando en una frmula G se sustituye una cierta subfrmula G1 por una frmula G2 , que toma los mismos valores de verdad que G1 , entonces la frmula obtenida F tiene los mismos valores de verdad que la frmula G. La frmula G, una vez sustituida G1 debe sustituirse por G2 en todos los lugares donde esta se presenta. Ejemplo 1.38 Consideremos la proposicin G = [P (P Q)] Q que es una tautologa. Si reemplazamos, cada vez que aparece P, por la proposicin G1 =QR obtenemos la tautologa H = [(Q R) ((Q R) Q)] Q.
Si en cambio reemplazamos Q, cada vez que aparece, por G1 , obtenemos la tautologa H = [P (P (Q R))] (Q R). Ejemplo 1.39 Consideremos la proposicin G = [(P Q) (P R)] [Q (P R)] que no es una tautologa. Obtenemos proposiciones lgicamente equivalentes si reemplazamos P Q por su equivalencia lgica P Q o si reemplazamos una o las dos veces que aparece P R por P R. Podemos tambin reemplazar (P Q) (P R) por P (Q R). De esta manera G es lgicamente equivalente a las siguientes proposiciones entre otras: [(P Q) (P R)] [Q (P R)] [(P Q) (P R)] [Q (P R)] [(P (Q R)] [Q (P R)]. Denicin 1.18 Frmula vlida Una frmula G es vlida o constituye una tautologa, si y slo si es verdadera bajo todas las interpretaciones. En caso contrario la frmula G es invlida.
25
Denicin 1.19 Frmula inconsistente Una frmula G se denomina inconsistente o insatisfactible, si y slo si es falsa bajo todas las interpretaciones. En caso contrario la frmula G es consistente o satisfactible. De las deniciones anteriores, las observaciones siguientes son obvias: 1. 2. 3. 4. 5. 6. Una frmula es vlida, si y slo si su negacin es inconsistente. Una frmula es inconsistente, si y slo si su negacin es vlida. Una frmula es invlida, si y slo si hay por lo menos una interpretacin bajo la cual la frmula es falsa. Una frmula es inconsistente, si y slo si hay por lo menos una interpretacin bajo la cual la frmula es verdadera. Si una frmula es vlida, entonces es consistente pero no viceversa. Si una frmula es inconsistente, entonces es invlida pero no viceversa. 1.40 Vericar la validez o inconsistencia de la frmula: [(P Q) (Q R)] (P R) Solucin P V V V V F F F F Q V V F F V V F F R V F V F V F V F (P Q) (Q R) V F F V V F V V PR V F V F V V V V [(P Q) (Q R)] (P R) V V V V V V V V
Ejemplo
Por lo tanto G es una frmula vlida. Ejemplo 1.41 Vericar la validez o inconsistencia de la frmula: [(P (Q R)] [(P Q) R] Solucin P V V V V F F F F Q V V F F V V F F R V F V F V F V F (P (Q R) V F V V V V V V (P Q) R V F V V V F V F [(P (Q R)] [(P Q) R] V V V V V F V F
Por lo tanto G no es una frmula vlida.
26
1.3.1.
Formas normales
En lgica matemtica es muy importante el poder transformar frmulas de una forma a otra, especialmente a las denominadas formas normales. Para lograr estas transformaciones de frmulas, se utiliza el concepto de equivalencias de frmulas. Denicin 1.20 Frmulas equivalentes Las frmulas G y H son equivalentes si los valores de verdad de G y H son los mismos bajo todas las interpretaciones de estas frmulas. Por supuesto que nuestro inters no se limita a estudiar una simple clasicacin de los enunciados del lenguaje; pero tampoco intentamos internarnos en el fascinante mundo de la deduccin lgica sin antes estar seguros de conocer y comprender algunos conceptos elementales. Las dos formas normales que nos interesa obtener y que son utilizadas en prueba mecnica de teoremas, son la forma normal conjuntiva y la forma normal disjuntiva. Denicin 1.21 Forma normal conjuntiva Una frmula G se dice que est en forma normal conjuntiva si y slo si G tiene la forma G = G1 G2 Gn nN
donde cada una de las frmulas G1 , G2 , ..., Gn , se expresan como una conjuncin de literales. Ejemplo 1.42 Expresar la frmula G = (Q P) (P Q) en forma normal conjuntiva. Solucin (Q P) (P Q) = (Q P) (P Q) = (Q P) (P Q) = (Q P) (P Q) = [Q (P Q)] [P (P Q)]. Ejemplo 1.43 Expresar la frmula G = (P Q) [(P Q) (Q P)] en forma normal conjuntiva. Solucin (P Q) [(P Q) (Q P)] = (P Q) (P Q) = [(P Q) (P Q)] [(P Q) (P Q)]. Denicin 1.22 Forma normal disjuntiva Una frmula G se dice que est en forma normal disjuntiva si y slo G si tiene la forma G = G1 G2 Gn nN
donde cada una de las frmulas G1 , G2 , ..., Gn , se expresan como una disjuncin de literales.
CAPTULO 1. LGICA MATEMTICA Ejemplo 1.44 Expresar la frmula G = (Q P) (P Q) en forma normal disjuntiva. Solucin (Q P) (P Q) = (Q P) (P Q) Ejemplo 1.45 Expresar la frmula G = (P Q) [(P Q) (Q P)] en forma normal conjuntiva. Solucin (P Q) [(P Q) (Q P)] = (P Q) (P Q) = [(P Q) (P Q)] [(P Q) (P Q)] = (P Q) (P Q) = (P Q) (P Q)
27
Un hecho que es muy importante anotar, es que cualquier frmula de la lgica proposicional puede ser transformada a una de las formas normales, utilizando las leyes de la lgica proposicional.
1.3.2.
Consecuencias lgicas
Denicin 1.23 Consecuencia lgica Dadas las frmulas G1 , G2 , ..., Gn y una frmula G, G se denomina consecuencia lgica de G1 , G2 , ..., Gn si y slo si para cualquier interpretacin en la cual G1 G2 Gn es verdad, G tambin lo es G1 , G2 , ..., Gn se denominan axiomas de G. Teorema 1.13 Dadas las frmulas G1 , G2 , ..., Gn y una frmula G, G es una consecuencia lgica de G1 , G2 , ..., Gn si y slo si la frmula (G1 G2 Gn ) G es vlida. Demostracin Suponga que G es una consecuencia lgica de G1 , G2 , ..., Gn . Sea I una interpretacin arbitraria. Si G1 , G2 , ..., Gn son verdaderos en I, entonces por denicin de consecuencia lgica G es verdadero en I. Entonces (G1 G2 Gn ) G es verdadero en I. Por otra parte, si G1 , G2 , ..., Gn son falsos en I, entonces (G1 G2 Gn ) G es verdadero en I. As, demostramos que (G1 G2 Gn ) G es verdadero bajo cualquier interpretacin. Esto es, (G1 G2 Gn ) G es una frmula vlida. Supongamos que (G1 G2 Gn ) G es una frmula vlida. Para cualquier interpretacin I, si G1 G2 Gn es verdadero en I, G debe ser verdadero en I. Por consiguiente G es una consecuencia lgica de G1 , G2 , ..., Gn . Ejemplo 1.46 Sean G1 G2 G P (Q R) (P S) R Q
Pruebe si G es consecuencia lgica de G1 y G2 . Solucin
28
Debemos probar que la frmula {[P (Q R)] [(P S) R]} Q, es verdadera o falsa, decir: {[P (Q R)] [(P S) R]} Q = = = = = {[P (Q R)] [P S R]} Q [(P Q R) (P S R)] Q (P Q R) (P S R) Q (P Q R) (P Q R) S V.
Lo cual indica que G es consecuencia lgica de G1 y G2 . Ejemplo 1.47 Sean G1 G2 G3 G P Q) QR R R
Pruebe si G es consecuencia lgica de G1 , G2 y G3 . Solucin Debemos probar que la frmula [(P Q) (Q R) R] R, es verdadera o falsa, decir: [(P Q) (Q R) R] R = [(P Q) (Q R) R] R = (P Q) (Q R) (R R) = V. Lo cual indica que G es consecuencia lgica de G1 , G2 y G3 . Teorema 1.14 Dadas las frmulas G1 , G2 , ..., Gn y una frmula G, G es una consecuencia lgica de G1 , G2 , ..., Gn si y slo si la frmula G1 G2 Gn G es inconsistente. Demostracin Por el teorema anterior, G es una consecuencia lgica de G1 , G2 , ..., Gn si y slo si la frmula (G1 G2 Gn ) G es vlida. As, G es una consecuencia lgica de G1 , G2 , ..., Gn si y slo si la negacin de (G1 G2 Gn ) G es inconsistente [(G1 G2 Gn ) G] = = = = [(G1 G2 Gn ) G] (G1 G2 Gn ) G (G1 G2 Gn ) G G1 G2 Gn G
Por lo tanto, concluimos que el teorema es verdadero. Ejemplo 1.48 Sean G1 G2 G P (Q R) (P S) R Q
Pruebe si G es consecuencia lgica de G1 y G2 . Solucin
29
Debemos probar que la frmula {[P (Q R)] [(P S) R]} Q, es verdadera o falsa, decir: {[P (Q R)] [(P S) R]} Q = [(P Q R) (P S R)] Q = (P Q R) (P Q R) S = (P Q R) (P Q R) S = F. Lo cual indica que G es consecuencia lgica de G1 y G2 . Ejemplo 1.49 Sean G1 G2 G2 G P Q) QR R R
Pruebe si G es consecuencia lgica de G1 , G2 y G3 . Solucin Debemos probar que la frmula [P Q) (Q R) R] R, es verdadera o falsa, decir: [P Q) (Q R) R] R = (P Q) (Q R) (R R) = F. Lo cual indica que G es consecuencia lgica de G1 , G2 y G3 .
1.3.3.
1.
Tarea
Determine la validez o inconsistencia, luego transforme a una de sus formas normales las siguientes frmulas:: a) [P (P Q)] (P Q); b) (P Q) [(R P) Q]; c) (R Q) (P Q R) (P Q R); d) (P Q) Q [(R Q) P]. Resp: a) ; b) ; c) ; d) . Determine la validez o inconsistencia, luego transforme a una de sus formas normales las siguientes frmulas: a) (P Q) (R S) (P S); b) (P Q) (P R) R; c) (P Q) (P R) (Q S); d) (P Q) Q (P R); e) (P Q) (P R) (Q R); f ) [(P Q) (Q R) P] R. Resp: a) ; b) ; c) ; d) ; e) ; f ) . Determine la validez o inconsistencia, luego transforme a una de sus formas normales las siguientes frmulas: a) (P Q) Q [P (R S)]; b) (P S) (P Q) [(S R) T] (Q R); c) P (Q P) [(Q R) S];
2.
3.
CAPTULO 1. LGICA MATEMTICA d) (P Q) (R Q) (R S) [(S P) T]; e) (P Q) [(P Q) (Q P)]; f ) [P (Q R)] (Q R) [(S R) P] S. Resp: a) ; b) ; c) ; d) ; e) ; f ) . 4. Decir cual de los siguientes enunciados son consecuencia lgica: a) G1 G2 G3 G4 G5 G b) G1 G2 G3 G4 G c) G1 G2 G3 G Resp: a) ; b) ; c) . 5. (P Q) (R S) (P Q) (R S) (T U) TU (P Q) R R S (P Q) (S T) U U (P Q) R) ST U L PU SL R
30
Los alumnos son estudiosos o los estudiosos reprueban. Si los estudiosos reprueban, entonces los inteligentes son felices o los alumnos no son estudiosos. Los alumnos son estudiosos y los inteligentes no son felices. No es verdad que los inteligentes son felices. Los estudiantes no reprueban? Resp: . Juego ftbol o estudio. Si paso el examen no estudio. Sucede que no voy a jugar ftbol. En consecuencia no pas el examen. Resp: . La lgica es fcil. Si el lgebra es hermosa, entonces la Lgica no es fcil o la Matemtica es la reina de las ciencias. El Algebra es hermosa. En consecuencia, la Matemtica es la reina de las ciencias. Resp: . Ayer no fue mircoles o maana no es martes. Hoy es jueves y ayer fue mircoles. Hoy es lunes si y slo si maana es martes. En consecuencia, hoy es lunes. Resp: .
6.
7.
8.
31
Luis har un viaje a Europa si logra terminar su carrera. Luis termina su carrera, y si hace un viaje a Europa, entonces no asiste a nuestra reunin anual. En consecuencia, Luis no asistir a nuestra reunin anual. Resp: . Si faltan ejercicios o encuentro premisas, entonces acabo la tarea. Si el libro est claro y no me falta creatividad, entonces encuentro premisas. No acabo la tarea. En consecuencia me falta creatividad o el libro no est claro. Resp: . Si ganamos el campeonato, recibimos el premio. Si jugamos y ganamos el campeonato, recibiremos el premio. Jugaremos y ganaremos el campeonato. En consecuencia, recibiremos el premio. Resp: . Repruebo el examen o sigo mis estudios. Si repruebo el examen, perder la beca y me ir de la ciudad. No perder la beca o no me ir de la ciudad. Luego, seguire estudiando. Resp: . Los aviones son veloces o las diligencias respetan los semforos. Si los hombres vuelan y las bicicletas no contaminan, entonces no es verdad que las diligencias respetan los semforos. Los hombres vuelas y las bicicletas no contaminan. En conclusin, los aviones son veloces. Resp: .
10.
11.
12.
13.
1.4.
Expresiones de la lgica de predicados
El clculo proposicional es una teora de la lgica, completa y autnoma, pero totalmente inadecuada para la mayor parte de las matemticas. El problema reside en que el clculo proposicional no permite el uso de un nmero innito de proposiciones. Adems, la notacin es difcil para manejar un gran nmero nito de proposiciones. Por ejemplo, con frecuencia encontramos una sucesin innita de proposiciones P (x) con ndices en N. La armacin informal P (x) es verdadera para toda x signica P (0) es verdadera, P (1) es verdadera, P (2) es verdadera, etc. El nico simbolismo que podramos utilizar, segn el clculo proposicional sera P (0) P (1) P (2) ..., pero no es aceptable en el clculo proposicional. En forma similar, la armacin informal P (x) es verdadera para alguna x correspondera al inaceptado P (0) P (1) P (2) .... Para darle la vuelta a este problema, necesitamos dos smbolos nuevos: uno que signique para todo y otro que signique para algn. Entonces necesitamos saber las reglas para utilizar los nuevos smbolos y combinarlos con los viejos. Este sistema de smbolos y reglas se llama clculo de predicados. Los nuevos smbolos que introduciremos se llaman cuanticadores. Supongamos que {P (x)/x U } es una familia con ndices en un conjunto U que puede se innito; el conjunto U se llama el dominio de individuos o universo de individuos. Mediante la introduccin de existe ... es conrmada la existencia de por lo menos un elemento del conjunto base que satisface la forma proposicional dada. Esta proposicin es una proposicin existencial. Proposiciones con la formulacin una parte, casi todo, la mayora, algunos, etc., son
32
tambin proposiciones existenciales. Cuando hablamos de proposiciones existenciales, nos referimos tambin a proposiciones particulares, ya que estas no se reeren a todos los elementos del conjunto que nos interesa, sino solo a una parte. En este caso denominamos a la cuanticacin, particularidad. De forma anloga, se denomina a las proposiciones en que aparece la formulacin para todos, proposiciones universales o generales, ya que estas se reeren a todos los elementos del conjunto de variables. Tal cuanticacin se denomina tambin generalizacin. La cuanticacin particularidad y generalizacin son operaciones de la lgica de predicados. Partiendo de las formas proposicionales relacionadas previamente con los operadores, tales como existe ..., para todo ..., no existe ningn ..., hemos obtenido proposiciones falsas o verdaderas. Para estos operadores denominados tambin cuanticadores, se han introducido en la lgica matemtica signos especiales. El cuanticador existencial (particularizador) existe (por lo menos) un ... es simbolizado con ?. Si el smbolo ? se encuentra ante una forma proposicional P (x), esto quiere decir que existe por lo menos un elemento del conjunto fundamental que posee la propiedad reejada en la forma proposicional P (x). Utilizamos las escrituras x P (x). La tachadura vertical o la relacin que se establece entre el smbolo y el smbolo , debe expresar que no existe ningn elemento del conjunto fundamental que posea la propiedad indicada en la forma proposicional P (x). El cuanticador universal (operador universal, generalizador) para todo ... se representa con el smbolo . Si el smbolo se encuentra ante una forma proposicional P (x), esto quiere decir que la propiedad reejada en la forma proposicional P (x) es aplicable para cada elemento del dominio de individuos. El cuanticador universal forma pareja con una variable, x, signica, para todo x .... La tachadura vertical o la relacin que se establece entre el cuanticador universal y el smbolo debe expresar que la propiedad reejada en P (x) no es aplicable para todos los elementos del dominio de individuos. La lgica de predicados o lgica de primer grado, nos ensea que para la cuanticacin slo son admisibles las variables de individuos. Las variables de individuos cuanticados dejan de ser variables libres para convertirse en variables ligadas. Para crear expresiones de la lgica de predicados utilizamos adems de los smbolos para las variables de individuos, constantes de individuos, variables predicativas, cuanticadores y los conectores de la lgica proposicional. En la lgica proposicional comprobamos el valor de verdad de una expresin mediante la sustitucin de las variables de dicha expresin por sus valores de verdad, teniendo en cuenta las disposiciones correspondientes. El valor de verdad de una expresin de la lgica de predicados depende no solo del cuanticador sino tambin de las variables de individuos y del conjunto de individuos tomado como base, as como de la sustitucin o interpretacin de las variables predicativas. A la proposicin compuesta x P (x) se le asignan valores de verdad de la manera siguiente: x P (x) es verdadero si P (x) es verdadero para toda x en U ; en cualquier otro caso x P (x) es falsa
33
La proposicin compuesta x P (x) tiene los siguientes valores de verdad: x P (x) es verdadero si P (x) es verdadera para al menos una x en U ; x P (x) es falso si P (x) es falsa para toda x en U Analicemos la proposicin x P (x) de manera ms detallada. La expresin P (x) se llama predicado. Para formar una oracin hay que tener un sujeto. Por ejemplo, el predicado ... es mas poblada que Quito se transforma en la oracin Guayaquil es mas poblada que Quito al dar como sujeto Guayaquil. Si llamamos P al predicado la oracin podra escribirse como P (Guayaquil). Cada sujeto da una oracin. En nuestra lgica simblica dar un predicado es establecer una funcin que produce una proposicin siempre que le demos un elemento del dominio de individuos, esto es, una funcin proposicional - valuada con dominio de individuos U . Seguimos nuestra prctica usual y denotamos tal funcin por P (x). La variable x en la expresin P (x) se llama variable libre del predicado. En tanto x vara en U los valores de verdad de P (x) pueden variar. En contraste, la proposicin x P (x) tiene un signicado jo y un valor de verdad que no vara con x. La variable x en x P (x) se llama variable acotada; est acotada por el cuanticador . Como x P (x) tiene un signicado jo y un valor de verdad sera intil y poco natural cuanticarla de nuevo. Esto es, sera vano introducir x[ x P (x)] y x[ x P (x)] ya que sus valores de verdad son los mismos que los de x P (x). Podemos tambin considerar predicados que son funciones de ms de una variable, posiblemente de ms de un dominio de individuos, y en tales casos el uso de varios cuanticadores resulta natural. Ejemplo 1.50 Con estos ejemplos en mente vamos a dar una descripcin ms detallada y formal. Sean U1 , U2 , ..., Un conjuntos no vacos. Un predicado de n argumentos sobre U1 x U2 x ... x Un es una funcin P (x1 , x2 , ..., xn ) con dominio de individuos U1 x U2 x ... x Un y los valores de la funcin son proposiciones. Las variables x1 , x2 , ..., xn para P (x1 , x2 , ..., xn ) son todas variables libres para el predicado y cada xj vara en su correspondiente dominio de individuos Uj . El trmino libre es la abreviacin de libre para sustitucin, queriendo decir que la variable xj est disponible en caso de que queramos sustituir un valor particular de Uj cada vez que aparezca xj . Si sustituimos xj por un valor, digamos que por ejemplo sustituimos x1 por a, en P (x1 , x2 , ..., xn ) obtenemos el predicado P (a, x2 , ..., xn ) que es libre en las restantes n 1 variables x2 , ..., xn pero ya no lo es en x1 . Al aplicar un cuanticador xj o xj a un predicado P (x1 , x2 , ..., xn ) obtenemos un predicado xj P (x1 , x2 , ..., xn ) o xj P (x1 , x2 , ..., xn ) cuyos valores dependen nicamente de las restantes n 1 variables. Decimos que el cuanticador liga la variable xj , haciendo que xj sea una variable acotada para el predicado. Al aplicar n cuanticadores, uno para cada variable, obtenemos que todas las variables estn acotadas y obtenemos una proposicin cuyo valor de verdad puede determinarse aplicando las reglas para x y x, para los dominios de individuos U1 , U2 , ..., Un . Ejemplo 1.51 Anteriormente notamos que un predicado de n argumentos se transforma en un predicado de (n 1) argumentos cuando se liga una de las variables con un cuanticador. Su valor de verdad depende de los valores de verdad de las restantes (n 1) variables libres y en particular no depende de qu nombre elijamos para llamar la variable acotada. De esta manera si P (x) es predicado de un argumento con dominio de individuos U , entonces x P (x), y P (y ) y z P (z ) tienen todas el mismo valor de verdad, es decir P (n), es verdadero para toda n en U y falso en cualquier otro caso. De manera semejante, si Q(x, y ) es un predicado de dos argumentos con dominio de individuos U y V , entonces y Q(x, y ), t Q(x, t) y s Q(x, s) describen todas el mismo predicado de un argumento, a saber, el predicado que es verdadero para una x dada en U si y slo si Q(x, V ) es verdadero para alguna V en V que es el dominio de la segunda variable. Por otro lado, el predicado x Q(x, x), no es el mismo que los tres ltimos. La diferencia consiste en
34
que el cuanticador en este caso liga las dos variables libres. Otra prctica comn es dar una descripcin del dominio de individuos justo despus de la variable cuanticada. Por ejemplo, en lugar de sea R el dominio de individuos ... x P (x) podramos escribi x R P (x). De manera similar, x R n P (xn > x) se lee como hay un nmero real x tal que para toda n en P, xn > x o como hay un nmero real x tal que xn > x para toda n en P.
1.4.1.
Leyes de la lgica de predicados
Las ideas de demostracin y de teorema que se discuti para el clculo proposicional, pueden extenderse al mbito del clculo de predicados. No es sorprendente que con ms expresiones posibles tengamos tambin mayores complicaciones. Una relacin moderadamente completa de este tema puede formar una parte sustancial de otro libro. En esta seccin nos limitaremos a discutir algunas de las ms bsicas y tiles conexiones entre los cuanticadores y los operadores lgicos. En el captulo anterior utilizamos la expresin proposicin compuesta de manera informal para describir proposiciones construidas a partir de proposiciones ms simples. Las leyes de la lgica de predicados que no se pueden obtener por medio de la sustitucin de las leyes de la lgica proposicional, son por ejemplo: 1. x P (x) P (a) x P (x) P (a) prueba que, si cada individuo de un conjunto posee una determinada propiedad P , entonces existe tambin un individuo determinado a que posee esta propiedad. P (a) x P (x) P (a) x P (x) prueba que, si un individuo determinado de un conjunto de individuos posee una determinada propiedad P , existe entonces, por lo menos un individuo a con esta propiedad.
2.
Toda expresin de la lgica proposicional con validez general puede convertirse en una expresin de la lgica de predicados con validez general, pero el recproco es falso. Podramos intentar obtener, por medio de la ssustitucin de una expresin de la lgica proposicional satisfactible sin validez general, una expresin de la lgica de predicados igualmente satisfactible, pero sin validez general. Pongamos por ejemplo en la neutralidad de la lgica proposicional P Q para la variable proposicional P = x[P (x) P (x)] y para de esta forma obtenemos la expresin x[P (x) P (x)] Q = x[P (x) P (x)]. Esta expresin es una contradiccin. Por el contrario resulta que: Toda expresin de la lgica proposicional, no ejecutable, satisfactible, es tambin una expresin de la lgica de predicados, no ejecutable, satisfactible. Algunas equivalencias de la lgica de predicados, que expresan la relacin que se establece entre los cuanticadores y reciben especial atencin. Una equivalencia de la lgica de predicados tiene Q = x[P (x) P (x)]
35
tanta validez general como una equivalencia de la lgica proposicional, si coinciden en cada caso los valores de verdad de ambos trminos en iguales sustituciones de sus variables. Se obtiene una proposicin verdadera en cada sustitucin de las variables del dominio, a partir de un conjunto no vaco dado, y en cada sustitucin de las variables del predicado P. Esta expresin es una forma, en la lgica de predicados del conocido teorema del tercer excluido de la lgica proposicional. Las identidades de la lgica de predicados (leyes) se pueden obtener de las identidades lgicas proposicionales si las variables son sustituidas por formas proposicionales de la lgica de predicados en las expresiones de la lgica proposicional correspondiente. En muchos casos nos encontramos que estas expresiones tienen que ver con formas proposicionales, que se han obtenido mediante la combinacin de dos o ms proposiciones como dos formas proposicionales. La traduccin de expresiones de la lgica de predicados en el lenguaje comn es generalmente ms fcil que la traduccin en direccin contraria. Sobre todo existen dicultades cuando se presentan, por ejemplo, dos o ms operadores. Teorema 1.15 Las siguientes equivalencias son vlidas: y x y P (x, y ) = y x P (x, y )
x y P (x, y ) = y x P (x, y )
Demostracin Para demostrar que x y P (x, y ) = y x P (x, y ) es una tautologa, debemos revisar que esta proposicin es verdadera para todos los dominios del discurso posibles. Por la denicin de , necesitamos revisar solamente que y x P (x, y ) es verdadera para un dominio dado si y slo si x y P (x, y ) es verdadera para ese dominio. Supongamos que x y P (x, y ) tiene valor verdadero. Entonces y P (x0 , y ) es verdadera para alguna x0 en el universo, por lo tanto P (x0 , y0 ) es verdadera para alguna y0 en el dominio. De ah que x P (x, y0 ) es verdadera y por lo tanto y x P (x, y ) es verdadera. La implicacin en la otra direccin es similar. Ms an, las dos proposiciones x y P (x, y ) y y x P (x, y ) son lgicamente equivalentes a la proposicin (x, y ) P (x, y ) donde (x, y ) vara sobre D1 x D2 , con D1 y D2 los dominios del discurso de las variables x e y respectivamente. Teorema 1.16 Es vlida la siguiente identidad: x y P (x, y ) = y x P (x, y ) Demostracin Para poder demostrar este teorema, asumimos que si la parte izquierda de esta proposicin es verdadero entonces existe x0 en el dominio de discurso tal que y P (x0 , y ) es verdadero y as P (x0 , y ) es verdadero para toda y. Por lo tanto, para cada y, x P (x, y ) es verdadero; de hecho la misma x0 sirve para cada y. Como x P (x, y ) es verdadero para toda y, el lado derecho de la proposicin tiene valor de verdad verdadero. De esta manera la proposicin es una tautologa. Por otra parte el recproco de esta proposicin, es decir y x P (x, y ) = x y P (x, y ) no es en general verdadero. Para enfatizar la diferencia, supongamos que x e y varan sobre un dominio D de tres elementos, digamos D = {a, b, c}. El predicado de 2 argumentos P (x, y ) tiene nueve posibles valores; P (a, a); P (a, b); P (a, c); P (b, a); P (b, b); P (b, c); P (c, a); P (c, b); P (c, c).
36
Entonces x y P (x, y ) es verdadero si y P (x0 , y ) es verdadero para alguna x0 . Como x0 tiene que ser igual a a, b o c vemos que x y P (x, y ) es verdadero si y slo si todas las proposiciones de una de las las dadas arriba son verdaderas. En contraste, y x P (x, y ) sera verdadera siempre que al menos una proposicin de cada columna sea verdadera. Por ejemplo si consideramos un predicado P (x, y ) con valores de verdad P (a, a) V P (a, b) F P (a, c) F P (b, a) F P (b, b) F P (b, c) V P (c, a) F P (c, b) V P (c, c) V
entonces y x P (x, y ) ser verdadera en tanto que x y P (x, y ) ser falsa. Para esta eleccin de predicado P (x, y ), x P (x, y ) es verdadera para toda y pero la x adecuada depende de la y , ninguna x nica sirve para toda y . Teorema 1.17 Las identidades siguientes son vlidas: x P (x) = x [P (x)]; x P (x) = x [P (x)]; x P (x) = x [P (x)]; x P (x) = x [P (x)].
Ejemplo 1.52 Las leyes de DeMorgan pueden utilizarse repetidamente para negar cualquier proposicin cuanticada w x y z P (w, x, y, z ) es sucesivamente lgica equivalente a w[x y z P (w, x, y, z )]; w x y [z P (w, x, y, z )]; w x[y z P (w, x, y, z )]; w x y z [P (w, x, y, z )];
Esto ilustra la regla general: La negacin de un predicado cuanticado es lgicamente equivalente a la proposicin que se obtiene al sustituir cada por y cada por y reemplazando el mismo predicado por su negacin. Ejemplo 1.53 La negacin de x y z (x < z < y ) es x y z [(x < z < y )]. Aplicando las leyes de DeMorgan vemos que la negacin es lgicamente equivalente a x y z [(z x) (z y )] Ejemplo 1.54 La negacin de x y (x < y x2 < y 2 ) es x y [(x < z x2 < y 2 )]. Aplicando las leyes de DeMorgan vemos que la negacin es lgicamente equivalente a x y [(x < y ) (x2 y 2 )]
37
1.4.2.
Interpretacin de frmulas en la lgica de predicados
En la lgica proposicional una interpretacin es una asignacin de valores de verdad a tomos. En la lgica de predicados, puesto que hay variables involucradas, hay que hacer ms que eso. Para denir una interpretacin para una frmula en la lgica de predicados, tenemos que especicar dos cosas, el dominio y una asignacin a constantes, smbolos de funcin y smbolos de predicado que ocurren en la frmula. A continuacin se da la denicin formal de interpretacin de una frmula en la lgica de predicados. Denicin 1.24 Interpretacin de una frmula Una interpretacin de una frmula G en la lgica de predicados, consicte de un dominio D no vaco, y una asignacin de valores a cada constante, smbolos de funcin, y smbolos de predicado que ocurre en G de la siguiente manera: 1. 2. 3. A cada constante asignamos un elemento en D; A cada smbolo de funcin asignamos una aplicacin de Dn a D, Dn = {x1 , x2 , ..., xn D} A cada smbolo de predicado asignamos una aplicacin de Dn a {V, F }.
Algunas veces para enfatizar el dominio D, hablaremos de una interpretacin de la frmula sobre D. Cuando evaluamos el valor de verdad de una frmula en una interpretacin sobre el dominio D, x ser interpretada como para todos los elementos x en D, y x como hay un elemento en D. Para cada interpretacin de una frmula sobre un dominio de individuos D, la frmula puede ser evaluada a V o F de acuerdo a las siguientes reglas: 1. Si los valores de verdad de las frmulas H y G son evaluadas, entonces los valores de verdad de las frmulas H, H G, H G, H G, H G son evaluadas de la siguiente manera: H V V F F 2. 3. G V F V F H F F V V HG V V V F HG V F F F HG V F V V HG V F F V
x H es evaluada a V si el valor verdadero de H es valuado a V para cada d D, de otra manera es evaluado a F. x H es evaluado a V si el valor de verdad de H es V para por lo menos un d D, de otra manera es evaluada a F.
Se puede notar fcilmente que cualquier frmula conteniendo variables libres no puede ser evaluada. En adelante asumiremos, ya sea que las frmulas no contienen variables libres o que las variables son tratadas como constantes. Ejemplo 1.55 Considere la frmula x y P (x, y ), D = {1, 2} P (1, 1) =V; P (1, 2) = F; P (2, 1) = F; P (2, 2) = V.
Si x = 1, podemos ver que hay un y tal que P (1, y ) es verdadero. Si x = 2 hay tambin un y denominado 2 tal que P (2, y ) es verdadero, por consiguiente en las interpretaciones de arriba, para cada x en D hay un y tal que P (x, y ) es verdadero, esto es x y P (x, y ) es verdadero en esta interpretacin.
38
Ejemplo 1.56 Considere la frmula x [P (x) Q(f (x), k )]. Hay una constante k , un smbolo de funcin f de un lugar, un smbolo de predicado P de un lugar, y un smbolo de predicado Q de dos lugares. La siguiente es una interpretacin I. Dominio D = {1, 2}. Asignacin para k : a = 1. Asignacin para f : f (1) = 2; f (2) = 1. Asignaciones para P y Q: P (1) = F ; Si x = 1, entonces P (x) Q(f (x), k ) = P (1) Q(f (1), k ) = P (1) Q(2, 1) = F F = V. Si x = 2, entonces P (x) Q(f (x), k ) = P (2) Q(f (2), k ) = P (2) Q(1, 1) = V V = V. Puesto que P (x) Q(f (x), k ) es verdadero para todos los valores de x en D, la frmula x [P (x) Q(f (x), k )] es verdadera bajo las interpretaciones I. Ejemplo 1.57 Evaluar los valores de verdad de las siguientes frmulas bajo las interpretaciones dadas en el ejemplo anterior. 1. 2. 3. x [P (f (x)) Q(x, f (k ))]; x [P (x) Q(x, k )]; x y [P (x) Q(x, y )]. P (2) = V ; Q(1, 1) = V ; Q(1, 2) = V ; Q(2, 1) = F ; Q(2, 2) = V.
Para 1): Si x = 1, entonces P (f (x)) Q(x, f (k )) = P (f (1)) Q(1, f (1)) = P (2) Q(1, f (1)) = P (2) Q(1, 2) = V V = V. Si x = 2, entonces P (f (x)) Q(x, f (k )) = P (f (2)) Q(2, f (1)) = P (1) Q(2, 1) = F F = F. Puesto que hay un elemento en el dominio D, esto es x = 1 tal que P (f (x))Q(x, f (k )) es verdadero, el valor de verdad de la frmula x [P (f (x)) Q(x, f (k ))] es verdadera bajo la interpretacin I. Para b): Si x = 1, entonces P (x) Q(x, k ) = P (1) Q(1, 1) = F V = F. Si x = 2, entonces P (x) Q(x, k ) = P (2) Q(2, 1) = V F = F. Puesto que no hay elemento en el dominio D tal que P (x) Q(x, k ) sea verdadero, la frmula x [P (x) Q(x, k )] es evaluada a falsa bajo la interpretacin I. Para c): Si x = 1, entonces P (x) = P (1) = F . Por consiguiente P (x) Q(x, y ) = F para y = 1 e y = 2. Puesto que existe un x, que es x = 1, la frmula y [P (x) Q(x, y )] es falsa, la frmula x y [P (x) Q(x, y )] es falsa bajo la interpretacin I, esto es, la frmula es falsicada por I.
39
Denicin 1.25 Frmula consistente Una frmula G es consistente (satisfactible) si y slo si existe una interpretacin I tal que G es evaluada verdadero en I. Si una frmula G es verdadera en una interpretacin I, decimos que I es un modelo de G e I satisface a G. Denicin 1.26 Frmula vlida Una frmula G es vlida si, y slo si cada interpretacin de G satisface a G. Denicin 1.27 Frmula inconsistente Una frmula G es inconsistente (insatisfactible) si y slo si, no existe una interpretacin que satisface a G. Las relaciones entre validez (inconsistencia) y consecuencias lgicas, como se indica en la lgica proposicional, son tambin verdaderas para la lgica de predicados. En efecto, la lgica de predicados puede ser considerada como una extensin de la lgica proposicional. Cuando una frmula en la lgica de predicados no contiene variables y cuanticadores, puede ser tratada justo como una frmula en la lgica proposicional. Ejemplo 1. 2. 3. 4. 1.58
x P (x) y P (y ) es inconsistente; x P (x) y P (y ) es vlido; P (k ) x P (x) es consistente; x P (x) y P (y ) es vlido.
En la lgica de predicados, puesto que hay un nmero innito de elementos en el dominio D, en general, hay un nmero innito de interpretaciones de una frmula. Por consiguiente al contrario de la lgica proposicional, no es posible vericar la validez e inconsistencia de una frmula, evaluando la frmula bajo todas las posibles interpretaciones.
1.4.3.
Forma normal prenexa
En la lgica proposicional hemos introducido dos formas normales, la forma normal conjuntiva y la forma normal disjuntiva. En la lgica de predicados hay una forma normal llamada forma normal Prenexa. La razn para considerar una forma normal Prenexa de una frmula es simplicar procedimientos de prueba. Denicin 1.28 Forma normal prenexa Una frmula G en la lgica de predicados se dice que es una forma normal Prenexa si y slo si, la frmula G est en la forma (Q1 x1 )(Q2 x2 )...(Qn xn )(M ) donde cada (Qi xi ), i = 1, 2, ..., n ya sea xi o xi , y M es una frmula que no contiene cuanticadores, (Q1 x1 )(Q2 x2 )...(Qn xn ) es llamada el prejo y M es llamada la matriz de la frmula G. Dada una frmula G, consideraremos un mtodo de transformarla en una forma normal Prenexa. Esto se logra primero considerando algunos pasos bsicos de frmulas equivalentes en la lgica de predicados. Recordemos que dos frmulas G y H son equivalentes si, y slo si los valores de verdad de G y H son los mismos bajo cada interpretacin.
40
Los pares bsicos de frmulas equivalentes dadas en la lgica proposicional son todava verdad para la lgica de predicados, adicionalmente hay otros pares de frmulas equivalentes conteniendo cuanticadores, y que se estudiaron en secciones anteriores. Consideraremos estos pares adicionales de frmulas equivalentes. Sea G una frmula que contiene una variable libre x, para enfatizar que la variable libre est en G, representamos G por G[x]. Sea H una frmula que no contiene variable x, tenemos los siguientes pares de frmulas equivalentes, donde Q es ya sea o : 1. 2. 3. 4. (Qx)G[x] H = (Qx)(G[x] H ); (Qx)G[x] H = (Qx)(G[x] H ); (xG[x]) = x(G[x]); (xG[x]) = x(G[x]). Las leyes 1 y 2 son obviamente verdaderas puesto que H no contiene x, por consiguiente puede ser introducida en el alcance del cuanticador Q. Las leyes 3 y 4 no son difciles de probar. Sea I cualquier interpretacin arbitraria sobre el dominio D. Si (x G[x]) es verdadera en I, entonces x G[x] es falsa en I. Esto signica que hay un elemento d en D tal que G[d] es falso. Esto es G[d] es verdadero en I. Por consiguiente, x (G[x]) es verdadera en I. Por otra parte si (x G[x]) es falsa en I, entonces x G[x] es verdadera en I. Esto signica que G[x] es verdadera para cada elemento x en D, esto es G[x] es falso para cada elemento x en D, por consiguiente, x (G[x]) es falsa en I. Puesto que (x G[x]) y x (G[x]) siempre asume el mismo valor de verdad para cada interpretacin arbitraria, por denicin, (x G[x]) = x (G[x]). As la ley 3 es probada e igualmente podemos probar la ley 4. Supongamos que F [x] y G[x] son dos frmulas que contienen x, 5. 6. x F [x] x G[x] = x (F [x] G[x]) x F [x] x G[x] = x (F [x] G[x]) Esto es, el cuanticador universal y el existencial , pueden distribuirse sobre y , respectivamente. Sin embargo el cuanticador universal y existencial no pueden distribuirse sobre y respectivamente. Esto es x F [x] x G[x] = x (F [x] G[x]) x F [x] x G[x] = x (F [x] G[x]) Para casos como estos tenemos que hacer algo especial. Puesto que cada variable ligada en una frmula puede ser considerada como una variable renombrable, cada variable x puede ser renombrada z , y la frmula x G[x] se transforma en z G[z ]. Supongamos que escogemos la variable z que no aparece en F [x]. Entonces x F [x] x G[x] = x F [x] z G[z ] = xz (F [x] G[z ]) Similarmente, renombrando todas las x que ocurren en x G[x] como z , podemos tener x F [x] x G[x] = x F [x] z G[z ] = xz (F [x] G[z ])
41
Por consiguiente, para estos dos casos podemos todava pasar todos los cuanticadores a la izquierda de la frmula. En general, tenemos 7. 8. (Q1 x)F [x] (Q2 x)G[x] = (Q1 x)(Q2 x)(F [x] G[z ]) (Q3 x)F [x] (Q4 x)G[x] = (Q3 x)(Q4 x)(F [x] G[z ])
donde Q1 , Q2 , Q3 y Q4 son ya sea o , y z no aparece en F [x]. Naturalmente si Q1 = Q2 = y Q3 = Q4 = , entonces no tenemos que renombrar las x en (Q2 x)G[x] o (Q4 x)G[x]. Podemos usar las leyes 5 y 6 directamente. Usando las leyes de la lgica proposicional y las leyes 1 - 8, podemos siempre transformar una frmula dada en forma normal Prenexa. La siguiente es una gua del procedimiento de transformacin: PASO 1: Use las leyes 1. 2. F G = (F G) (G F ); F G = F G; Para eliminar las conectividades lgicas y . PASO 2: Repetidamente use las leyes 3. 4. 5. 6. 7. (F ) = F; (F G) = F G; (G G) = F G; (x F [x]) = x (F [x]); (x F [x]) = x (F [x]); para traer los signos de negacin inmediatamente antes de los tomos. PASO 3: Renombrar las variables ligadas si es necesario. PASO 4: Use las leyes 8. 9. 10. 11. 12. 13. (Qx)F [x] G = (Qx)(F [x] G); (Qx)F [x] G = (Qx)(F [x] G); x F [x] x G[x] = x (F [x] G[x]); x F [x] x G[x] = x (F [x] G[x]); (Q1 x)F [x] (Q2 x)G[x] = (Q1 x)(Q2 x)(F [x] G[z ]); (Q3 x)F [x] (Q4 x)G[x] = (Q3 x)(Q4 x)(F [x] G[z ]). para mover los cuanticadores a la izquierda de la frmula y obtener una forma normal Prenexa.
CAPTULO 1. LGICA MATEMTICA Ejemplo 1.59 Solucin Transformar la frmula x P (x) x Q(x) en forma normal prenexa. x P (x) x Q(x) = x P (x) x Q(x) xP (x) x Q(x) = = x [P (x) Q(x)].
42
Ejemplo 1.60 Transformar la frmula x y {z [P (x, z ) P (y, z )] u Q(x, y, u)} en forma normal Prenexa. Solucin x y {z [P (x, z ) P (y, z )] u Q(x, y, u)} = x y {z [P (x, z ) P (y, z )] u Q(x, y, u)} = x y {z [P (x, z ) P (y, z )] u Q(x, y, u)} = x y z u {P (x, z ) P (y, z ) u Q(x, y, u)}.
1.4.4.
1.
Tarea
Sea A = {1, 2, 3, 4} el conjunto universal. Determine el valor de verdad de cada enunciado: a) x : x + 3 < 6; b) x : x2 10 8; c) x : x2 > 1 x + 2 = 0; 2 d) x : 2x + x = 15. Resp: a) Falso; b) Verdadero; c) Verdadero; d) Falso. Determine el valor de verdad de las siguientes proposiciones, siendo N el universo: a) x y (2y = x); b) y x (2x = y ); c) x y (2x = y ); d) y x (2y = x); e) x y [(2y = x)]. Resp: a) ; b) ; c) ; d) ; e) . Determine el valor de verdad de las siguientes proposiciones, siendo R el universo: a) x y (xy = 1); b) x y [(x + y )2 = x2 + y 2 ]; c) x y (x2 + y 2 + 1 = 2xy ); d) x y [(x + 2y = 4) (2x y = 2)]. Resp: a) ; b) ; c) ; d) . Determine el valor de verdad de las siguientes proposiciones, siendo R el universo: 2x1 1 a) x R x2 x; b) x R 2x = x; c) x R 4 x 2 = 2 ; d) x R x2 + 2x + 1 0. Resp: a) ; b) ; c) ; d) . Negar los siguientes enunciados: a) y p(y ) x(q (x)); b) x(p(x)) x q (x); c) x y (p(x, y ) q (x, y )). Resp: a) y p(y ) x q (x); b) x p(x) x(q (x)); c) y (p(x, y ) q (x, y )). Negar las siguientes armaciones: a) x y [(x + y es impar) (x es impar y es impar)]; b) x y (x + y = 5 y = x); c) x y (x < y x2 y ); d) x y z (x < y x + z = y ). Resp: a) ; b) ; c) ; d) . Averiguar el valor de verdad siendo U = R: a) x R (x < 0 x < 3); b) x R (x2 0 x4 = x3 ); 2 2 c) x R, y R (x + y = 1); d) x R, y R (y < x 2y < 10). Resp: a) Verdadero; b) Verdadero; c) Falso; d) Falso.
2.
3.
4.
5.
6.
7.
43
Considere el universo U de todos los profesores de ciencias bsicas. Sea P(x) el predicado a x le gusta la lgica matemtica: a) Exprese la proposicin no a todos los profesores de ciencias bsicas les gusta la lgica matemtica, utilizando smbolos de la lgica de predicados; b) Haga lo mismo para a todos los profesores de ciencias bsicas no les gusta la lgica matemtica; c) Escriba el signcado de x P (x) = x [P (x)] para U y P(x); d) Haga lo mismo con x P (x) x [P (x)]. = Resp: a) ; b) ; c) ; d) . Escriba la negacin de las siguientes frmulas: a) x P (x, x) [y z P (y, z ) x P (x, x)]; b) x y {x P (f (x, y ), y ) [x P (f (x, y ), y ) z [f (z, x) = y ]}; c) x [P (x) Q(x)] [x P (x) x Q(x)]; d) x y P (x, y ) y P (f (x, y ), y ); e) x y P (x, y ) y P (y, y ); f ) x [y x P (x, y ) Q(x)] [y x P (x, y ) Q(f (y, y ))]. Resp: a) ; b) ; c) ; d) ; e) ; f ) . Considere la siguiente interpretacin: D = {1, 2}. Asignaciones a las constantes k y t: k = 1 y t = 2. Asignaciones para la funcin f : f (1) = 2 y f (2) = 1. Asignaciones para el predicado P : P (1, 1) = V ; P (1, 2) = V ; P (2, 1) = F ; P (2, 2) = F . Evale el valor de verdad de las siguientes frmulas en cada interpretacin: a) P (k, f (k )) P (t, f (t)); b) x y P (y, x); c) x y [P (x, y ) P (f (x), f (y ))]. Resp: a) ; b) ; c) . Dadas las siguientes frmulas, hallar la correspondiente forma normal prenexa: a) x y [P (x, y ) P (y, x)]; b) x y {[P (x) P (y )] x = y }; c) x y (x = y ) [x P (x) x P (x)]. Resp: a) ; b) ; c) . Escriba la negacin de las siguientes frmulas: a) x [P (x) Q(x)] [x P (x) x Q(x)]; b) x y P (x, y ) y P (f (x, y ), y ); c) x y P (x, y ) y P (y, y ); d) x [y x P (x, y ) Q(x)] [y x P (x, y ) Q(f (y, y ))]; e) x [P (x) Q(x)] [P (x) Q(x)]; f ) x y P (f (y, x), x) y P (f (y, f (z, x)), f (z, x)); g) x P (x, x) [y z P (y, z ) x P (x, x)]; h) x y {x P (f (x, y ), y ) [x P (f (x, y ), y ) z [f (z, x) = y ]}. Resp: a) ; b) ; c) ; d) ; e) ; f ) ; g) ; h) .
9.
10.
11.
12.

Logica Matematica PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Matematica PDF

Cargado por

Copyright:

Formatos disponibles

Captulo 1

CAPTULO 1. LGICA MATEMTICA

Operaciones entre proposiciones lgicas

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA Teorema 1.1 Toda proposicin es verdadera o falsa.

CAPTULO 1. LGICA MATEMTICA proposicin implicacin se reeran al mismo tema.

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA 3.

CAPTULO 1. LGICA MATEMTICA 21.

CAPTULO 1. LGICA MATEMTICA

Construccin de tablas de verdad

Sea G = [(P Q) Q] P), construir la correspondiente tabla de verdad: P V V F F Q V F V F PQ V F V F (P Q) Q F F V F G V V V V

Sea G = [(P Q) P] Q), construir la correspondiente tabla de verdad: P V V F F Q V F V F PQ V V V F (P Q) P F F V F G V V V V

Sea G = (P Q) (Q P), construir la correspondiente tabla de verdad: P V V F F Q V F V F PQ V F V V QP V F V V G V V V V

CAPTULO 1. LGICA MATEMTICA Ejemplo 1.25 de verdad: P V V F F

Sea G = (P Q) [(P Q) (Q P)], construir la correspondiente tabla Q V F V F PQ V F F V PQ V F V V QP V V F V (P Q) (Q P) V F F V G V V V V

Operaciones con frmulas lgicas y sus propiedades

CAPTULO 1. LGICA MATEMTICA

Dado que G1 = (P Q) R y G2 = P (Q R), entonces P V V V V F F F F Q V V F F V V F F R V F V F V F V F (P Q) R V V V V V V V F P (Q R) V V V V V V V F (P Q) R V F F F F F F F P (Q R) V F F F F F F F G1 V F F V F V V F G2 V F F V F V V F

CAPTULO 1. LGICA MATEMTICA P V F Teorema 1.6 PQ V V PV V V PF V F PP F F PV V F PF F F

Las equivalencias siguientes PQ = Q P; P Q = Q P; P Q = Q P P Q =QP

son identidades de la lgica proposicional. Demostracin P V V F F Q V F V F PQ V F V V QP V F V V QP F V V V PQ V V V F QP V V V F QP V V F V

Las equivalencias siguientes (P Q) = P Q; (P Q) P = P; (P Q) Q = Q; PQ = P Q; (P Q) = P Q (P Q) P =P (P Q) Q =Q

son identidades de la lgica proposicional. Demostracin P V V F F Q V F V F (P Q) F F F V PQ F F F V (P Q) F V V V PQ V F V V P Q F V V V (P Q) P V V F F (P Q) P V V F F

CAPTULO 1. LGICA MATEMTICA P V V V V F F F F Q V V F F V V F F R V F V F V F V F P (Q R) V V V F F F F F (P Q) (P R) V V V F F F F F (Q R) P V V V F F F F F (Q P) (R P) V V V F F F F F

CAPTULO 1. LGICA MATEMTICA

Utilizando las leyes de la lgica proposicional, demostrar que: (P Q) (P Q) = (P Q) (P Q).

Utilizando las leyes de la lgica proposicional, demostrar que: [(P Q) P] (P Q) = P Q.

Solucin [(P Q) P] (P Q) = = [(P Q) P] (P Q)

CAPTULO 1. LGICA MATEMTICA

Por lo tanto G si es tautologa.

Por lo tanto G no es tautologa.

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA dada es o no una identidad de la lgica proposicional.

CAPTULO 1. LGICA MATEMTICA

Por lo tanto G no es una frmula vlida.

CAPTULO 1. LGICA MATEMTICA

Pruebe si G es consecuencia lgica de G1 y G2 . Solucin

CAPTULO 1. LGICA MATEMTICA

Lo cual indica que G es consecuencia lgica de G1 y G2 . Ejemplo 1.47 Sean G1 G2 G3 G P Q) QR R R

Por lo tanto, concluimos que el teorema es verdadero. Ejemplo 1.48 Sean G1 G2 G P (Q R) (P S) R Q

Pruebe si G es consecuencia lgica de G1 y G2 . Solucin

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA 9.

Expresiones de la lgica de predicados

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA

Leyes de la lgica de predicados

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA

Interpretacin de frmulas en la lgica de predicados

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA

x P (x) y P (y ) es inconsistente; x P (x) y P (y ) es vlido; P (k ) x P (x) es consistente; x P (x) y P (y ) es vlido.

Forma normal prenexa

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA

CAPTULO 1. LGICA MATEMTICA 8.

También podría gustarte