TEMA I INTRODUCCIN A LA LGICA

Policarpo Abascal Fuentes

TEMA I Introducci on a la l ogica p. 1/6

TEMA 1
1. INTRODUCCIN A LA LGICA 1.1 INTRODUCCIN 1.2 LGICA PROPOSICIONAL 1.2.1 Conexiones lgicas 1.2.2 Proposiciones condicionales 1.2.3 Tablas de verdad 1.2.4 Jerarqua de los conectores 1.2.5 Ejemplos de proposiciones compuestas 1.2.6 Lgica y operaciones con bits

TEMA I Introducci on a la l ogica p. 2/6

TEMA 1
1.3 EQUIVALENCIAS PROPOSICIONALES 1.3.1 Tautologas y Contradicciones 1.3.2 Equivalencias lgicas. Leyes de la lgica 1.4 CUANTIFICADORES 1.5 MTODOS DE DEMOSTRACIN 1.5.1 Introduccin 1.5.2 Reglas de inferencia 1.5.3 Falacias 1.5.4 Mtodos para demostrar teoremas

TEMA I Introducci on a la l ogica p. 3/6

1. INTRODUCCIN A LA LGICA
Bibliograf a
Rosen K.H., Matemtica discreta y aplicaciones, Editorial McGraw-Hill Johnsonbaugh, R., Matemticas discretas, Prentice Hall Grassman, W.K. and Tremblay, J.P., Matemtica discreta y Lgica, Prentice Hall

TEMA I Introducci on a la l ogica p. 4/6

1.1 INTRODUCCIN
Denici on La L ogica es el estudio del razonamiento, en particular, se analiza si un razonamiento es correcto. La Lgica se centra en las relaciones entre los enunciados y no en el contenido de ellos. Ejemplo Es de mala educacin que un hombre tenga la cabeza cubierta en un recinto cerrado. Hay un alumno en este aula con una gorra en la cabeza. Conclusi on El alumno es un mal educado.

TEMA I Introducci on a la l ogica p. 5/6

1.2 LGICA CIONAL

PROPOSI-

Denici on Una proposici on es la mnima unidad del lenguaje con contenido de informacin sobre la que es posible pronunciarse con un verdadero o con un falso. Cuando es cierta se le atribuye el valor lgico 1 V y si es falsa 0 F. Las proposiciones mas sencillas posible se denominan at omicas y se representan habitualmente con letras minsculas a partir de la p. Una proposicin expresada como una cadena de caracteres se denomina expresi on l ogica f ormula. P Q

TEMA I Introducci on a la l ogica p. 6/6

1.2 LGICA CIONAL

Ejemplos

PROPOSI-

"Es esto verdadero?" no es una proposicin. "Juan es un nombre" es una proposicin. "8 es un nmero primo" es una proposicin. "8 no es un nmero primo" es una proposicin.

TEMA I Introducci on a la l ogica p. 7/6

1.2 LGICA CIONAL

PROPOSI-

Denici on Las proposiciones constituidas por proposiciones atmicas y otras partculas que sirven de nexo se llaman moleculares o compuestas y se representan habitualmente con letras maysculas a partir de la P. Ejemplos
Federico es alto y Jaime tambin. Federico y Jaime son altos. Las manzanas son verdes o amarillas. Mozambique es un pas o una ciudad. Juan no es alto.

TEMA I Introducci on a la l ogica p. 8/6

1.2.1 Conexiones lgicas

Denici on Un conector l ogico es una partcula que se utiliza para formar las proposiciones moleculares, es decir, un elemento del lenguaje que permite construir frases nuevas a partir de las existentes, obteniendo as nuevos signicados.

TEMA I Introducci on a la l ogica p. 9/6

1.2.1 Conexiones lgicas

Denici on Si p y q son proposiciones La disyunci on (o inclusiva) p q es falsa slo cuando son falsas simultneamente p y q . La conjunci on (y) p q es cierta slo cuando son ciertas simultneamente p y q . El conector (o exclusivo) (XOR) p q es verdadero cuando exactamente una de las dos proposiciones p q es cierta y falsa en otro caso. La negaci on (no) p es cierta slo cuando es falsa p. Ejemplos

