17/06/2010

1
CURSO PROPEDUTICO
DE LGICA MATEMTICA
1
Dr. Art uro Snchez
Junio 2010
REPASO DE
LGICA MATEMTICA
2
Ral Ernesto
Gonzlez Torres
Cinvestav-Guadalajara
17/06/2010
2
3
Contenido
Sesin 1 Sesin 1
Proposiciones
Conectivos lgicos y tablas de verdad
Tautologas, contradicciones y consecuencias lgicas
Leyes de equivalencia. lgebra booleana de proposiciones
Cuantificadores universal y existencial. Frmulas cuantificadas
Sesin 2. Mtodos bsicos de demostracin en lgica matemtica
Inferencia o deduccin
Demostracin directa (estudio en rojo)
Sesin 3. Mtodos bsicos de demostracin en lgica matemtica
Demostracin indirecta
Demostracin por contradiccin
Demostracin por resolucin
Uso de cuantificadores
Demostracin por casos
Sesin 4. Induccin matemtica
4
Bibliografa Lgica
N t d l b M d Not as de lgebra Moderna
Ral Ernest o Gonzlez T., Ed. I t eso, 1996
Mat emt icas Discret as
R. Johnsonbaugh, Ed. Prent ice-Hall, 1999
Mat emt icas Discret a y Combinat oria Mat emt icas Discret a y Combinat oria
Ralph P. Grimaldi, Ed. Pearson, 1997
Element s of Discret e Mat hemat ics
C. L. Liu, Ed. McGraw-Hill, 1985
17/06/2010
3
5
Evaluacin
Un examen
cal mnima aprobat oria = 7
6
Otros puntos
f Apagar celulares, por favor
1er uso de celular en sesin, gallet as para
t odos en siguient e sesin
2ndo uso de celular en sesin, se suspende
clase y se da el t ema por vist o.
17/06/2010
4
REPASO DE
LGICA MATEMTICA
7
Ral Ernesto
Gonzlez Torres
Cinvestav-Guadalajara
8
Contenido
Sesin 1 Sesin 1
Proposiciones
Conectivos lgicos y tablas de verdad
Tautologas, contradicciones y consecuencias lgicas
Leyes de equivalencia. lgebra booleana de proposiciones
Cuantificadores universal y existencial. Frmulas cuantificadas
Sesin 2. Mtodos bsicos de demostracin en lgica matemtica
Inferencia o deduccin
Demostracin directa (estudio en rojo)
Sesin 3. Mtodos bsicos de demostracin en lgica matemtica
Demostracin indirecta
Demostracin por contradiccin
Demostracin por resolucin
Uso de cuantificadores
Demostracin por casos
Sesin 4. Induccin matemtica
17/06/2010
5
9
Introduccin
Lgica Lgica
Estudia el razonamiento
Estudia si el razonamiento es correcto
Estudia las relaciones entre sentencias
No estudia el contenido de la sentencias
Ejemplo (inferencia)
Todos los matemticos usan corbata
Cualquier persona que usa corbata es un algebrista q p q g
Por lo tanto, todos los matemticos son algebristas
La lgica NO nos ayuda a determinar si la sentencias son verdaderas
La lgica nos ayuda a determinar que si las dos primeras sentencias son
verdaderas, entonces la tercera es verdadera
Para qu usamos la lgica (desde el punto de vista prctico):
En matemticas, para demostrar teoremas
En computacin, para demostrar que un programa hace lo que debe de hacer
10
Introduccin
Tomado de Estudio en Rojo (Conan Doyle 1888) Tomado de Estudio en Rojo (Conan-Doyle, 1888)
Llegamos pues, a la pregunta final y la razn del hecho.
El motivo del asesinato no fue el robo ya que no falta nada
Entonces, existe una razn poltica o fue por una mujer?
Esa es la pregunta que me hizo reflexionar
Me inclin por la primera razn al principio. Una persona que
asesina por motivos polticos, cumple con su tarea y vuela.
Pero este asesinato fue hecho con la mayor saa y el asesino dej
sus huellas por todo el cuarto, mostrando que estuvo ah todo
el tiempo
17/06/2010
6
11
Proposiciones
Proposicin es una afirmacin de la cual podemos decir
f l bi d d que es falsa, o bien que es verdadera,
pero no ambas cosas.
EJEMPLOS:
Son proposiciones a) Tepic es la capital de Nayarit.
b) Hay vida en Marte.
c) 4 + 5 = 8 c) 4 + 5 = 8 .
No son proposiciones
d) x + 2 = 3.
e) Qu hora es?.
f) 20 3.
g) Lnzate por las cocas
12
Proposiciones
De aqu en adelante, denotaremos a una proposicin
y si tenemos una proposicin p a la cual se le ha
i d l l d d d V ( bi l l F) di
mediante una letra (como p, q, r, etc.), posiblemente con
algn subndice
Para cada proposicin hay dos posibles valores de verdad
que le podemos asignar: V (verdadero) F (falso)
asignado el valor de verdad V (o bien, el valor F), diremos
tambin que p es verdadera (o que es falsa).
17/06/2010
7
13
Conectivos lgicos y tablas de verdad
Podemos formar nuevas proposiciones a partir proposiciones
dadas mediante el uso de conectivos lgicos. Algunos de g g
ellos son:
. y conj unci n conj unci n
vv o o disyuncin disyuncin
si si ,, entonces entonces implicacin implicacin
si si yy slo slo si si doble doble si si yy slo slo si si doble doble
implicacin implicacin
no no negacin negacin
El significado que les damos trata de acercarse al uso comn
tanto como sea posible.
14
Sean P y Q proposiciones.
Formamos una nueva proposicin, P (que se lee no P),
l ll l i i d P y la llamamos la negacin negacin de P.
Tambin podemos formar una nueva proposicin usando
cualquiera de estos smbolos:
., v, y
Cada una de estas proposiciones se denota y llama por:
(P . Q) la conjuncin conjuncin de P y Q
(P v Q) la disyuncin disyuncin de P y Q
(P Q) la implica implicacin cin de P y Q
(P Q) la doble implica doble implicacin cin de P y Q
17/06/2010
8
15
Tablas de verdad
El valor de verdad que le asignamos a cada una de las
proposiciones compuestas depende de los valores de p p p p
verdad asignados a las proposiciones ms simples que las
forman, tal como se establece en las tablas de verdad
siguientes:
p q p p . q p v q p q p q
V V F V V V V V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V
16
EJEMPLO:
Construyamos la tabla de verdad de la proposicin
P:= (p p ) (p v p ) P:= (p
1
p
3
) (p
1
v p
3
)
p
1
p
3
p
1
p
3
p
1
p
3
p
1
v p
3
P
V V F F V F F
V F F V F V F
F V V F V V V
F F V V V V V
17/06/2010
9
17
La Isla de los La Isla de los
Caballerosos y los Caballerosos y los
( ll ) ( ll ) Bribones (R. Smullyan) Bribones (R. Smullyan)
Es una isla en la que hay slo dos tipos de individuos: Es una isla en la que hay slo dos tipos de individuos:
Los (o las) Los (o las) caballerosos caballerosos, que siempre dicen la verdad , que siempre dicen la verdad
Los (o las) Los (o las) bribones bribones, que siempre mienten , que siempre mienten
El reportero El reportero McGregor McGregor ha ido de visita a la ha ido de visita a la
isla para interrogar a sus habitantes isla para interrogar a sus habitantes
18
McGregor McGregor toc una puerta. El marido sali y pregunt qu toc una puerta. El marido sali y pregunt qu
deseaba. deseaba.
Estoy realizando un reportaje sobre las parejas de la Estoy realizando un reportaje sobre las parejas de la
isla, replic isla, replic McGregor. McGregor. pp gg
Necesito informacin sobre Necesito informacin sobre
usted y su esposa. usted y su esposa.
Podra decirme cul de ustedes es, si acaso, un Podra decirme cul de ustedes es, si acaso, un
caballeroso caballeroso y cul es un y cul es un bribn bribn??
Los dos
somos
bribones!
De cul tipo es el marido De cul tipo es el marido
y de cul es la esposa? y de cul es la esposa?
17/06/2010
10
19
McGregor McGregor fue a la casa siguiente y le pregunt al marido: fue a la casa siguiente y le pregunt al marido:
Son bribones los dos? Son bribones los dos?
Al menos uno
de los dos lo
es.
De cul tipo es De cul tipo es
cada uno? cada uno?
20
La siguiente casa visitada por La siguiente casa visitada por McGregor McGregor result an ms result an ms
intrigante. Ah le pregunt al marido: intrigante. Ah le pregunt al marido:
P d d i l P d d i l
Si yo soy
Puede decirme algo acerca Puede decirme algo acerca
de usted y su esposa? de usted y su esposa?
Si yo soy
caballeroso,
entonces tambin
lo es mi esposa.
De cul tipo es el De cul tipo es el
marido y de cul es marido y de cul es
la esposa? la esposa?
17/06/2010
11
21
Tautologas y contradicciones
Sea T una proposicin que se forma con las n letras
i i l d l ti proposicionales p
1
, p
2
, ... , p
n
usando los conectivos ya
definidos.
Llamamos contradiccin a una proposicin C cuya negacin
Decimos que T es una tautologa si T es verdadera para
todas las asignaciones posibles de valores de verdad de las
proposiciones que la forman.
Llamamos contradiccin a una proposicin C cuya negacin
C es una tautologa.
Evidentemente, una contradiccin es una proposicin falsa
para todas las asignaciones posibles de valores de verdad
de las proposiciones que la forman
22
EJEMPLO: La proposicin T:= (p q) ((p . q) (r . r))
es una tautologa:
p q q p . q p q (p . q) (r . r) T p q q p . q p q (p . q) (r . r) T
V V F F V V V
V F V V F F V
F V F F V V V
F F V F V V V
Observemos que las proposiciones
(p q) y (p . q) (r . r)
tienen la misma tabla de verdad
Esta tautologa suele llamarse
Prueba por Reduccin al Absurdo
17/06/2010
12
23
EJEMPLOS: La proposicin C:= (p p) p
es una contradiccin:
p p p p C C p p p p C C
V F F F V
F V V F V
L t t l ( ) id l
Tambin son contradicciones (p . p) y (p p)
La tautologa (p v p) es conocida como la
Ley del Tercero Excluido
24
Consecuencias lgicas
Sean P
1
, P
2
, ..., P
n
n proposiciones, y sea Q una proposicin.
Decimos que Q es una consecuencia lgica de P
1
, P
2
, ..., P
n
,
y escribimos
P
1
, P
2
, ..., P
n
Q
si y slo si siempre que las proposiciones P
1
, P
2
, ..., P
n
sean
verdaderas tambin lo es Q .
Cuando P P P Q decimos que tenemos un Cuando P
1
, P
2
, ..., P
n
Q, decimos que tenemos un
argumento lgico vlido, cuya
conclusin es Q y cuyas
premisas o hiptesis son P
1
, P
2
, ..., P
n
.
17/06/2010
13
25
EJEMPLO:
p v q, r v q p v r
Usemos tablas de verdad para determinar si el
argumento lgico siguiente es o no es vlido:
p q r q p v q r v q p v r
V V V F V V V
V V F F V F V
V F V V V V V
V F F V V V V V F F V V V V
F V V F V V V
F V F F V F F
F F V V F V V
F F F V F V F
El
argumento
es vlido
26
Leyes de equivalencia
Dos proposiciones, P y Q, son llamadas equivalentes
( ibi P Q) i d l i i (y escribimos P Q) siempre y cuando la proposicin
P Q es una tautologa
Observemos que si P Q, entonces
las tablas de verdad de P y Q son idnticas fila a fila
Algunas equivalencias sencillas pero tiles son :
i i PP QQ (P (P Q) Q) .. (Q (Q P) P) i. i. P P Q Q (P (P Q) Q) .. (Q (Q P) P)
ii. ii. P P Q Q P P vv QQ
iii. iii. P P vv Q Q P P QQ
iv. iv. P P Q Q Q Q PP (Ley Contrarecproca)
17/06/2010
14
27
Leyes de equivalencia
Si pensamos que dos proposiciones equivalentes son
esencialmente iguales y que los conectivos lgicos son

