Lgica Matemtica

proposicional
La lgica estudia la forma del razonamiento
Por medio de reglas y tcnicas determina si un
teorema es falso o verdadero
En la computacin la lgica se aplica en la elaboracin
y revisin de programas, en el estudio de lenguajes
formales y la relacin existente entre ellos, as como la
obtencin de resultados en forma recursiva
Con el apoyo de la lgica en el rea de la inteligencia
artificial se logra que la mquina tome decisiones
precisas
En lo cotidiano se usa constantemente la lgica, si se va
a la super, o se desea pintar una pared
Proposicin
Proposicin o enunciado es una oracin, frase o
expresin matemtica que puede ser falsa o verdadera
p: Estados Unidos es el pas territorialmente ms
grande de Amrica

q: -19+50=31
r: x>(y-13)7
s: Morelia ser campen en la presente temporada
u:Cmo ests?
v: Formatea el disco antes de usarlo
Operadores lgicos
And o conjuncin (y)
Conecta dos proposiciones que se deben
cumplir (ambas) para obtener un resultado
verdadero. Su smbolo es
Sean:
p: El automvil arranca
q: El tanque tiene gasolina
r: La batera tiene corriente
Considere el siguiente enunciado: El automvil arranca si y solo s el tanque tiene
Gasolina y la batera tiene corriente.
La representacin lgica de dicha proposicin es p=qr
Su tabla de verdad es
q r p = qr
1 1 1
1 0 0
0 1 0
0 0 0
1 es verdadero
0 es falso
Al operador (and) se le conoce como multiplicacin lgica
Operador or o Disyuncin (o)
Con este operador se obtiene un resultado
falso cuando las dos proposiciones son falsas
Sus smbolos son: {,+}

Sean:
p: una persona entra al cine
q: compra su boleto
r: le regalan un pase
Considere el siguiente enunciado: una persona puede entrar al cine, si y solo si
Compra su boleto o le regalan un pase.
La representacin lgica de dicha proposicin es P=qr
Su tabla de verdad es
q r p = qr
1 1 1
1 0 1
0 1 1
0 0 0
1 es verdadero
0 es falso
Al operador (or) se le conoce como suma lgica
Operador not o negacin (no)
La funcin de este operador es negar la
proposicin (complemento)
Sus smbolos son:{ ,,}

p: el automvil es azul
p: el automvil no es azul
Considere el siguiente enunciado: el automvil es azul.
Su tabla de verdad es
p P
1 0
0 1
Si una proposicin tiene un nmero impar de negaciones, es como si slo tuviera una
p=p
Si una proposicin tiene un nmero par de negaciones, equivale a una proposicin
verdadera
p=p
Operador or exclusivo (xor)
Su funcionamiento es similar al de or con la
diferencia de que su resultado es verdadero
solamente si una de las proposiciones es
cierta, ya que cuando ambas son verdad el
resultado es falso
Su smbolos es:

Se obtiene un resultado verdadero solo cuando una de las proposiciones es verdadera
Pero no si ambas lo son
Su tabla de verdad es
p q
1 1 0
1 0 1
0 1 1
0 0 0
' ' q p q p q p . v .
q p
Proposicin Condicional ()
Una proposicin condicional es aquella que
est formada por dos proposiciones simples (o
compuestas) p y q y que se indica de la
siguiente manera pq
Se lee si p entonces q

Sean:
p: sali electo Presidente de la Repblica
q: El crecimiento anual fue del 7%

Considere que un candidato a la presidencia de Mxico dice: Si salgo electo presidente
De la Repblica, entonces el crecimiento anual del pas ser del 7%
La representacin lgica de dicha declaracin condicional es pq
Su tabla de verdad es
p q p q
1 1 1
1 0 0
0 1 1
0 0 1
1 es verdadero
0 es falso
La tabla evala si el candidato dijo la verdad en la campaa
Proposicin Bicondicional ()
Sean p y q dos proposiciones, entonces se
puede indicar la proposicin bicondicional de
la siguiente forma: pq
Se lee p si y slo si q
El resultado es verdadero si p es verdadera y si
y slo si q tambin lo es
O es verdadera si p es falsa y si y slo si q
tambin es falsa

Sean:
p: es un buen estudiante
q: tiene promedio de diez

Considere el enunciado: es un buen estudiante, si y slo si, tiene promedio de diez
La representacin lgica de dicha declaracin condicional es pq
Su tabla de verdad es
p q p q
1 1 1
1 0 0
0 1 0
0 0 1
1 es verdadero
0 es falso
Como se ve en la tabla, la proposicin bicondicional solamente es verdadera si tanto
p como q son falsas o bien si ambas son verdaderas
Representacin lgica
Se pueden representar con notacin lgica
enunciados compuestos con ms de una
proposicin
Si no estudio matemticas discretas y no
hago la tarea de fundamentos de
programacin, entonces reprobar el
semestre o no podr ir de vacaciones a
Cancn
1. Determinar las proposiciones simples
p: Estudio matemticas discretas
q: Hago la tarea de fundamentos de programacin
r: Reprobar el semestre
s: Podr ir de vacaciones a Cancn
2. Usar las proposiciones simples y los
operadores correspondientes

