Вы находитесь на странице: 1из 41

Cap tulo 1: Fundamentos: Lgica y o Demostraciones Clase 1: Lgica Proposicional o

Matemtica Discreta - CC3101 a Profesor: Pablo Barcel o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

1 / 30

Qu es la lgica? e o
La lgica es el estudio de las leyes del pensamiento (Kant, 1785). o En la actualidad se considera que la lgica es el estudio de qu es o e lo que hace que un argumento se considere correcto (en forma y no en contenido). En otros trminos, de cundo una conclusin se deduce e a o lgicamente de ciertas premisas. o Ejemplo: Es el siguiente argumento vlido? a Todos los hombres son mortales. Scrates es hombre. o Por lo tanto, Scrates es mortal. o Hay algo en este argumento que dependa de Scrates mismo? o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

2 / 30

Ejemplo de razonamiento lgico o

Ejercicio: Cul es la forma del siguiente argumento? a Si Pedro estudia en el DCC o en el CMM, entonces tomar CC4OC. a Pedro estudia en el DCC. Por tanto, Pedro tomar CC4OC. a

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

3 / 30

Ejemplo de razonamiento lgico o

Ejercicio: Cul es la forma del siguiente argumento? a Si Pedro estudia en el DCC o en el CMM, entonces tomar CC4OC. a Pedro estudia en el DCC. Por tanto, Pedro tomar CC4OC. a

(p q) r p r

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

3 / 30

Aplicaciones de la lgica en CS o

La lgica es la base de todo el razonamiento matemtico, y o a tambin de todo el razonamiento automatizado. e Tiene aplicaciones prticas en CS en los siguientes campos (entre a muchos otros):

Diseo de hardware; n ingenier de software; a bases de datos; inteligencia articial; lenguajes de programacin. o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

4 / 30

Lgica proposicional o

Empezaremos con el ejemplo ms bsico de lenguaje lgico: la a a o lgica proposicional. o Esta est construida a partir de proposiciones, que son oraciones a que son verdaderas o falsas (pero no ambas).
6 Santiago es la capital de Chile, (1 + 1 = 3), (1 + 1 = 3 ).

Las siguientes, en cambio, no son proposiciones:

Qu hora es?, (x + 1 = 2). e

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

5 / 30

Valores de verdad

Nos evitaremos problemas semnticos, y denotaremos nuestras a proposiciones por letras minsulas p, q, r , . . . , p1 , p2 , . . . . u Cada proposicin tiene un valor de verdad asignado, que puede ser o 1 (si la proposicin es verdadera) o 0 (si la proposicin es falsa). o o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

6 / 30

Oraciones
o Una oracin se construye a partir de las proposiciones p, q, r , . . . , usando adems tres s a mbolos nuevos: , , .

Dada una proposicin p, la oracin p denota que p es o o o falso. Se llama la negacin de p. Dadas proposiciones p y q, la oracin p q denota que p o o o q, y se llama la disyuncin de p y q. Dadas proposiciones p y q, la oracin p q denota que p y o q, y se llama la conjuncin de p y q. o

En general los s mbolos , , se aplican no slo a las o proposiciones sino tambin a las oraciones: e

((p (q r ))) s, (p q) r .

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

7 / 30

Parntesis e

En las oraciones anteriores utilizamos parntesis para evitar e ambiguedades en el orden de aplicacin de los s o mbolos , , :

Qu signica p q r ? e

Usualmente asumimos que siempre se aplica antes que cualquier otra operacin, y por tanto, p q es lo mismo que (p) q. o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

8 / 30

Traducciones

Con los nuevos conectivos podemos traducir muchas de nuestras oraciones en espaol al lenguaje de la lgica proposicional. n o
p

Por ejemplo, Juan es alto pero aco puede traducirse como q , donde:

p = Juan es alto. q = Juan es aco.

o a Ejercicio: Cmo traducir Juan no es alto ni aco?

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

9 / 30

Tablas de verdad

Las oraciones se forman entonces desde las proposiciones, usando los s mbolos , and . Pero las oraciones como las proposiciones tambin tienen un valor e de verdad: deben ser verdaderas (1) o falsas (0). La idea es que el valor de verdad de una oracin se puede o determinar unicamente a partir del valor de verdad de las proposiciones que la componenen y de las tablas de verdad de los s mbolos , and .

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

10 / 30

Tabla de verdad de

Si es una oracin, entonces el valor de verdad de es el o contrario que el de . La tabla de verdad de es como sigue:

1 0

0 1

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

11 / 30

Tabla de verdad de
o Si y son oraciones, entonces es verdadero si y slo si o son verdaderos. La tabla de verdad de es como sigue:

1 1 0 0

1 0 1 0

1 1 1 0

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

12 / 30

Tabla de verdad de
o Si y son oraciones, entonces es verdadero si y slo si o son verdaderos. La tabla de verdad de es como sigue:

1 1 0 0

1 0 1 0

1 1 1 0

Pregunta: Formaliza sto lo que entendemos por disyuncin en el e o lenguaje natural?

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

