Matemticas Discretas

Unidad I: Lgica y Algebra Booleana

Matemtica Discretas - Semestre B-2006
2
Teoremas y Argumentos
Un teorema es una sentencia que se puede verificar
que es verdadera. Tambin se les llama proposiciones,
hechos, premisas, conclusiones o resultados.
Un argumento es una secuencia de sentencias que
permiten demostrar que un teorema es vlido.
En un argumento, las premisas son datos o
expresiones conocidas y de ellas se deprende una
conclusin.
Matemtica Discretas - Semestre B-2006
3
Argumentos Vlidos
Un argumento es vlido si siempre que todas las hiptesis
o premisas son verdaderas, la conclusin tambin lo es.
Es decir, debemos demostrar que q se deduce
lgicamente de las premisas p
1
, p
2
, p
3
, ..., p
n
.

(p
1
p
2
p
3
... p
n
) q
Tcnicas usadas:

Demostrar que la proposicin es una tautologa,

mediante el uso de tablas de verdad.

Usar reglas de inferencia.

Matemtica Discretas - Semestre B-2006
4
Tcnica 1 : Usando de tablas de verdad
Debemos demostrar que para las proposiciones
arbitrarias p
1
, p
2
, p
3
, ..., p
n
y q, la implicacin:
(p
1
p
2
p
3
... p
n
) q
es una tautologa (To).
Si esto se cumple, decimos que p
1
, p
2
, p
3
, ..., p
n
implican
lgicamente q y se denota:
(p
1
p
2
p
3
... p
n
) q
Matemtica Discretas - Semestre B-2006
5
Tcnica 1 : Usando de tablas de verdad
Por ejemplo:
[p ((p r) s)] (r s)
p1 p2 q
p r s
0 0 0 0 1 0 1 1
0 0 1 0 1 0 1 1
0 1 0 0 1 0 0 1
0 1 1 0 1 0 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
(p1 p2) (p1 p2) q
p r (p r) s p ((p r) s) r s [p ((p r) s)] (r s)
Matemtica Discretas - Semestre B-2006
6
Tcnica 1 : Usando de tablas de verdad
Desventajas:

Al incrementarse el nmero de proposiciones y el

nmero de premisas, las tablas de verdad crecen
rpidamente.

Slo necesitamos considerar aquellas filas donde la

conjuncin de las premisas tienen valor de verdad 1.
(Si la conjuncin de las premisas es falsa, la conclusin
siempre es verdadera sin importar su valor de verdad)
Matemtica Discretas - Semestre B-2006
7
Tcnica 2: Reglas de Inferencia
Justifican los pasos dados para demostrar, que a partir
de una serie de hiptesis se llega de forma lgica a una
conclusin.
Las reglas de inferencia permiten deducir conclusiones
a partir de otras afirmaciones y enlazan los pasos de
una demostracin.

Cada regla de inferencia tiene su origen en una

implicacin lgica.

Todas las reglas de inferencia son vlidas para

proposiciones compuestas.
Matemtica Discretas - Semestre B-2006
8
Modus Ponens
Declara que si tanto una implicacin como sus
hiptesis son verdaderas, entonces la conclusin de
esta implicacin es verdadera.
p [p (p q)] q
p q
q
Pedro es hombre.
Si eres hombre, entonces eres mortal.
Pedro es mortal.
tambin es vlido para:
r s
(r s) (t u)
t u
Matemtica Discretas - Semestre B-2006
9
Ley del Silogismo
Tambin se le conoce como Silogismo Hipottico.
p q [(p q) (q r)] [p r]
q r
p r
Si trabajas duro, entonces sers rico.
Si eres rico, entonces sers feliz.
Si trabajas duro, entonces sers feliz.
Matemtica Discretas - Semestre B-2006
10
Modus Tollens
Mtodo de negacin o contradiccin. Establece que, si
una proposicin p implica un proposicin falsa q,
entonces p debe ser falsa.
p q [(p q) q] p
q
p
Si estas enfermo, entonces vas al medico.
No vas al mdico.
No estas enfermo.
Matemtica Discretas - Semestre B-2006
11
Modus Tollens
Falacias (razonamientos No vlidos):

p q [(p q) p] q
p
q

p q [(p q) q] p
q
p
Matemtica Discretas - Semestre B-2006
12
Modus Tollens
Ejemplos de falacias:

p q Si 2 es impar, entonces 5 + 1 = 6
p 2 es par
q 5 + 1 6

p q Si es Lunes, entonces voy al mercado