( ) ( ) ' ' ' s r q p v .
Ejercicio
Si no pago el telfono, entonces me cortarn
el servicio telefnico, y si pago el telfono,
entonces me quedar sin dinero o pedir
prestado. Y si me quedo sin dinero y pido
prestado, entonces no podr pagar la tarjeta
de crdito, si y slo si soy una persona
desorganizada
p: pago el telfono
q: me cortarn el servicio telefnico
r: me quedar sin dinero
s: pedir prestado
t: pagar la tarjeta de crdito
w: soy una persona desorganizada

( ) ( ) | | ( ) | | w t s r s r p q p . . v . ' '
Representar usando notacin lgica
Si vivo en un lugar bajo, entonces se inunda la
casa. Si vivo en un lugar alto, entonces me
falta el agua o es zona cara. Por consiguiente,
si no es zona cara y no se inunda la casa y me
falta el agua, entonces vivo en la montaa
| | ( ) | | ( ) | | u s q t t s r q p . . v . ' '
Tablas de Verdad
Por medio de una tabla de verdad es posible
mostrar los resultados obtenidos al aplicar
cada uno de los operadores lgicos, as como
el resultado de la proposicin para todos y
cada uno de los valores que pueden tener las
proposiciones simples

El nmero de filas depende del nmero de
proposiciones diferentes que conforman una
proposicin compuesta
Nmero de filas = 2
n
El nmero de columnas depende del nmero
de proposiciones que integran la proposicin y
del nmero de operadores lgicos contenidos
en la misma
Jerarqua de operadores
Jerarqua Operador
1 ( )
2
3
4
5
.
v

Construir la tabla de verdad de
( ) ( ) | | ( ) q r r q q p . v '
Nmero de proposiciones = 3 (p,q,r) n=3
Nmero de filas = 2
3
= 8
Columnas: una para cada proposicin (p,q,r) = 3
y una para cada una de las siguientes operaciones:

q p
( ) r q . '
( ) ( ) r q q p . v '
q r
( ) ( ) ( ) q r r q q p . v '
' q
Columnas = 9
p q r q
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
( ) ( ) | | ( ) q r r q q p . v '
q p ( ) r q . '
( )
( ) r q
q p
.
v
'
q r
( ) ( ) ( ) q r r q q p . v '
p q r q
0 1
0 1
1 0
1 0
0 1
0 1
1 0
1 0
( ) ( ) | | ( ) q r r q q p . v '
q p ( ) r q . '
( )
( ) r q
q p
.
v
'
q r
( ) ( ) ( ) q r r q q p . v '
p q r q
0 0 1
0 0 1
0 1 1
0 1 1
1 0 0
1 0 0
1 1 1
1 1 1
( ) ( ) | | ( ) q r r q q p . v '
q p ( ) r q . '
( )
( ) r q
q p
.
v
'
q r
( ) ( ) ( ) q r r q q p . v '
p q r q
0 1 0
1 1 1
0 0 0
1 0 0
0 1 0
1 1 1
0 0 0
1 0 0
( ) ( ) | | ( ) q r r q q p . v '
q p ( ) r q . '
( )
( ) r q
q p
.
v
'
q r
( ) ( ) ( ) q r r q q p . v '
p q r q
1 0 1
1 1 1
1 0 1
1 0 1
0 0 0
0 1 1
1 0 1
1 0 1
( ) ( ) | | ( ) q r r q q p . v '
q p ( ) r q . '
( )
( ) r q
q p
.
v
'
q r
( ) ( ) ( ) q r r q q p . v '
p q r q
0 0 1
0 1 0
1 0 1
1 1 1
0 0 1
0 1 0
1 0 1
1 1 1
( ) ( ) | | ( ) q r r q q p . v '
q p ( ) r q . '
( )
( ) r q
q p
.
v
'
q r
( ) ( ) ( ) q r r q q p . v '
p q r q
1 1 1
1 0 0
1 1 1
1 1 1
0 1 0
1 0 0
1 1 1
1 1 1
( ) ( ) | | ( ) q r r q q p . v '
q p ( ) r q . '
( )
( ) r q
q p
.
v
'
q r
( ) ( ) ( ) q r r q q p . v '
p q r q
0 0 0 1 1 0 1 1 1
0 0 1 1 1 1 1 0 0
0 1 0 0 1 0 1 1 1
0 1 1 0 1 0 1 1 1
1 0 0 1 0 0 0 1 0
1 0 1 1 0 1 1 0 0
1 1 0 0 1 0 1 1 1
1 1 1 0 1 0 1 1 1
( ) ( ) | | ( ) q r r q q p . v '
q p ( ) r q . '
( )
( ) r q
q p
.
v
'
q r
( ) ( ) ( ) q r r q q p . v '
Jerarqua Operador
1 ( )
2
3
4
5
.
v

Para hacer la tabla
Es importante mantener un orden para
facilitar su revisin
Proposiciones ordenadas alfabticamente, con
sus valores de menor a mayor (00,01,10,11)
Proposiciones complemento (p)
Luego se aplica el criterio de la jerarqua de
operadores
Si hay ms de un parntesis se evala primero
el que se encuentra ms adentro y de
izquierda a derecha (si uno no est dentro del
otro)
Lo miso para el condicional y bicondicional,
primero el que est ms a la izquierda
Realice la tabla de verdad de:

( ) ( )' ' ' r q q p v .