12 / 30

Tabla de verdad de
o Si y son oraciones, entonces es verdadero si y slo si y son verdaderos. La tabla de verdad de es como sigue:

1 1 0 0

1 0 1 0

1 0 0 0

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

13 / 30

Tabla de verdad de
o Si y son oraciones, entonces es verdadero si y slo si y son verdaderos. La tabla de verdad de es como sigue:

1 1 0 0

1 0 1 0

1 0 0 0

Pregunta: Formaliza sto lo que entendemos por conjuncin en el e o lenguaje natural?

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

13 / 30

Tabla de verdad de oraciones ms complejas a

Ahora podemos construir la tabla de verdad de oraciones ms a complejas: Ejercicio: Construya la tabla de verdad de (p q) (p q). Cul es el signicado de esta oracin? a o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

14 / 30

Implicacin lgica o o

Cuando decimos que hacemos una deduccin lgica en el lenguaje o o natural, razonamos desde una hiptesis hasta una conclusin. o o

Si tal y tal cosa son ciertas, entonces tal otra tambin es e cierta.

Este tipo de argumentos se representan de la forma en nuestro lenguaje. Intituitivamente, cundo una oracin de la forma deber a o a ser falsa?

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

15 / 30

Implicacin lgica o o

Cuando decimos que hacemos una deduccin lgica en el lenguaje o o natural, razonamos desde una hiptesis hasta una conclusin. o o

Si tal y tal cosa son ciertas, entonces tal otra tambin es e cierta.

Este tipo de argumentos se representan de la forma en nuestro lenguaje. Intituitivamente, cundo una oracin de la forma deber a o a ser falsa? Cuando es verdadero y es falso!

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

15 / 30

Tabla de verdad para


Por tanto, la tabla de verdad para el conectivo es la siguiente:

1 1 0 0

1 0 1 0

1 0 1 1

Como veremos ms tarde, no le provee mayor poder expresivo a a nuestro lenguaje inicial.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

16 / 30

Tabla de verdad para


Por tanto, la tabla de verdad para el conectivo es la siguiente:

1 1 0 0

1 0 1 0

1 0 1 1

Como veremos ms tarde, no le provee mayor poder expresivo a a nuestro lenguaje inicial. Pregunta: Qu elemento llama la atencin de la tabla de verdad e o de ?

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

16 / 30

Equivalencia lgica o

Decimos que las oraciones y son equivalentes, y lo denotamos por , si las tablas de verdad de y son iguales. Algunas equivalencias utiles:
(( )) (() ()) (( )) (() ()) ( ( )) (( ) ) ( ( )) (( ) ) ( ) (() ) ( ) (( ) ( )) (())

Ejercicio: Es cierto que es asociativo?

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

17 / 30

Consecuencia lgica o
Llegamos a nuestra nocin ms importante, la que captura cuando o a o una conclusin se sigue lgicamente desde un conjunto de o premisas. Sea un conjunto de oraciones y una oracin. Decimos que o es consecuencia lgica de , si cada vez que cada frmula de es o o verdadera entonces tambin es verdadera. e En ese caso escribimos |= . Ejercicio: Demuestre que {p, p q} |= q (modus ponens) y {q, p q} |= p (modus tollens). Demuestre que {p q, q r } |= p r (transitividad).

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

18 / 30

Consecuencia lgica o
Llegamos a nuestra nocin ms importante, la que captura cuando o a o una conclusin se sigue lgicamente desde un conjunto de o premisas. Sea un conjunto de oraciones y una oracin. Decimos que o es consecuencia lgica de , si cada vez que cada frmula de es o o verdadera entonces tambin es verdadera. e En ese caso escribimos |= . Ejercicio: Demuestre que {p, p q} |= q (modus ponens) y {q, p q} |= p (modus tollens). Demuestre que {p q, q r } |= p r (transitividad).
Puede encontrar ejemplos de este tipo de argumentacin en el lenguaje o natural o matemtico? a
P. Barcel o Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 18 / 30

Consecuencia lgica: Otras propiedades interesantes o

Ejercicio: Demuestre que si y slo si |= and |= . o Decimos que un conjunto de oraciones es insatisfacible si en ninguna la de la tabla de verdad se tiene que todas las oraciones en son verdaderas. Ejercicio: Demuestre que |= si y slo si {} es o insatisfacible. Ejercicio: Demuestre que es insatisfacible si y slo si |= , o para cualquier oracin . o Ejercicio: Demuestre que |= si y slo si {} |= o (regla de deduccin). o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

19 / 30

Consecuencia lgica: Monoton o a

Ejercicio: Si |= , entonces para cada oracin se tiene que o {} |= (monoton a).

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

20 / 30

Consecuencia lgica: Monoton o a

Ejercicio: Si |= , entonces para cada oracin se tiene que o {} |= (monoton a). Sabemos que {p, p q} |= q. Usando el teorema de monoton a o deducimos que {p, p q, q} |= q. Cmo es esto posible?

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

20 / 30

Consecuencia lgica: Monoton o a

