Professional Documents
Culture Documents
P. Barcel 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
2 / 30
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
3 / 30
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
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
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 ).
P. Barcel 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
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
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
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. Barcel 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
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
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
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
P. Barcel 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
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
P. Barcel o
13 / 30
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
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
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
15 / 30
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
16 / 30
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
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:
(( )) (() ()) (( )) (() ()) ( ( )) (( ) ) ( ( )) (( ) ) ( ) (() ) ( ) (( ) ( )) (())
P. Barcel 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
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
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
19 / 30
P. Barcel o
20 / 30
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
20 / 30
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
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
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
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
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
24 / 30
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
24 / 30
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
P. Barcel o
25 / 30
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
26 / 30
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
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
27 / 30
P. Barcel o
28 / 30
P. Barcel 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?
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
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
30 / 30