Cap tulo 1: Fundamentos: L ogica y Demostraciones Clase 1: L ogica Proposicional

Matem atica Discreta - CC3101 Profesor: Pablo Barcel o

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

1 / 30

Qu e es la l ogica?
La l ogica es el estudio de las leyes del pensamiento (Kant, 1785). En la actualidad se considera que la l ogica es el estudio de qu e es lo que hace que un argumento se considere correcto (en forma y no en contenido). En otros t erminos, de cu ando una conclusi on se deduce l ogicamente de ciertas premisas. Ejemplo: Es el siguiente argumento v alido? Todos los hombres son mortales. S ocrates es hombre. Por lo tanto, S ocrates es mortal. Hay algo en este argumento que dependa de S ocrates mismo?

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

2 / 30

Ejemplo de razonamiento l ogico

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

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

3 / 30

Ejemplo de razonamiento l ogico

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

(p q ) r p r

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

3 / 30

Aplicaciones de la l ogica en CS

La l ogica es la base de todo el razonamiento matem atico, y tambi en de todo el razonamiento automatizado. Tiene aplicaciones pr aticas en CS en los siguientes campos (entre muchos otros):

Dise no de hardware; ingenier a de software; bases de datos; inteligencia articial; lenguajes de programaci on.

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

4 / 30

L ogica proposicional

Empezaremos con el ejemplo m as b asico de lenguaje l ogico: la l ogica proposicional. Esta est a construida a partir de proposiciones, que son oraciones 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 e hora es?, (x + 1 = 2).

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

5 / 30

Valores de verdad

Nos evitaremos problemas sem anticos, y denotaremos nuestras proposiciones por letras min usulas p , q , r , . . . , p1 , p2 , . . . . Cada proposici on tiene un valor de verdad asignado, que puede ser 1 (si la proposici on es verdadera) o 0 (si la proposici on es falsa).

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

6 / 30

Oraciones
on se construye a partir de las proposiciones p , q , r , . . . , Una oraci usando adem as tres s mbolos nuevos: , , .

Dada una proposici on p , la oraci on p denota que p es on de p . falso. Se llama la negaci Dadas proposiciones p y q , la oraci on p q denota que p o on de p y q . q , y se llama la disyunci Dadas proposiciones p y q , la oraci on p q denota que p y q , y se llama la conjunci on de p y q .

En general los s mbolos , , se aplican no s olo a las proposiciones sino tambi en a las oraciones:

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

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

7 / 30

Par entesis

En las oraciones anteriores utilizamos par entesis para evitar ambiguedades en el orden de aplicaci on de los s mbolos , , :

Qu e signica p q r ?

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

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

8 / 30

Traducciones

Con los nuevos conectivos podemos traducir muchas de nuestras oraciones en espa nol al lenguaje de la l ogica proposicional.
p

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

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

omo traducir a Juan no es alto ni aco? Ejercicio: C

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

9 / 30

Tablas de verdad

Las oraciones se forman entonces desde las proposiciones, usando los s mbolos , and . Pero las oraciones como las proposiciones tambi en tienen un valor de verdad: deben ser verdaderas (1) o falsas (0). La idea es que el valor de verdad de una oraci on se puede determinar u nicamente 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

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

10 / 30

Tabla de verdad de

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

1 0

0 1

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

11 / 30

Tabla de verdad de
olo si o Si y son oraciones, entonces es verdadero si y s 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

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

12 / 30

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

1 1 0 0

1 0 1 0

1 1 1 0

Pregunta: Formaliza esto lo que entendemos por disyunci on en el lenguaje natural?

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

12 / 30

Tabla de verdad de
olo si y Si y son oraciones, entonces es verdadero si y s 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

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

13 / 30

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

1 1 0 0

1 0 1 0

1 0 0 0

Pregunta: Formaliza esto lo que entendemos por conjunci on en el lenguaje natural?

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

13 / 30

Tabla de verdad de oraciones m as complejas

Ahora podemos construir la tabla de verdad de oraciones m as complejas: Ejercicio: Construya la tabla de verdad de (p q ) (p q ). Cu al es el signicado de esta oraci on?

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

14 / 30

Implicaci on l ogica

Cuando decimos que hacemos una deducci on l ogica en el lenguaje natural, razonamos desde una hip otesis hasta una conclusi on.

Si tal y tal cosa son ciertas, entonces tal otra tambi en es cierta.

Este tipo de argumentos se representan de la forma en nuestro lenguaje. Intituitivamente, cu ando una oraci on de la forma deber a ser falsa?

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

15 / 30

Implicaci on l ogica

Cuando decimos que hacemos una deducci on l ogica en el lenguaje natural, razonamos desde una hip otesis hasta una conclusi on.

Si tal y tal cosa son ciertas, entonces tal otra tambi en es cierta.

