Logica Proposicional

Captulo 1: Fundamentos: Logica y
Demostraciones
Clase 1: Logica Proposicional
Matem
atica Discreta - CC3101
Profesor: Pablo Barcelo
P. Barcel
o
Matem
atica Discreta - Cap. 1: Fundamentos: L
ogica y Demostraciones
1 / 30
Que es la logica?
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 que es
lo que hace que un argumento se considere correcto (en forma y no
en contenido).
En otros terminos, de cu
ando una conclusion 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
2 / 30
Ejemplo de razonamiento logico
Ejercicio: Cual es la forma del siguiente argumento?

Si Pedro estudia en el DCC o en el CMM, entonces tomara CC4OC.
Pedro estudia en el DCC.
Por tanto, Pedro tomar
a CC4OC.
P. Barcel
o
Matem
3 / 30
Ejemplo de razonamiento logico
Ejercicio: Cual es la forma del siguiente argumento?

Si Pedro estudia en el DCC o en el CMM, entonces tomara CC4OC.
Pedro estudia en el DCC.
Por tanto, Pedro tomar
a CC4OC.
(p q) r
p
r
P. Barcel
o
Matem
3 / 30
Aplicaciones de la logica en CS
La l
ogica es la base de todo el razonamiento matematico, y
tambien de todo el razonamiento automatizado.
Tiene aplicaciones praticas en CS en los siguientes campos (entre
muchos otros):
P. Barcel
o
Dise
no de hardware;
ingeniera de software;
bases de datos;
inteligencia artificial;
lenguajes de programacion.
Matem
4 / 30
Logica proposicional
Empezaremos con el ejemplo m

as b
asico de lenguaje l
ogico: la
l
ogica proposicional.
Esta esta construida a partir de proposiciones, que son oraciones
que son verdaderas o falsas (pero no ambas).
Santiago es la capital de Chile, (1 + 1 = 3), (1 + 1 = 36 ).
Las siguientes, en cambio, no son proposiciones:
P. Barcel
o
Que hora es?, (x + 1 = 2).
Matem
5 / 30
Valores de verdad
Nos evitaremos problemas sem

anticos, y denotaremos nuestras
proposiciones por letras min
usulas p, q, r , . . . , p1 , p2 , . . . .
Cada proposicion tiene un valor de verdad asignado, que puede ser
1 (si la proposicion es verdadera) o 0 (si la proposicion es falsa).
P. Barcel
o
Matem
6 / 30
Oraciones
on se construye a partir de las proposiciones p, q, r , . . . ,
Una oraci
usando ademas tres smbolos nuevos: , , .
Dada una proposicion p, la oraci

on p denota que p es
falso. Se llama la negacion de p.
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 smbolos , , se aplican no s

olo a las
proposiciones sino tambien a las oraciones:
P. Barcel
o
((p (q r ))) s, (p q) r .
Matem
7 / 30
Parentesis
En las oraciones anteriores utilizamos parentesis para evitar

ambiguedades en el orden de aplicaci
on de los smbolos , , :
Que significa 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
8 / 30
Traducciones
Con los nuevos conectivos podemos traducir muchas de nuestras

oraciones en espa
nol al lenguaje de la l
Por ejemplo, Juan es alto pero flaco puede traducirse como
q , donde:
p = Juan es alto.
q = Juan es flaco.
omo traducira Juan no es alto ni flaco?

Ejercicio: C
P. Barcel
o
Matem
9 / 30
Tablas de verdad
Las oraciones se forman entonces desde las proposiciones, usando

los smbolos , and .
Pero las oraciones como las proposiciones tambien 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
smbolos , and .
P. Barcel
o
Matem
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
P. Barcel
o
0
1
Matem
11 / 30
Tabla de verdad de
Si y son oraciones, entonces es verdadero si y solo si o
son verdaderos.
1
1
0
0
P. Barcel
o
1
0
1
0
1
1
1
0
Matem
12 / 30
Tabla de verdad de
Si y son oraciones, entonces es verdadero si y solo si o
son verdaderos.
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
12 / 30
Tabla de verdad de
Si y son oraciones, entonces es verdadero si y solo si y
son verdaderos.
1
1
0
0
P. Barcel
o
1
0
1
0
1
0
0
0
Matem
13 / 30
Tabla de verdad de
Si y son oraciones, entonces es verdadero si y solo si y
son verdaderos.
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
13 / 30
Tabla de verdad de oraciones mas complejas
Ahora podemos construir la tabla de verdad de oraciones mas