Ejercicio: Si |= , entonces para cada oracin se tiene que o {} |= (monoton a). Sabemos que {p, p q} |= q. Usando el teorema de monoton a o deducimos que {p, p q, q} |= q. Cmo es esto posible? Puede usarse la lgica proposicional para modelar razonamiento o con sentido comn? u

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

20 / 30

Ejercicios nales

Ejercicio: Demuestre que , son sucientes para expresar todas las oraciones de la lgica proposicional (i.e. todas las oraciones que o utilizan conectivos , , , ). Ejercicio: Demuestre que , no son sucientes para expresar todas las oraciones de la lgica proposicional sobre variables o propisicionales p y q.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

21 / 30

Circuitos digitales

Por qu hasta aqu hemos ocupado 1 y 0 para denotar verdadero e y falso? Porque estos valores tambin representan a los dos valores binarios. e La lgica proposicional tambin puede ser utilizada para disear o e n circuitos digitales: transformen secuencias de seales de 1s y 0s en n otras secuencias de seales de 1s y 0s (idea de Shannon, 38). n Por ejemplo, un sumador (lo veremos luego).

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

22 / 30

Compuertas
Un circuto digital se piensa abstractamente como una caja negra que establece una relacin entre ciertas entradas y la salida: o
P (entrada) Q(entrada)

CAJA NEGRA

R (salida)

La operacin del circuito se halla completamente especicada al o construir una tabla entrada/salida que liste todos los posibles valores de entrada con su respectivo valor de salida: P 1 1 0 0
P. Barcel o

Q 1 0 1 0

R 0 1 0 1
23 / 30

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

Tablas de verdad y oraciones

Una tabla entrada/salida se ve igual que una tabla de verdad. Probablemente entonces, los circuitos digitales puedan ser representados por oraciones de la lgica proposicional. o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

24 / 30

Tablas de verdad y oraciones

Una tabla entrada/salida se ve igual que una tabla de verdad. Probablemente entonces, los circuitos digitales puedan ser representados por oraciones de la lgica proposicional. o Ejercicio: Encuentre la oracin que representa al circuito digital del o ejemplo anterior.

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

24 / 30

Tablas de verdad y oraciones

Asumamos el caso general en el que nuestra circuto digital est a dado por la siguiente tabla entrada/salida: p1 0 0 . . . 1 p2 0 0 . . . 1 pn1 0 0 . . . 1 pn 0 1 . . . 1 C (p1 , p2 , . . . , pn1 , pn ) b1 b2 . . . b2n

Qu oracin de la lgica proposicional tiene exactamente esta e o o tabla de verdad?

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

25 / 30

Tablas de verdad y oraciones

Asumiendo que i es la valuacin correspondiente a la la i de la o tabla de verdad de C (p1 , . . . , pn ), este conectivo es equivalente a: pj
i : bi =1 j : i (pj )=1

k : i (pk )=0

pk

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

26 / 30

Tablas de verdad y oraciones

Asumiendo que i es la valuacin correspondiente a la la i de la o tabla de verdad de C (p1 , . . . , pn ), este conectivo es equivalente a: pj
i : bi =1 j : i (pj )=1

k : i (pk )=0

pk

Conclusin: Basta con los conectivos lgicos , , para o o representar cualquier tabla de verdad (y, por tanto, cualquier circuto digital).

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

26 / 30

Compuertas lgicas o
Para representar una oracin de la lgica proposicional como o o o circuito digital utilizamos las siguientes compuertas lgicas:

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

27 / 30

Ejemplo de circuito con compuertas lgicas o

El siguiente es un ejemplo de un circuito digital construido utilizando las compuertas lgicas: o

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

28 / 30

Ejemplo de circuito con compuertas lgicas o

El siguiente es un ejemplo de un circuito digital construido utilizando las compuertas lgicas: o

Pregunta: Cul es la tabla entrada/salida de este circuito? a

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

28 / 30

Notacin binaria o
Recordemos que todo nmero natural puede ser representado en u notacin binaria, i.e. de la forma dn dn1 d0 , donde cada di o (0 i n) es el bit 0 o 1. Pregunta: Cul es el nmero binario que es equivalente al nmero a u u natural m?

dn dn1 d0 tal que

n i =0 di

2i = m and dn = 1.

Ejemplo: 11011 es el equivalente a 27 en notacin binaria. o Ejercicio: Represente los siguientes nmeros naturales en notacin u o binaria: 19, 458, 287, 55. Ejercicio: Represente los soiguientes nmeros binarios en notacin u o decimal: 10111, 110111, 10110011.
P. Barcel o Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o 29 / 30

Circuito digital para la suma

Ejercicio: Cmo se resta en binario? o Ejercicio: Construya un circuito digital con 2n entradas y n + 1 salidas que compute la suma binaria de dos nmeros binarios de n u bits. Ejercicio: Cmo se multiplica en binario? Construya un circuito o (ms bien, una familia) que lo haga. a

P. Barcel o

Matemtica Discreta - Cap. 1: Fundamentos: Lgica y Demostraciones a o

30 / 30