Este tipo de argumentos se representan de la forma en nuestro lenguaje. Intituitivamente, cu ando una oraci on de la forma deber a ser falsa? Cuando es verdadero y es falso!

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

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 m as tarde, no le provee mayor poder expresivo a nuestro lenguaje inicial.

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

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 m as tarde, no le provee mayor poder expresivo a nuestro lenguaje inicial. Pregunta: Qu e elemento llama la atenci on de la tabla de verdad de ?

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

16 / 30

Equivalencia l ogica

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

Ejercicio: Es cierto que es asociativo?

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

17 / 30

Consecuencia l ogica
Llegamos a nuestra noci on m as importante, la que captura cuando ogicamente desde un conjunto de una conclusi on se sigue l premisas. Sea un conjunto de oraciones y una oraci on. Decimos que es consecuencia l ogica de , si cada vez que cada f ormula de es verdadera entonces tambi en es verdadera. 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

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

18 / 30

Consecuencia l ogica
Llegamos a nuestra noci on m as importante, la que captura cuando ogicamente desde un conjunto de una conclusi on se sigue l premisas. Sea un conjunto de oraciones y una oraci on. Decimos que es consecuencia l ogica de , si cada vez que cada f ormula de es verdadera entonces tambi en es verdadera. 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 argumentaci on en el lenguaje natural o matem atico?
P. Barcel o Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones 18 / 30

Consecuencia l ogica: Otras propiedades interesantes

Ejercicio: Demuestre que si y s olo si |= and |= . 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 s olo si {} es insatisfacible. Ejercicio: Demuestre que es insatisfacible si y s olo si |= , para cualquier oraci on . Ejercicio: Demuestre que |= si y s olo si {} |= (regla de deducci on).

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

19 / 30

Consecuencia l ogica: Monoton a

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

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

20 / 30

Consecuencia l ogica: Monoton a

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

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

20 / 30

Consecuencia l ogica: Monoton a

Ejercicio: Si |= , entonces para cada oraci on se tiene que { } |= (monoton a). Sabemos que {p , p q } |= q . Usando el teorema de monoton a omo es esto posible? deducimos que {p , p q , q } |= q . C Puede usarse la l ogica proposicional para modelar razonamiento con sentido com un?

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

20 / 30

Ejercicios nales

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

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

21 / 30

Circuitos digitales

Por qu e hasta aqu hemos ocupado 1 y 0 para denotar verdadero y falso? Porque estos valores tambi en representan a los dos valores binarios. La l ogica proposicional tambi en puede ser utilizada para dise nar circuitos digitales: transformen secuencias de se nales de 1s y 0s en otras secuencias de se nales de 1s y 0s (idea de Shannon, 38). Por ejemplo, un sumador (lo veremos luego).

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

22 / 30

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

CAJA NEGRA

R (salida)

La operaci on del circuito se halla completamente especicada al 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

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

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 l ogica proposicional.

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

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 l ogica proposicional. Ejercicio: Encuentre la oraci on que representa al circuito digital del ejemplo anterior.

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

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 e oraci on de la l ogica proposicional tiene exactamente esta tabla de verdad?

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

25 / 30

Tablas de verdad y oraciones

Asumiendo que i es la valuaci on correspondiente a la la i de la 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

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

26 / 30

Tablas de verdad y oraciones

Asumiendo que i es la valuaci on correspondiente a la la i de la 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

Conclusi on: Basta con los conectivos l ogicos , , para representar cualquier tabla de verdad (y, por tanto, cualquier circuto digital).

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

26 / 30

Compuertas l ogicas
Para representar una oraci on de la l ogica proposicional como ogicas: circuito digital utilizamos las siguientes compuertas l

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

27 / 30

Ejemplo de circuito con compuertas l ogicas

El siguiente es un ejemplo de un circuito digital construido utilizando las compuertas l ogicas:

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

28 / 30

Ejemplo de circuito con compuertas l ogicas

El siguiente es un ejemplo de un circuito digital construido utilizando las compuertas l ogicas:

Pregunta: Cu al es la tabla entrada/salida de este circuito?

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

28 / 30

Notaci on binaria
Recordemos que todo n umero natural puede ser representado en notaci on binaria, i.e. de la forma dn dn1 d0 , donde cada di (0 i n) es el bit 0 o 1. Pregunta: Cu al es el n umero binario que es equivalente al n umero natural m?

dn dn1 d0 tal que

n i =0 di

2i = m and dn = 1.

Ejemplo: 11011 es el equivalente a 27 en notaci on binaria. Ejercicio: Represente los siguientes n umeros naturales en notaci on binaria: 19, 458, 287, 55. Ejercicio: Represente los soiguientes n umeros binarios en notaci on decimal: 10111, 110111, 10110011.
P. Barcel o Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones 29 / 30

Circuito digital para la suma

Ejercicio: C omo se resta en binario? Ejercicio: Construya un circuito digital con 2n entradas y n + 1 salidas que compute la suma binaria de dos n umeros binarios de n bits. Ejercicio: C omo se multiplica en binario? Construya un circuito (m as bien, una familia) que lo haga.

P. Barcel o

Matem atica Discreta - Cap. 1: Fundamentos: L ogica y Demostraciones

30 / 30