q Voy al mercado
p Es Lunes.
Matemtica Discretas - Semestre B-2006
13
Regla de la Conjuncin
Si p y q son proposiciones verdaderas, entonces p q
es una proposicin verdadera. Tambin se conoce
como ley de combinacin.
p [(p) (q)] (p q)
q
p q
El conejo es blanco.
El conejo come zanahorias.
El conejo es blanco y come zanahorias.
Matemtica Discretas - Semestre B-2006
14
Regla del silogismo disyuntivo
Si tenemos una disyuncin de dos proposiciones y una
de ellas no es verdadera, entonces la otra proposicin
debe ser verdadera.
p q [(p q) p] q
p [(p q) q] p
q
Vivo en Mrida o en Caracas.
No vivo en Caracas.
Vivo en Mrida.
Matemtica Discretas - Semestre B-2006
15
Regla de Contradiccin
Si p Fo es verdadera, entonces p debe ser falsa
puesto que Fo es falsa, por lo tanto p es verdadera.
p Fo (p Fo) p
p
Es la base del mtodo de contradiccin o reduccin al
absurdo.
Matemtica Discretas - Semestre B-2006
16
Regla de Contradiccin
Por ejemplo:
Establezca la validez del siguiente argumento, usando
el mtodo de demostracin por contradiccin.
p q
q r
r
p
Matemtica Discretas - Semestre B-2006
17
Regla de Contradiccin
Solucin:
Pasos Razones
1)
Premisa
2)
Paso (1) y equivalencia lgica
3)
Paso (2) y regla de la simplificacin conjuntiva
4)
Premisa
5)
Pasos (3) y (4) y ley del silogismo
6) p
Premisa (supuesta)
7)
8)
Premisa
9)
Pasos (7) y (8) y regla de la conjuncin
10)
Pasos (6) y (9) y regla de demostracin por contradiccin
p q
(p q) (p q)
(p q)
(q r)
(p r)
r Pasos (5) y (6) y Modus Ponens
r
(r r) ( Fo)
p
Matemtica Discretas - Semestre B-2006
18
Regla de Simplificacin Conjuntiva
Si la conjuncin de dos proposiciones p, q es
verdadera, entonces p debe ser verdadera.
p q (p q) p
p
Esta soleado y hace calor .
Esta soleado.
Matemtica Discretas - Semestre B-2006
19
Regla de Amplificacin Disyuntiva
Si tenemos una proposicin verdadera, la conjuncin
(ampliacin) con otra proposicin tambin ser
verdadera.
p p (p q)
p q

Alicia es Ingeniero.
Alicia es Ingeniero o Abogado.
Matemtica Discretas - Semestre B-2006
20
Regla de Demostracin Condicional
p q [(p q) [p (q r)]] r
p (q r)
r
Pablo va a la selva y no le da miedo acampar.
Si Pablo va a la selva; el se divertir si no le da miedo acampar.
Pablo se divertir.
Matemtica Discretas - Semestre B-2006
21
Regla de Demostracin por casos
Si termino la tarea, entonces voy a la playa.
Si hace sol, entonces voy a la playa.
Si termino la tarea o hace sol, entonces voy a la playa.
p r [(p q) (q r)] [(p q) r]
q r
(p q) r
Matemtica Discretas - Semestre B-2006
22
Regla del Dilema Constructivo

p q [(p q) (r s) (p r) ] (q s)
r s
p r
q s
Si es un guila, entonces vuela.
Si es un canguro, salta.
Es un guila o un canguro.
Vuela o salta.
Matemtica Discretas - Semestre B-2006
23
Ejemplo
Establezca la validez del siguiente argumento:
1) p r
r s
t s
t u
u
p
Matemtica Discretas - Semestre B-2006
24
Solucin:
Pasos Razones
1) Premisa
2) Premisa
3)
Pasos (1) y (2) y ley del silogismo
4)
Premisa
5)
6)
7)
Premisa
8)
9) Pasos (3) y (6) y ley del silogismo
10)
Pasos (8) y (9) y ley del silogismo
11) Premisa
11)
p r
r s
p s
t s
s t Conmutativa de
s t Paso (5) y (s t) (s t)
t u
t u Paso (7) y (s t) (s t)
p t
p u
u
p
Pasos (10) y (11) y Modus Tollens
Ejemplo
Matemtica Discretas - Semestre B-2006
25
Ejercicios
1) Establezca la validez del siguiente argumento:
(p q) r
r (s t)
s u
u t
p
Matemtica Discretas - Semestre B-2006
26
Ejercicios
2) Muestre que las hiptesis Esta tarde no hace sol y
hace ms fro que ayer, Iremos a pasear slo si hace
sol, Si no vamos a pasear daremos un vuelta en
bicicleta y Si damos una vuelta en bicicleta,
estaremos en casa para la cena conducen a la
conclusin Estaremos en casa para la cena.