TEMA I Introducci on a la l ogica p. 10/6

1.2.2 Proposiciones cionales

Denici on Si p y q son proposiciones

condi-

p q slo es falsa cuando p es cierta y q falsa; en el resto de casos es verdadera. p es la hiptesis (o antecedente) y q es la conclusin (o consecuente). Ejemplos
Si Mara estudia mucho ser buena estudiante. Juan puede cursar Matemtica Aplicada a la Seguridad en Redes

Informticas slo si est en tercer curso de carrera.

Que Julio visite las Casas Colgantes es una condicin suciente

para que visite Cuenca.

TEMA I Introducci on a la l ogica p. 11/6

1.2.2 Proposiciones cionales

Ejemplo

condi-

Estructuras si-entonces o si-entonces-sino Si p es una sentencia relacional y q y r son enunciados ejecutables Si p entonces q si p es cierta se ejecuta q si p es falsa se sigue a la sentencia siguiente Si p entonces q sino r si p es cierta se ejecuta q si p es falsa se ejecuta r y sigue a la sentencia siguiente if a > 1 n=n+1; else n=n-1; end

TEMA I Introducci on a la l ogica p. 12/6

1.2.2 Proposiciones cionales

Nota Dos proposiciones importantes son:
F Q QV

condi-

Ambas dan lugar a V. Denici on La inversa de una proposicin condicional p q es la proposicin p q Denici on La recproca de una proposicin condicional p q es la proposicin q p Denici on El contrarecproco o trasposicin de una proposicin condicional p q es la proposicin q p

TEMA I Introducci on a la l ogica p. 13/6

1.2.2 Proposiciones cionales

Denici on Si p y q son proposiciones

condi-

p q es cierta slo si p y q tienen el mismo valor de verdad. Formas alternativas

"p es condicin necesaria y suciente para q ".

"p ssi q ".

TEMA I Introducci on a la l ogica p. 14/6

1.2.3 Tablas de Verdad

Denici on Una tabla de verdad de una proposicin da los valores verdaderos de la proposicin para todas las asignaciones posibles. p V V F F q V F V F pq V V V F pq V F F F pq F V V F p F F V V p q V F V V p q V F F V

TEMA I Introducci on a la l ogica p. 15/6

1.2.4 Jerarqua de conectores

TEMA I Introducci on a la l ogica p. 16/6

1.2.6 Lgica y operaciones con bits

x 1 1 0 0 01 11 11 01 10 y xy xy xy 1 1 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0110 1101 1111 operacin OR 0100 operacin AND 1011 operacin XOR

1011 0001 1011 0001 1010

TEMA I Introducci on a la l ogica p. 17/6

1.3 Equivalencias cionales

proposi-

1.3.1 Tautolog as y contradicciones

Denici on Una expresin lgica es una tautologa si es verdadera para todas las asignaciones posibles. Denici on Una expresin lgica es una contradiccin si es falsa para todas las asignaciones posibles. Se suele representar mediante el smbolo . Denici on Una expresin lgica que no sea una tautologa ni una contradiccin se denomina contingencia (casualidad/eventualidad).

TEMA I Introducci on a la l ogica p. 18/6

1.3.1 Tautologas y contradicciones

Ejemplo: Tabla de verdad de (P Q) Q

P V V F F

Q V F V F

P Q V F F F

(P Q) F V V V

(P Q) Q V V V V

TEMA I Introducci on a la l ogica p. 19/6

1.3.1 Tautologas y contradicciones

Notaci on Si P Q es una tautologa se le llama implicaci on y se escribe P Q Si P Q es una tautologa se dice que es una doble implicaci on, se escribe P Q A es una tautologa se suele escribir |= A. |= (P Q) Q Ley del medio excluido |= P P

TEMA I Introducci on a la l ogica p. 20/6

1.3.1 Tautologas y contradicciones