esencialmente iguales y que los conectivos lgicos son
operaciones entre proposiciones, entonces podemos
algebrizar la lgica formando una estructura algebraica
conocida como el
lgebra Booleana de la Lgica Proposicional.
Esta satisface las leyes que establecemos a continuacin.
Pero antes, introduzcamos dos smbolos nuevos, que en esta Pero antes, introduzcamos dos smbolos nuevos, que en esta
lgebra juegan el papel de elementos neutros:
F (falsedad) que es una contradiccin F (falsedad) que es una contradiccin
V (verdad) que es una tautologa V (verdad) que es una tautologa
Observemos que p v p V y p . p F
28
Leyes de equivalencia
Leyes Asociativas Leyes Asociativas::
(p (p vv q) q) vv r r p p vv (q (q vv r) r) (p (p .. q) q) .. r r p p .. (q (q .. r) r)
Leyes Conmutativas Leyes Conmutativas::
p p vv q q q q vv pp p p .. q q q q .. pp
Leyes Distributivas Leyes Distributivas::
p p vv (q (q .. r) r) (p (p vv q) q) .. (p (p vv r) r) p p .. (q (q vv r) r) (p (p .. q) q) vv (p (p .. r) r)
Leyes de De Morgan Leyes de De Morgan::
(p (p vv q) q) p p .. qq (p (p .. q) q) p p vv qq
17/06/2010
15
29
Leyes de equivalencia
Leyes de Idempotencia Leyes de Idempotencia::
Ley de Doble Negacin Ley de Doble Negacin::
p p pp
Leyes de Absorcin Leyes de Absorcin::
pp vv (p (p .. q) q) pp pp .. (p (p vv q) q) pp
(p (p vv p) p) pp (p (p .. p) p) pp
p p vv (p (p .. q) q) pp p p .. (p (p vv q) q) pp
Leyes del Cero y el Uno Leyes del Cero y el Uno::
(p (p vv FF) ) pp (p (p .. FF) ) FF
(p (p vv VV) ) VV (p (p .. VV) ) pp
30
EJEMPLO:
Usemos las leyes de equivalencia establecidas
anteriormente para probar la equivalencia
siguiente: g
p q (p . q) v (q . p)
p q (p q) . (q p)
(p v q) . (q v p)
(p v q) . (q v p)
((p v q) . q) v ((p v q) . p)
Justifiquemos Justifiquemos
cada paso ! cada paso !
((p v q) . q) v ((p v q) . p)
(q . (p v q)) v (p . (p v q))
((q . p) v (q . q)) v ((p . p) v (p . q))
((q . p) v FF) v (FF v (p . q))
(p . q) v (q . p)
17/06/2010
16
31
Conjuntos y predicados
Un conjunto es una coleccin cualquiera de objetos,
llamados los elementos del conjunto llamados los elementos del conjunto.
Dados los conjuntos A y B, la expresin AeB representa la
proposicin A es un elemento de B, o tambin A
pertenece a B.
La negacin de la proposicin AeB se escribe AeB.
Algunos conjuntos que usamos frecuentemente son: g j
N:= los nmeros naturales: 1, 2, 3, ...
Z:= los nmeros enteros: ..., -2, -1, 0, 1, 2, ...
Q:= los nmeros racionales: q = a/b, con a, beZ y b = 0
R:= los nmeros reales: r = a.b
0
b
1
b
2
b
3
..., con a, b
i
eZ
32
Conjuntos y predicados
Un predicado o proposicin abierta es una afirmacin que
contiene una o ms variables las cuales toman sus valores contiene una o ms variables, las cuales toman sus valores
de cierto conjunto universal o dominio, que al ser
sustituidas por elementos de ese conjunto convierten a la
expresin en una proposicin.
Si P(x) es un predicado cuya variable x toma sus valores de
Denotaremos a un predicado que contenga las variables x, y,
z, etc., como P(x, y, z, ...).
Si P(x) es un predicado cuya variable x toma sus valores de
un dominio D y deD, entonces P(d) es una proposicin
Si Q(x, y) es un predicado tal que la variable x toma sus
valores de A, mientras que la variable y los toma del dominio
B, entonces, para aeA, beB, tenemos que
Q(a, b) es una proposicin
17/06/2010
17
33
Sea P(x): x + 1 > 2 y tomemos como dominio N.
Si x es sustituida por 1 obtenemos 2 > 2 o P(1) (F)
Predicados
EJEMPLO:
Si x es sustituida por 1, obtenemos 2 > 2 o P(1) (F).
Si x es sustituida por 3, obtenemos 4 > 2 o P(3) (V).
Vamos a combinar predicados usando los mismos
conectivos del clculo proposicional, y aplicaremos las
propiedades de las proposiciones (como las leyes de
equivalencia), tal como si stos fueran proposiciones.
(P(x) Q(x, y)) (P(x) v Q(x, y))
EJEMPLO:
(ley de De Morgan)
(ley de doble neg.)
P(x) . Q(x, y)
P(x) . Q(x, y)
34
Dado un predicado P(x), tal que los valores de la variable x
son tomados de un conjunto A al colocarle a su izquierda la
Cuantificador universal
son tomados de un conjunto A, al colocarle a su izquierda la
expresin (x)
(que se lee para todo x (en A), tal que, o tambin para cada
x (en A), tal que), obtenemos una proposicin:
(x)P(x),
La cual es verdadera si y slo si cada elemento de A
convierte a P(x) en una proposicin verdadera convierte a P(x) en una proposicin verdadera.
De lo contrario, (x)P(x) es falsa.
Es decir, si hay por lo menos un elemento de A que convierte
a P(x) en una proposicin falsa, entonces (x)P(x) es falsa.
Un elemento a de A para el cual P(x) es falsa es llamado un
contraejemplo de (x)P(x)
17/06/2010
18
35
Cuantificador universal
EJEMPLOS:
Sean A
:
= el conjunto de las flores y P(x): x es amarilla 1 Sean A
:
= el conjunto de las flores, y P(x): x es amarilla .
Entonces (x)P(x) es la proposicin para toda x flor, x es
amarilla, o mejor an todas las flores son amarillas
1.
2. Consideremos la proposicin
Todos los nmeros impares son primos
Para expresarla simblicamente tomemos como dominio
Entonces la proposicin dada se escribe as:
Para expresarla simblicamente, tomemos como dominio
el conjunto de los nmeros naturales N, y sean
L(x): x es impar P(x): x es primo
(x)(L(x) P(x))
36
Cuantificador existencial
Dada una proposicin abierta P(x), tal que los valores de la
variable x son tomados de un conjunto A al colocarle a su variable x son tomados de un conjunto A, al colocarle a su
izquierda la expresin (x)
(que se lee existe un elemento x (en A), tal que, o tambin
hay un x (en A), tal que), obtenemos la proposicin:
(x)P(x).
Esta proposicin es verdadera si y slo si hay por lo menos un Esta proposicin es verdadera si y slo si hay por lo menos un
elemento en A que convierta a P(x) en una proposicin
verdadera. De lo contrario, es falsa.
De aqu que, si todo elemento de A convierte a P(x) en una
proposicin verdadera, entonces (x)P(x) es falsa.
17/06/2010
19
37
Cuantificador existencial
EJEMPLOS:
S A
:
l j t d l fl P( ) ill 1 Sean A
:
= el conjunto de las flores, y P(x): x es amarilla.
Entonces (x)P(x) es la proposicin existe una x flor tal que
x es amarilla, o mejor an Al menos una flor es amarilla
1.
2. Consideremos la proposicin
Algunos nmeros impares son primos
Para expresarla simblicamente tomemos como dominio
Entonces la proposicin dada se escribe as:
Para expresarla simblicamente, tomemos como dominio
el conjunto de los nmeros naturales N, y sean
L(x): x es impar P(x): x es primo
(x)(L(x) . P(x))
38
Negaciones de cuantificadores
De las definiciones de los cuantificadores universal y
existencial se desprenden las siguientes equivalencias: existencial se desprenden las siguientes equivalencias:
(x)P(x) (x)P(x)
(x)P(x) (x)P(x)
EJEMPLO:
Consideremos la proposicin
Todos los nmeros impares son primos Todos los nmeros impares son primos
Su forma simblica es: (x)(L(x) P(x))
Su negacin es: (x)(L(x) P(x)) (x)(L(x) P(x))
(x)(L(x) . P(x))
Es decir: Algunos nmeros impares no son primos
17/06/2010
20
39
Negaciones de cuantificadores
EJEMPLO:
Sobre el dominio Z tenemos el predicado Q(x y): y > x Sobre el dominio Z tenemos el predicado Q(x, y): y > x .
Entonces la proposicin
Se interpreta como
para cada nmero entero x existe un nmero entero y tal
que y > x.
(x)(y)Q(x, y)
q y
Su negacin es:
(x)(y)Q(x, y) (x)(y)Q(x, y)
(x)(y)Q(x, y)
la cual se interpreta como:
Hay un nmero entero ms grande que todos los dems