complejas:
Ejercicio: Construya la tabla de verdad de (p q) (p q).
Cual es el significado de esta oraci
on?
P. Barcel
o
Matem
14 / 30
Implicacion logica
Cuando decimos que hacemos una deduccion l

ogica en el lenguaje
natural, razonamos desde una hip
otesis hasta una conclusion.
Si tal y tal cosa son ciertas, entonces tal otra tambien es

cierta.
Este tipo de argumentos se representan de la forma en

nuestro lenguaje.
Intituitivamente, cuando una oraci
on de la forma debera
ser falsa?
P. Barcel
o
Matem
15 / 30
Implicacion logica
Cuando decimos que hacemos una deduccion l

ogica en el lenguaje
natural, razonamos desde una hip
otesis hasta una conclusion.
Si tal y tal cosa son ciertas, entonces tal otra tambien es

cierta.
Este tipo de argumentos se representan de la forma en

nuestro lenguaje.
Intituitivamente, cuando una oraci
on de la forma debera
ser falsa?
Cuando es verdadero y es falso!
P. Barcel
o
Matem
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 mas tarde, no le provee mayor poder expresivo a

nuestro lenguaje inicial.
P. Barcel
o
Matem
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 mas tarde, no le provee mayor poder expresivo a

nuestro lenguaje inicial.
Pregunta: Que elemento llama la atenci
on de la tabla de verdad
de ?
P. Barcel
o
Matem
16 / 30
Equivalencia logica
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
17 / 30
Consecuencia logica
Llegamos a nuestra noci
on m
as importante, la que captura cuando
ogicamente desde un conjunto de
una conclusion 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 formula de es
verdadera entonces tambien 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
18 / 30
Consecuencia logica
Llegamos a nuestra noci
on m
as importante, la que captura cuando
ogicamente desde un conjunto de
una conclusion 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 formula de es
verdadera entonces tambien 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 matematico?
P. Barcel
o
Matem
18 / 30
Consecuencia logica: Otras propiedades interesantes
Ejercicio: Demuestre que si y s

olo si |= and |= .
Decimos que un conjunto de oraciones es insatisfacible si en
ninguna fila 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 deduccion).
P. Barcel
o
Matem
19 / 30
Consecuencia logica: Monotona
Ejercicio: Si |= , entonces para cada oraci

on se tiene que
{} |= (monotona).
P. Barcel
o
Matem
20 / 30

on se tiene que
{} |= (monotona).
Sabemos que {p, p q} |= q. Usando el teorema de monotona
omo es esto posible?
deducimos que {p, p q, q} |= q. C
P. Barcel
o
Matem
20 / 30

on se tiene que
{} |= (monotona).
Sabemos que {p, p q} |= q. Usando el teorema de monotona
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
20 / 30
Ejercicios finales
Ejercicio: Demuestre que , son suficientes para expresar todas

las oraciones de la l
ogica proposicional (i.e. todas las oraciones que
utilizan conectivos , , , ).
Ejercicio: Demuestre que , no son suficientes para expresar
todas las oraciones de la l
ogica proposicional sobre variables
propisicionales p y q.
P. Barcel
o
Matem
21 / 30
Circuitos digitales
Por que hasta aqu hemos ocupado 1 y 0 para denotar verdadero

y falso?
Porque estos valores tambien representan a los dos valores binarios.
La l
ogica proposicional tambien 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
22 / 30
Compuertas
Un circuto digital se piensa abstractamente como una caja negra
que establece una relacion entre ciertas entradas y la salida:
P (entrada)
CAJA NEGRA
R (salida)
Q(entrada)
La operaci
on del circuito se halla completamente especificada 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
Matem
23 / 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
P. Barcel
o
Matem
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 l
Ejercicio: Encuentre la oraci
on que representa al circuito digital del
ejemplo anterior.
P. Barcel
o
Matem
24 / 30
Asumamos el caso general en el que nuestra circuto digital esta

dado por la siguiente tabla entrada/salida:
p1
0
0
..
.
p2
0
0
..
.
pn1
0
0
..
.
pn
0
1
..
.
C (p1 , p2 , . . . , pn1 , pn )
b1
b2
..
.
b2n
Que oraci
on de la l
ogica proposicional tiene exactamente esta
tabla de verdad?
P. Barcel
o
Matem
25 / 30
Asumiendo que i es la valuaci

on correspondiente a la fila i de la
tabla de verdad de C (p1 , . . . , pn ), este conectivo es equivalente a:

^
_ ^
pj
pk
.
i : bi =1
P. Barcel
o
j : i (pj )=1
k : i (pk )=0
Matem
26 / 30
Asumiendo que i es la valuaci