P Q P Q [(P Q) (Q R)] (P Q) P [(P Q) P ] [(P Q) Q] P P Q (P Q) (P R ) Q Q P Simplicacin Adicin Condicional Silogismo Hipottico Silogismo Disyuntivo Modus Ponens Modus Tollens

Ejemplo Silogismo Disyuntivo

TEMA I Introducci on a la l ogica p. 21/6

1.3.1 Tautologas y contradicciones

P V F P F V P P F F

P V V F F

Q V F V F

P Q V V V F

(P Q) P F F V F

(P Q) P Q F F F F

TEMA I Introducci on a la l ogica p. 22/6

1.3.2 Equivalencias Leyes de la lgica

lgicas.

Denici on Dos formas proposicionales P y Q se dicen lgicamente equivalentes, y se escribe P Q, si sus tablas de verdad coinciden. Nota Esto equivale a decir que P Q es una tautologa; as, P Q es lo mismo que decir P Q.

El programa est bien escrito y bien documentado. El programa est bien documentado y bien escrito.

TEMA I Introducci on a la l ogica p. 23/6

1.3.2 Equivalencias Leyes de la lgica

Leyes de De Morgan
1. (p q ) p q 2. (p q ) p q p V 1. V F F q V F V F ( p q) F F F V

lgicas.

p q F F F V

2. La otra armacin se deja como ejercicio.

TEMA I Introducci on a la l ogica p. 24/6

1.3.2 Equivalencias Leyes de la lgica

lgicas.

Transposici on o contrarec proco

Denici on La contrarrecproca o trasposicin de una proposicin condicional p q es la proposicin q p Teorema La proposicin condicional p q y su contrarrecproca q p son lgicamente equivalentes. p V V F F q V F V F pq V F V V q p V F V V

TEMA I Introducci on a la l ogica p. 25/6

1.3.2 Equivalencias Leyes de la lgica

P Q P Q P V V F F Q V F V F P Q V F V V

lgicas.

Eliminaci on de Condicionales

P Q V F V V

TEMA I Introducci on a la l ogica p. 26/6

1.3.2 Equivalencias Leyes de la lgica

lgicas.

Eliminaci on de Bicondicionales
P Q ( P Q) (P Q) P Q (P Q) ( P Q) P V V F F Q V F V F P Q V F V V P Q V V F V ( P Q) (P Q) V F F V

TEMA I Introducci on a la l ogica p. 27/6

1.3.2 Equivalencias Leyes de la lgica

Leyes P P V P P F P F P P V P P V V P F F P P P P P P Nombre

lgicas.

Ley de medio excluido Ley de contradiccin Leyes de identidad

Leyes de dominacin

Leyes de idempotencia

TEMA I Introducci on a la l ogica p. 28/6

1.3.2 Equivalencias Leyes de la lgica

Leyes ( P ) P P QQP P QQP (P Q) R P (Q R) (P Q) R P (Q R) P (Q R) (P Q) (P R) P (Q R) (P Q) (P R) (P Q) P Q (P Q) P Q

lgicas.
Nombre Doble negacin Conmutativas

Asociativas

Distributivas

Leyes de De Morgan

TEMA I Introducci on a la l ogica p. 29/6

1.3.2 Equivalencias Leyes de la lgica

Leyes de absorci on
P (P Q) P P (P Q) P

lgicas.

P (P Q) (P V ) (P Q) Ley de identidad P (V Q) P V P

Ley distributiva

Ley de dominacin

Ley de identidad

Otras leyes
(P Q) ( P Q) Q (P Q) ( P Q) Q

TEMA I Introducci on a la l ogica p. 30/6

1.4 Cuanticadores
Denici on Sea P (x) un enunciado que contiene una variable que llamaremos x y sea D un conjunto. P es una funcin proposicional con respecto a D si para cada x en D, P (x) es una proposicin. Se dice que D es el dominio de discurso de P . Ejemplos
n2 + 2n es un nmero impar. (I N ). x2 x 6 = 0. (I R). El hotel se catalog como de tres estrellas. Considrese como

dominio de discurso el conjunto de todos los hoteles de una regin.

TEMA I Introducci on a la l ogica p. 31/6

