Professional Documents
Culture Documents
Conjuncin
y
Disyuncin
o
Tablas de verdad
Negacin:
p
V
F
F
V
Ejemplo.
P: el sol es ms pequeo que la tierra F
P : el sol no es ms pequeo que la tierra V.
Conjuncin:
P Q
V
V
P Q
V
F
V
F
F V
Ejemplo.
P: 2 es par y 2 es primo V
Q: 3 es par y 3 es primo F
R: 8 es par y 8 es primo F
S: 15 es par y 15 es primo F
Disyuncin:
P Q
V
V
PQ
V
F
V
V
F V
Ejemplo.
P: 4 es par o 4 es mltiplo de 2 V
Q: 4 es par o 4 es primo V
R: 8 es primo o 8 es mayor que 6 V
S: 15 es par o 15 es primo F
Smbolo
PQ
V
F
V
F
F V
Ejemplo.
Si dos nmeros no son iguales, entonces uno es mayor que el otro.
Si es negro, entonces no refleja la luz.
Doble implicacin
O bicondicional: _______ si y slo _______.
2
Smbolo
P Q
PQ
V
V
V
F
V
F
Proposiciones equivalentes
R QR
P (Q R) P Q
P R ( P Q ) ( P R)
V
V
F
F
V
F
V
F
V
F
F
F
V
F
V
F
( P Q) (Q) (P)
( P Q) (Q) (P)
leyes de de DMorgan
( P Q) P (Q)
Proposiciones
Por su valor de
verdad
Tautologa
Siempre verdadera
Contradiccin
Siempre falsa
Contigente
A veces verdadera,
otras veces falsa
Ejemplos.
Tautologas
Q ( P Q)
P ( P Q )
P ( P Q )
P (( P Q))
( P Q ) ( P Q )
PQ P
PQ Q P
V
V
V
F
V
F
V
V
P Q ( P Q) P
Q ( P Q ) P ( Q )
V
V
V
F
V
F
V
F
F
V
F
F
Contingentes
( P Q) P
( P Q ) ( P Q )
P P Q
V
V
V
F
V
V
V
V
Razonamientos lgicos.
Un razonamiento lgico es una sucesin de proposiciones lgicas
P1 , P2 ,K Pn , Q donde las proposiciones P1 , P2 ,K Pn se llaman premisas o
hiptesis y Q se llama la conclusin.
El razonamiento lgico se dice que es vlido si la proposicin
( P1 P2 K Pn ) Q
Es verdadera.
Si alguna de las Pi es falsa, entonces P1 P2 K Pn es falsa y
( P1 P2 K Pn ) Q es verdadera. Por lo cual, el caso importante es
cuando todas las hiptesis son verdaderas, P1 P2 K Pn es verdadera y
con ello llegar a probar que Q es verdadera.
Razonamientos lgicos basicos.
Razonamientos
Lgicos
Bsicos
Ponendo Ponens
Tollendo Tollens
Tollendo Ponens
PQ
PQ
Q
P
PQ
P
Q
P
Q
(( P Q ) (Q ) ) (P )
V
V
V
F
V
F
F
V
F
F
F
F
V
V
3. El est en el estadio.
1. Si tiene luz propia, entonces el astro es una estrella.
2. El astro no es una estrella.
Ejemplo.
Si la ballena es un mamfero, entonces toma oxgeno del aire. Si toma
oxgeno del aire, entonces no necesita branquias. La ballena es un
mamfero y vive en el ocano. Conclusin: la ballena no necesita
branquias.
A: la ballena es un mamfero
B: la ballena toma oxgeno del aire.
C: la ballena necesita branquias.
D: La ballena vive en el ocano.
1. A B
2. B C
3. A D
C
( J M )
1.
2.
3.
4.
A C
C M
( R A)
MR
R
( R A) R A
R , A son verdaderas
A C y A por ponendo ponens, C
C M ,
C por tollendo ponens, M
M R , M , por ponendo ponens, R
Por lo tanto R y R , nos da una contradiccin.
DIRECTA
INDIRECTAS
CONTRAPUESTA
PRINCIPIO DE
INDUCCION
MATEMATICA
CONTRADICCION
10
Demostracin Directa.
Se aplica para demostrar proposiciones de la forma P Q .
Se supone verdadera P, y junto con axiomas, teoremas y razonamientos
lgicos se debe obtener que Q es verdadera.
Demostracin Indirecta (Contrapuesta)
Se aplica para demostrar proposiciones de la forma P Q
Se supone verdadera Q , usando esto, junto con axiomas, teoremas y
razonamientos lgicos se debe obtener que P es verdadera.
Demostracin Indirecta (Contradiccin o reduccin al absurdo)
Se aplica para demostrar proposiciones de cualquier tipo, en particular las
simples, P.
Se supone verdadera P , usando esto junto con axiomas, teoremas y
razonamientos lgicos se debe obtener una proposicin de la forma
R R la cual es una contradiccin.
Demostracin por el Principio de Induccin Matemtica.
Se aplica para demostrar proposiciones relativas a los nmeros naturales
exclusivamente.
Ejemplos.
Demostraciones directas:
1. Si x + 3 = 10 , entonces x = 7
Demostracin.
x + 3 = 10 , hiptesis
x + 3 3 = 10 3 restamos 3 de ambos lados
por inverso aditivo
x+0 = 7
por neutro aditivo
x=7
Por lo tanto x = 7 .
2. Si n y m son pares, entonces n + m es par.
Demostracin.
n y m son pares, hiptesis
n = 2k y m = 2l para ciertos enteros k y l
n + m = 2k + 2l sustituyendo en n + m
n + m = 2( k + l ) factorizando 2
Por lo tanto n + m es par.
11
Demostraciones indirectas(contrapuesta):
1. Si n 2 es impar, entonces n es impar.
Demostracin.
Negamos la conclusin n es impar
Es decir, suponemos que n es par,
Por lo que n = 2k para algn entero k,
n 2 = 4k 2 elevando al cuadrado ambos lados de la igualdad
n 2 = 2( 2k 2 ) , por lo que
n 2 es par , hemos llegado a la negacin de la hiptesis,
Por lo tanto, Si n 2 es impar, entonces n es impar.
Demostraciones indirectas(contradiccin):
1. Si a Q y b Q , entonces a + b Q .
Demostracin.
Suponemos falsa la implicacin, es decir que las hiptesis son
verdaderas y la conclusin falsa:
a Q y bQ y a +bQ
Entonces a Q y
(a + b) + (a ) Q ,
Por lo que b Q ,
Por lo tanto b Q y b Q lo cual es una contradiccin.
Lo que estuvo mal suponer es que la conclusin era falsa, por lo
tanto se tiene que si las hiptesis son verdaderas tambin lo es la
conclusin, as:
Si a Q y b Q , entonces a + b Q .
2.
2 es irracional.
Entonces
2=
p
, debido al axioma de inversos
q
multiplicativos.
Ahora multiplicamos de ambos lados
12
2=
p
por q
q
2q = p
Esto nos dice que p 2 es un nmero par y tambin p debe ser par.
escribimos
p = 2m con m Z
Y lo sustituimos en 2q 2 = p 2
Quedando
2q 2 = ( 2 m ) 2 = 4 m 2 q 2 = 2 m 2
Cuantificador existencial:
Sirve para indicar que unos, algunos elementos o al menos un elemento del
conjunto A , satisfacen la propiedad P ( x )
Existe un x en A tal que P ( x )
13
simultanea.
Ejemplos.
a.
b.
c.
d.
Ya contamos con los elementos bsicos de lgica para poder demostrar los
teoremas de nuestro curso.
1.3 TEOREMAS DE CAMPO DE NUMEROS REALES
TEOREMAS.
Para cualesquiera nmeros reales a, b, c se satisfacen:
1. Si a + c = b + c entonces a = b
2. a.0 = 0.a = 0
3. Si ac = bc y c 0 entonces a = b .
4. El neutro aditivo en los reales es nico.
5. El inverso aditivo de cada nmero real es nico.
6. a = (1)a
14
7. a (b) = (ab) = (a )b
8. (a ) = a
9. (a )(b) = ab
10. ab = 0 si y slo si a = 0 o b = 0 .
Demostraciones.
1. Si a + c = b + c entonces a = b
a + c = b + c hiptesis
por axioma de inversos aditivos, existe (c ) y se suma a ambos lados
de la igualdad
( a + c ) + ( c ) = ( b + c ) + ( c )
2.
a.0 = a.0 + 0 propiedad del neutro aditivo
= a.0 + (a + (a )) expresando 0 en forma adecuada
= (a.0 + a ) + ( a ) axioma de asociatividad de la suma
= a (0 + 1) + ( a )
= a. 1 + ( a )
= a + (a )
=0
axioma de distributividad
propiedad de neutro aditivo
propiedad de neutro multiplicativo
propiedad de inverso aditivo
3. Si ac = bc y c 0 entonces a = b .
ac = bc hiptesis (1)
c 0 hiptesis (2)
Como c 0 , por axioma de inversos multiplicativos, existe c 1 R
Multiplicamos de ambos lados a la hiptesis (1)
(ac )c 1 = (bc )c 1
(2) a + e2 = e2 + a = a
para todo a R
Respectivamente.
Sustituimos a = e2 en (1)
(3) e2 + e1 = e1 + e2 = e2
Sustituimos a = e1 en (2)
(4) e1 + e2 = e2 + e1 = e1
Relacionamos (3) y (4) a travs de el axioma de conmutatividad de la
suma e1 + e2 = e2 + e1
por lo tanto e1 = e2 .
5. El inverso aditivo de cada nmero real es nico.
Tomemos a R supongamos que existen dos inversos aditivos para a :
a1 y a 2 , entonces se deben satisfacer
a + a1 = a1 + a = 0 y a + a 2 = a 2 + a = 0
Por transitividad de la igualdad tenemos 0 = a + a1 = a + a2
Y por la ley de cancelacin para la suma, la propiedad 1, a1 = a 2 .
6. a = (1)a
Identificamos el lado izquierdo de la igualdad como el inverso aditivo
de a el cual satisface
(1)
a + ( a ) = 0
el lado derecho (1)a , entonces se quiere que resulte igual al inverso
aditivo de a , entonces deber satisfacer la propiedad de inverso, por lo
que lo sumamos con a , para ver qu resulta
por ax. de neutro multiplicativo
a + ( 1)a = 1.a + ( 1)a
por distributividad
= (1 + (1))a
ax. de inverso aditivo
= 0.a
teorema 2
=0
Esto quiere decir que
a + ( 1)a = 0 (2)
relacionamos las expresiones (1) y (2) y tenemos a + (a ) = a + (1)a
y por la ley de cancelacin concluimos a = (1)a .
7. a (b) = (ab) = (a )b
(ab) es el inverso aditivo de (ab) y satisface
ab + ( (ab)) = 0
(1)
Se requiere que a (b) resulte igual al inverso aditivo de (ab)
Por lo que sumamos
16
ab + (a ( b)) = a (b + ( b))
= a.0
=0
Es decir ab + (a (b)) = 0
por distributividad
inverso aditivo
teorema 2
(2)
Igualando las expresiones (1) y (2)
ab + ( (ab)) = ab + (a ( b))
9. (a )(b) = ab
Sabemos que ab + ((ab)) = 0 (1)
Ahora
teorema 7
distributividad
= (a )((b) + b)
inverso aditivo y teorema 2
= (a ).0 = 0
Es decir (a )(b) + ((ab)) = 0 (2)
relacionamos (1) y (2) ab + ((ab)) = (a )(b) + ((ab))
Por la ley de cancelacin tenemos (a )(b) = ab .
( a )(b) + ((ab)) = ( a )(b) + ( a )b
10. ab = 0 si y slo si a = 0 o b = 0 .
) ab = 0 hiptesis
como a 0 entonces existe a 1 R y
a 1 (ab) = a 1 0
multiplicamos de ambos lados la hiptesis
1
(a a )b = 0
asociatividad de multip. y teorema 2
1.b = 0
inverso multiplicativo
b=0
neutro multiplicativo
17
a
a
, como = a (b 1 )
b
b
Los axiomas y teoremas de campo de los nmeros reales son tiles para
manipular los nmeros y poder resolver ecuaciones y problemas en general.
Ejemplos. Resuelva las ecuaciones dadas:
1. 2( x + 3) = 5( x 1) 7( x 3)
Aplicamos la propiedad distributiva en cada uno de los tres
trminos
2 x + 6 = 5 x 5 7 x + 21
Simplificamos
4 x = 10
x=
2.
10 5
=
4 2
3
5
2
para
=
2x 4 x + 3 x 2
x 2 o x 3
=
2( x 2) x + 3 x 2
=
2( x 2)
x+3
x2
11x = 17
x=
17
11
3. x 2 5 x = 14
Sumamos el inverso aditivo de 14 de ambos lados
x 2 5 x 14 = 0
Y aplicamos el teorema 10
x=
5
o x = 2
3
19
Lo que es equivalente a
3 x 5(300 x )
+
= 10
100
100
Lo que es equivalente a
45 x + 3400 85 x = 2400
40 x = 1000
luego
1000 100
=
= 25 son los kg de caf brasileo y
40
4
40 x = 40 25 = 15 son los kg de caf chiapaneco.
x=
20