on correspondiente a la fila i de la
tabla de verdad de C (p1 , . . . , pn ), este conectivo es equivalente a:

^
_ ^
pj
pk
.
i : bi =1
j : i (pj )=1
k : i (pk )=0
Conclusi
on: Basta con los conectivos l
ogicos , , para
representar cualquier tabla de verdad (y, por tanto, cualquier
circuto digital).
P. Barcel
o
Matem
26 / 30
Compuertas logicas
Para representar una oraci
on de la l
ogica proposicional como
ogicas:
circuito digital utilizamos las siguientes compuertas l
P. Barcel
o
Matem
27 / 30
Ejemplo de circuito con compuertas logicas
El siguiente es un ejemplo de un circuito digital construido

utilizando las compuertas l
ogicas:
P. Barcel
o
Matem
28 / 30
Ejemplo de circuito con compuertas logicas
El siguiente es un ejemplo de un circuito digital construido

utilizando las compuertas l
ogicas:
Pregunta: Cual es la tabla entrada/salida de este circuito?
P. Barcel
o
Matem
28 / 30
Notacion 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: Cual es el n
umero binario que es equivalente al n
umero
natural m?
Pn
i
dn dn1 d0 tal que
i =0 di 2 = 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
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
(mas bien, una familia) que lo haga.
P. Barcel
o
Matem
30 / 30

Logica Proposicional

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 Proposicional

Cargado por

Copyright:

Formatos disponibles

Captulo 1: Fundamentos: Logica y

Ejemplo de razonamiento logico

Ejercicio: Cual es la forma del siguiente argumento?

Ejemplo de razonamiento logico

Ejercicio: Cual es la forma del siguiente argumento?

Empezaremos con el ejemplo m

Santiago es la capital de Chile, (1 + 1 = 3), (1 + 1 = 36 ).

Las siguientes, en cambio, no son proposiciones:

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

Nos evitaremos problemas sem

Dada una proposicion p, la oraci

Dadas proposiciones p y q, la oraci

Dadas proposiciones p y q, la oraci

En general los smbolos , , se aplican no s

En las oraciones anteriores utilizamos parentesis para evitar

Usualmente asumimos que siempre se aplica antes que cualquier

Con los nuevos conectivos podemos traducir muchas de nuestras

omo traducira Juan no es alto ni flaco?

Las oraciones se forman entonces desde las proposiciones, usando

Pregunta: Formaliza esto lo que entendemos por disyunci

Pregunta: Formaliza esto lo que entendemos por conjunci

Tabla de verdad de oraciones mas complejas

Ahora podemos construir la tabla de verdad de oraciones mas

Cuando decimos que hacemos una deduccion l

Si tal y tal cosa son ciertas, entonces tal otra tambien es

Este tipo de argumentos se representan de la forma en

Cuando decimos que hacemos una deduccion l

Si tal y tal cosa son ciertas, entonces tal otra tambien es

Este tipo de argumentos se representan de la forma en

Tabla de verdad para

Como veremos mas tarde, no le provee mayor poder expresivo a

Tabla de verdad para

Como veremos mas tarde, no le provee mayor poder expresivo a

Decimos que las oraciones y son equivalentes, y lo denotamos

Ejercicio: Es cierto que es asociativo?

Consecuencia logica: Otras propiedades interesantes

Ejercicio: Demuestre que si y s

Consecuencia logica: Monotona

Ejercicio: Si |= , entonces para cada oraci

Consecuencia logica: Monotona

Ejercicio: Si |= , entonces para cada oraci

Consecuencia logica: Monotona

Ejercicio: Si |= , entonces para cada oraci

Ejercicio: Demuestre que , son suficientes para expresar todas

Por que hasta aqu hemos ocupado 1 y 0 para denotar verdadero

Tablas de verdad y oraciones

Una tabla entrada/salida se ve igual que una tabla de verdad.

Tablas de verdad y oraciones

Una tabla entrada/salida se ve igual que una tabla de verdad.

Tablas de verdad y oraciones

Asumamos el caso general en el que nuestra circuto digital esta

Tablas de verdad y oraciones

Asumiendo que i es la valuaci

Tablas de verdad y oraciones

Asumiendo que i es la valuaci

Ejemplo de circuito con compuertas logicas

El siguiente es un ejemplo de un circuito digital construido

Ejemplo de circuito con compuertas logicas

El siguiente es un ejemplo de un circuito digital construido

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

Circuito digital para la suma

También podría gustarte