1.4 Cuanticadores
Cuanticador Universal
Denici on Sea A una expresin y sea x una variable. Si deseamos indicar que A es verdadero para todos los posibles valores de x, escribiremos xA. x se denomina cuanticador universal, y A se denomina mbito o alcance del cuanticador. Ejemplo Todo el mundo tiene buena suerte de vez en cuando. B "tener buena suerte de vez en cuando" B (x) "x tiene buena suerte de vez en cuando" xB (x) en el conjunto de los seres humanos.

TEMA I Introducci on a la l ogica p. 32/6

1.4 Cuanticadores
Cuanticador Existencial
Denici on Sea A una expresin y x una variable. Si deseamos indicar que A es verdadero para al menos un valor de la variable x, escribiremos xA. se denomina cuanticador existencial, y A es el mbito o alcance del cuanticador existencial. Ejemplo Hay una persona que ha irrumpido en el aula con malos modales. B "irrumpir en el aula con malos modales" B (x) "x irrumpe en el aula con malos modales" xB (x) en el conjunto de los seres humanos.

TEMA I Introducci on a la l ogica p. 33/6

1.4 Cuanticadores
Para cada nmero real x, si x > 1, entonces x + 1 > 1 Cualquiera que sea x I R si x > 1, entonces x + 1 > 1 Sea x un nmero real. Es cierto que para cualquiera que sea el nmero real x, x 1 x > 1.
Si x 1 Si x > 1

Para cada nmero entero positivo x, si x es par, entonces x2 + x + 19 no es mltiplo de 19 x = 18 x = 38

TEMA I Introducci on a la l ogica p. 34/6

1.4 Cuanticadores
Leyes de De Morgan generalizadas
Si P es una funcin proposicional, cada par de proposiciones en 1 y 2 tiene el mismo valor de verdad 1. ( x, P (x)); x, P (x) 2. ( x, P (x)); x, P (x)

TEMA I Introducci on a la l ogica p. 35/6

1.4 Cuanticadores
Resumiendo:
x, P (x) es verdadera si para cada x en el dominio de discurso

P (x) es cierta.
x, P (x) es verdadera si hay algn x en el dominio de discurso

para el que P (x) es cierta. Basta un solo valor.

x, P (x) es falsa si hay un valor de x en el dominio de discurso

para el que P (x) es falsa. Basta un solo valor.

x, P (x) es falsa si para cada x en el dominio de discurso P (x)

es falsa.

TEMA I Introducci on a la l ogica p. 36/6

1.5 Mtodos de demostracin

1.5.1 Introducci on
Sistema Matemtico

Axiomas, deniciones y trminos no denidos Se suponen ciertos los axiomas. Las deniciones se utilizan para crear conceptos nuevos en trminos de los ya existentes. Algunos trminos no se denen en forma explcita, sino que se denen en forma implcita en los axiomas. Un teorema es una proposicin cuya verdad se ha demostrado. Algunos tipos especiales de teoremas se conocen por lemas o corolarios.

TEMA I Introducci on a la l ogica p. 37/6

1.5.2 Reglas de inferencia

Denici on Un argumento es una serie de proposiciones que se escriben p1 p2 . . . pn q Las proposiciones p1 , p2 , . . . , pn son las hip otesis o premisas y la proposicin q es la tesis o conclusi on. p1 , p2 , . . . , pn / q p1 p2 . . . p n / q

TEMA I Introducci on a la l ogica p. 38/6

1.5.2 Reglas de inferencia

Un argumento lgico es v alido si la conclusin se deduce lgicamente de las premisas, es decir, siempre que sean ciertas las premisas entonces tambin lo es la conclusin. En caso contrario, el argumento no es vlido.

Un argumento que establece la veracidad de un teorema es una demostraci on y la lgica es una herramienta para el an alisis de las demostraciones.

TEMA I Introducci on a la l ogica p. 39/6

1.5.2 Reglas de inferencia

La mayora de los argumentos utilizados en la prctica son informales. Los argumentos formales derivaciones o demostraciones formales. Todos tienen en comn
Una lista de argumentos lgicos admisibles llamados reglas de

inferencia.
La derivacin por s misma, que es una lista de expresiones

lgicas
Originalmente la lista es vaca Se aaden las reglas que se utilizan Se llega a la conclusin

TEMA I Introducci on a la l ogica p. 40/6

1.5.2 Reglas de inferencia

Leyes P, Q |= P Q P Q |= Q P Q |= P P |= P Q Q |= P Q P, P Q |= Q Q, P Q |= P P Q, Q R |= P R Nombre Ley de combinacin Ley de simplicacin

Variante de la Ley de simplicac Ley de adicin Variante de la Ley de adicin

Modus ponens (Mtodo de armac

Modus tollens (Mtodo de negaci Silogismo hipottico

TEMA I Introducci on a la l ogica p. 41/6

1.5.2 Reglas de inferencia

Leyes P Q, P |= Q P Q, Q |= P P QQP P Q, P Q |= Q P Q |= P Q P Q |= Q P P Q, Q P |= P Q P, P |= Q Sin premisas |= P P Nombre Silogismo disyuntivo Variante del Silogismo disyuntivo Leyes conmutativas Ley de casos Eliminacin de equivalencia Eliminacin de equivalencia Introduccin de la equivalencia Ley de inconsistencia

TEMA I Introducci on a la l ogica p. 42/6

1.5.3 Falacias
Las falacias parecen reglas de inferencia pero estn basadas en contingencias y no en tautologas.

TEMA I Introducci on a la l ogica p. 43/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on vac a Si la hiptesis p de una implicacin p q es falsa, entonces la implicacin es verdadera Ejemplo Si P (n) es la funcin proposicional "Si n > 1 entonces n2 > n" Mostrar que P (0) es verdadera. P (0) es Si 0 > 1 entonces 02 > 0 y como la hiptesis es falsa la implicacin es automticamente cierta.

TEMA I Introducci on a la l ogica p. 44/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on trivial Si la conclusin q de una implicacin p q es cierta entonces la implicacin es verdadera Ejemplo Sea P (n) si a es un nmero real positivo tal que 0 < a < 1, entonces (1 + a)n 1 + na. Demostremos que P (0) es verdadero. P (0) es si a es un nmero real positivo tal que 0 < a < 1, entonces (1 + a)0 1 + 0a. Como 1 = (1 + a)0 1 + 0a = 1, la conclusin P (0) es cierta. Observemos que no hemos utilizado la hiptesis de la implicacin (0 < a < 1).

TEMA I Introducci on a la l ogica p. 45/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on directa
Teorema de la deducci on Para demostrar A B en matemticas, se utiliza con frecuencia el siguiente argumento:
Se supone A, y se aade A a las premisas. Se demuestra B , utilizando A, si fuera necesario. Se prescinde de A, lo que signica que A no es necesariamente

cierta, y se escribe A B .

TEMA I Introducci on a la l ogica p. 46/6

1.5.3 Mtodos para demostrar teorema

Demostraci on directa Ejemplo: Demostrar el Silogismo Hipottico
anterior y el Modus Ponens. Derivacin formal 1. P Q 2. Q R 3. P 4. Q 5. R 6. P R Regla Premisa Premisa Hiptesis 1,3 y MP 2,4 y MP Teorema R est demostrado ahora Se deja de suponer cierto P . Se supone cierta P Comentario utilizando el teorema

Ya se puede concluir el silogismo

TEMA I Introducci on a la l ogica p. 47/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on directa Ejemplo:
Si n es un entero impar entonces n2 es un entero impar. Si n es impar, n = 2k + 1 con k entero y, entonces, n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k ) + 1

TEMA I Introducci on a la l ogica p. 48/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on por casos Para demostrar (p1 p2 . . . pn ) q podemos utilizar la tautologa [(p1 p2 . . . pn ) q ]

[(p1 q ) (p2 q ) . . . (pn q )]

TEMA I Introducci on a la l ogica p. 49/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on por casos Ejemplo Si n es un nmero positivo entero cualquiera y N = n(n + 2)(5n 1)(5n + 1), entonces N es mltiplo de 8. As hemos probado que p1 q y p2 q son ciertos y por tanto (p1 p2 ) q tambin, y como p1 p2 equivale a p, se concluye que p q es verdadero.

TEMA I Introducci on a la l ogica p. 50/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on indirecta Se pretende probar la implicacin p q viendo que su contrarrecproca, q p, es verdadera Ejemplo Si 3n + 2 es impar, entonces n es impar. Supongamos que n es par, entonces n = 2k para algn entero k . As 3n + 2 = 3(2k ) + 2 = 2(3k + 1) que es par por ser mltiplo de 2. Como la negacin de la conclusin implica que la hiptesis es falsa, hemos probado la contrarrecproca de nuestra implicacin. Luego la implicacin original es verdadera.

TEMA I Introducci on a la l ogica p. 51/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on por reducci on al absurdo La tcnica sera la siguiente: Se supone cierto A. Se demuestra que esta hiptesis conduce a contradiccin. Se concluye A.

TEMA I Introducci on a la l ogica p. 52/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on por reducci on al absurdo Ejemplo:Demostrar P Q y P Q, entonces P .
Derivacin formal 1. P Q 2. P Q 3. ( P ) = P 4. Q 5. Q 6. Q Q Regla Premisa Premisa Hiptesis 1,3 y MP 2,3 y MP 4,5 y C Tenemos la contradiccin buscada. Se supone falsa la conclusin P Comentario

Puesto que P conduce a contradiccin se concluye P

TEMA I Introducci on a la l ogica p. 53/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on de una doble implicaci on
Las equivalencias son muy importantes en cualquier teora. En Matemticas, se suele utilizar la siguiente tcnica para la demostracin de equivalencias:
Se supone cierto A. Se demuestra B . Se tiene A B , se prescinde de A. Se supone cierto B . Se demuestra A. Se tiene B A, se prescinde de B . Se concluye A B .

TEMA I Introducci on a la l ogica p. 54/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on de una doble implicaci on Ejemplo Un nmero entero n es par si y slo si su cuadrado n2 es par. Sean py q , las proposiciones n es par y n2 es par, respectivamente. Veamos que p q . Primero veamos p q . Si n es par, entonces n = 2r para algn entero r, y n2 = 4r2 que es par. Ahora veamos p q . Para ello podemos utilizar un razonamiento indirecto. Si n no es par, entonces n = 2r + 1 para algn r, luego n2 = (2r + 1)2 = 4r2 + 4r + 1 = 4(r2 + r) + 1 que es impar.

TEMA I Introducci on a la l ogica p. 55/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on de equivalencias multiples Para demostrar que n proposiciones tienen los mismos valores de verdad, es decir que son equivalentes, podemos utilizar la siguiente tautologa: [p1 p2 . . . pn ] (p1 p2 ) (p2 p3 ) . . . (pn1 pn ) (pn p1 )

TEMA I Introducci on a la l ogica p. 56/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on de equivalencias multiples Ejemplo: Si n es un natural, entonces las siguientes armaciones son equivalentes: - 5 es divisor de n - 5 es divisor de n2 - 5 no es divisor de n2 1 ni de n2 + 1 Queremos ver p1 p2 p3 pero vamos a demostrar (p1 p2 ) (p2 p3 ) (p3 p1 )

TEMA I Introducci on a la l ogica p. 57/6

1.5.3 Mtodos para demostrar teoremas

Demostraci on de equivalencias multiples Ejemplo: [p3 p1 ] Entre los 5 nmeros consecutivos n 2, n 1, n, n + 1 y n + 2, uno ha de ser mltiplo de 5. Como 5 no es divisor de n2 1, tampoco de n 1 ni de n + 1. Si fuese divisor de n 2, entonces n sera de la forma n = 5m + 2 y n2 = 25m2 + 20m + 4 resultando ser n2 + 1 mltiplo de 5, lo que no puede ser por hiptesis. Igual para n + 2. Por lo tanto se deduce que debe ser divisor de n

TEMA I Introducci on a la l ogica p. 58/6