lgebra Superior I Unidad 1.

Lgica, mtodos de demostracin y conjuntos

Notas de curso 1
UNIDAD 1. LGICA, MTODOS DE DEMOSTRACIN Y
CONJUNTOS


En esta unidad daremos una pequea introduccin al tema de la Lgica Matemtica o
lgica proposicional.
Podemos decir que la Lgica Matemtica es una teora analtica del arte de razonar, uno
de sus principales objetivos es sistematizar los principios que rigen los razonamientos
vlidos o verdaderos. De manera informal diremos que un razonamiento es vlido
cuando nos permite obtener conclusiones verdaderas si uno ha comenzado con
proposiciones verdaderas.
Tambin veremos en esta unidad los mtodos de demostracin ms utilizados en
Matemticas y su fundamentacin lgica.
Por ltimo, al finalizar la unidad, veremos el concepto de conjunto, las operaciones que
podemos hacer con los conjuntos y sus propiedades.



1.1 NOCIONES DE LGICA ELEMENTAL

Comenzaremos con los conceptos primitivos de verdadero (V) y falso (F). Decimos que
ambos conceptos son primitivos porque no son definibles, es decir no los explicamos en
trminos de conceptos ms elementales.

1.1.1 Proposicin y su valor de verdad.

Definicin 1. Una proposicin es una expresin con un nico valor de verdad,
verdadero o falso.

En particular, debemos estar de acuerdo que una expresin no puede ser verdadera y
falsa a la vez; sin embargo, si el valor de verdad de una expresin depende de la
circunstancia en que se enuncie, tal expresin se conoce como proposicin
circunstancial, por ejemplo la expresin "hoy es viernes" es una proposicin
circunstancial, pues su valor de verdad depende del da de la semana en que la estemos
enunciando.

Ejemplo 1. De las siguientes expresiones decir cuales son proposiciones y en su caso
dar su valor de verdad.

1) La Tierra es un planeta.
Es una proposicin verdadera.

2) 12 es un nmero primo.
Es una proposicin falsa.

3) 4 <
No es proposicin.

4) 1=2
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 2
Es una proposicin falsa.

5) El 13 de marzo de 1956 fue martes.
Es una proposicin verdadera.

Ejercicio 1. De las siguientes expresiones determina cuales son proposiciones y en caso
de ser proposiciones, halla su valor de verdad.

1) t es un nmero racional.
2) Me gusta el lgebra.
3) Quin vino?
4) 2 es un nmero irracional.
5) 2 x 0 + = .
6) Todos los mexicanos hablan espaol.
7) Viva Mxico!
8) 3 3 + =
9) Est lloviendo.
10) Muero porque no muero.

Solucin ejercicio 1.

1) Es una proposicin falsa.
2) Es una proposicin verdadera.
3) No es proposicin.
4) Es una proposicin verdadera.
5) No es proposicin.
6) Es una proposicin falsa.
7) No es proposicin.
8) No es proposicin.
9) Es una proposicin falsa.
10) No es proposicin.

Utilizaremos las letras p,q,r,... para denotar proposiciones. p,q,r,... se llaman
variables proposicionales.

1.1.2 Los conectivos lgicos.

A partir de proposiciones dadas se pueden construir nuevas proposiciones usando los
conectivos lgicos. Se pueden definir el valor de verdad de las nuevas proposiciones en
funcin del valor de verdad de las proposiciones dadas. Los conectivos lgicos son:
. v , , , , .


1.1.3 La tabla de verdad de una proposicin.

Definicin 2. Se llama tabla de verdad de una proposicin a aquella tabla donde se
establecen los valores de verdad de una proposicin.

Nota. Para construir la tabla de verdad de una proposicin compuesta podemos calcular
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 3
las combinaciones posibles de los valores de verdad de las proposiciones componentes
mediante la siguiente regla:


Nmero de proposiciones Total de combinaciones posibles de los valores de verdad
1 2
2 4
3 8
4 16
5 32
n
2
n



A continuacin veremos las definiciones de los conectivos lgicos.

La negacin.

Definicin 3. Si p es una proposicin entonces no p , llamada la negacin de p y
denotada p , es una nueva proposicin que le cambia el valor de verdad de p .

Tabla de verdad de la negacin:


p p
V
F
F
V


Ejemplo 2. Determina la negacin de cada proposicin.

1) p : 3 es un nmero par. (F)
Solucin:
p : 3 no es un nmero par. (V)

2) q : 2 es un nmero primo. (V)
Solucin:
q : 2 no es un nmero primo. (F)


La conjuncin.

Definicin 4. Sean p q , dos proposiciones, entonces la conjuncin: p q y , denotada
p q . , es una proposicin que es verdadera solo cuando ambas p q y son verdaderas.

Tabla de verdad de la conjuncin:

p q p q .
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 4
V
V
F
F
V
F
V
F
V
F
F
F


Ejemplo 3. Determina la conjuncin de las proposiciones dadas:

1) p : 1 es un nmero impar. (V)
q : 3 es un nmero primo. (V)
Solucin:
p q . : 1 es un nmero impar y 3 es un nmero primo. (V)

2) r : 2 es un nmero natural. (V)
s : 2 5 . es un nmero entero. (F)
Solucin:
r s . : 2 es un nmero natural y 2 5 . es un nmero entero. (F)

La disyuncin.

Definicin 5. Sean p q , dos proposiciones, entonces la disyuncin: p o q , denotada
p q v , es una proposicin que es falsa solo cuando ambas p q y son falsas.

Tabla de verdad de la disyuncin:

p q p q v
V
V
F
F
V
F
V
F
V
V
V
F


Ejemplo 4. Determina la disyuncin de las proposiciones dadas:

1) p : Voy al cine esta noche. (F)
q : Me quedo a estudiar. (V)
Solucin:
p q v : Voy al cine esta noche o me quedo a estudiar. (V)

2) r : 7 es un mltiplo de 3. (F)
s : 5 es un nmero entero par. (F)
Solucin:
r s v : 7 es un mltiplo de 3 o 5 es un nmero entero par. (F)


La condicional.

Definicin 6. Sean p q , dos proposiciones, entonces la condicional: si p entonces q ,
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 5
denotada p q , es una proposicin que es falsa solo cuando la proposicin
antecedente p es verdadera y la consecuente q es falsa.

Tabla de verdad de la condicional:

p q p q
V
V
F
F
V
F
V
F
V
F
V
V


Ejemplo 5. Determina la condicional de las proposiciones dadas:

1) p : 8 es par. (V)
q : 9 es nmero primo. (F)
Solucin:
p q : Si 8 es par entonces 9 es nmero primo. (F)

2) r : 5 es un mltiplo de 2. (F)
s : 5 es un nmero entero par. (F)
Solucin:
r s : Si 5 es un mltiplo de 2 entonces 5 es un nmero entero par. (V)

Nota. p q tiene las siguientes formas equivalentes de leerse.
1) Si p entonces q .
2) p implica q .
3) p es condicin suficiente para q .
4) q es condicin necesaria para p .
5) q solo si p .


La bicondicional.

Definicin 7. Sean p q , dos proposiciones, entonces la bicondicional: p si y solo si q ,
denotada p q , es una proposicin que es verdadera solo cuando ambas
proposiciones p y q tienen el mismo valor de verdad: ambas verdaderas o ambas
falsas.

Tabla de verdad de la bicondicional:

p q p q
V
V
F
F
V
F
V
F
V
F
F
V

lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 6

Ejemplo 6. Determina la bicondicional de las proposiciones dadas:

1) p : Est lloviendo. (F)
q : Est nublado. (V)
Solucin:
p q :Est lloviendo si y solo si est nublado. (F)

2) r : 4 es impar. (F)
s : 4 es un nmero primo. (F)
Solucin:
r s : 4 es impar si y solo si es primo. (V)


Nota. p q tiene las siguientes formas equivalentes de leerse.
1) p si y solo si q .
2) p es equivalente a q .
3) p es condicin necesaria y suficiente para q .
4) q es condicin necesaria y suficiente para p .
5) p implica q y q implica p .

Ejemplo 7.

1) Elabora la tabla de verdad de la siguiente proposicin q pv .

Solucin.
p q p q pv
V
V
F
F
V
F
V
F
F
F
V
V
V
F
V
V


Ntese de la tabla anterior que se obtuvieron los mismos valores de verdad para la
proposicin q pv que los que se obtuvieron para la condicional p q . As se dice
que la proposicin q pv es equivalente a p q , lo cual se simboliza
( ) ( ) p q p q v .

2) Construir la tabla de verdad de la proposicin p q q p . ( ) ( ) .

Solucin.

p q p q q p
p q q p . ( ) ( )
V V V V V
V F F V F
F V V F F
F F V V V
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 7


Ntese de la tabla anterior que se obtuvieron los mismos valores de verdad para la
proposicin p q q p . ( ) ( ) que los que se obtuvieron para la bicondicional.
p q As se dice que la proposicin p q q p . ( ) ( ) es equivalente a p q , lo
cual se simboliza
| | ( ) p q q p p q . ( ) ( ) .

Ejemplo 8. Las siguientes proposiciones se conocen como condicionales de particular
inters

a) Proposicin directa: p q
b) Proposicin recproca: q p
c) Proposicin contraria: p q
d) Proposicin contrarrecproca: q p

Tabla de verdad de estas condicionales:


p q p q p q q p p q q p
V V F F V V V V
V F F V F V V F
F V V F V F F V
F F V V V V V V


De la tabla se observa que la proposicin directa es equivalente a la contrarrecproca y
la proposicin recproca es equivalente a la contraria.


1.1.4 Tautologas y contradicciones.

Se dice que una expresin lgica es una variable proposicional o una expresin
compuesta de variables proposicionales que estn enlazadas adecuadamente por medio
de conectivos lgicos. Se utilizarn las letras P,Q,R,S, para denotar expresiones
lgicas.

Definicin 8. Una tautologa es una expresin lgica que siempre es verdadera sin
importar el valor de verdad de sus componentes.

Ejemplo 9. Las siguientes proposiciones son tautologas importantes:
1) p v p.
2) ( p) p.
3) (p v q) (q v p).
4) (p . q) (q . p).
5) (p v p) p.
6) p . p p.
7) (p q) (-p v q).
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 8
8) (p q) (-q -p).
9) p p v q.
10) p . (p q) q.
11) [(p q) . (q r)] (p r).
12) p . q p.
13) p v (q v r) (p v q) v r.
14) p . (q . r) (p . q) . r.
15) p v (q . r) (p v q) . (p v r).
16) p . (q v r) (p . q) v (p . r).
17) (p v q) . r (p . r) v (q . r).
18) (p . q) v r (p v r) . (q v r).
19) (p . s) v (q . r) (p v q) . (p v r) . (s v q) . (s v r).
20) (p v s) . (q v r) (p . q) v (p . r) v (s . q) v (s . r).
21) (p v q) p . q.
22) (p . q) p v q.
23) (p q) (q p).
24) (p q) (p . q).
25) (p q) ( p q).
26) (p q) (p q).
27) (p q) ( p q).
28) [ (r
1
v r
2
) q ] [ (r
1
q) . (r
2
q)].
29) [ p (r . r) ] p.


Verifiquemos que los incisos 1) y 2) son tautologas. La verificacin de los dems
incisos quedan de tarea al alumno.
1) p v p
p p
p pv
V
F
F
V
V
V
2) ( p) p

p p ( p) p ) p (
V
F
F
V
V
F
V
V


Ejercicio.- Si q p es verdadera, cul es el valor de verdad de q p v ?

Solucin: Recordemos que q p es verdadera, slo cuando p y q son ambas verdaderas
o cuando ambas son falsas, ahora construyamos la tabla de verdad.


p q q
q p v
V V F V
F F V V

Por lo tanto q p v es verdadera.
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 9
Definicin 9. Sean P, Q expresiones lgicas. Se dice que P implica lgicamente a Q si
P Q es una tautologa.

Ejemplo 10.

1) p q p . es una tautologa por lo que p q . implica lgicamente a p .
2)
| |
( ) ( ( ) p q q r p r . es una tautologa y por lo tanto
( ) ( ) p q q r . implica lgicamente a p r


Definicin 10. Sean P, Q expresiones lgicas. Se dice que P es equivalente a Q si
P Q es una tautologa. Tambin se dice que P y Q son equivalentes.

Ejemplo 11.
( p) es equivalente con p
p v q es equivalente con q v p.
p . q es equivalente con q . p.
p v p es equivalente con p.
p . p es equivalente con p.
p q es equivalente con q p.
p v (q v r) es equivalente con (p v q) v r.
p . (q . r) es equivalente con (p . q) . r.
p v (q . r) es equivalente con (p v q) . (p v r).

Veamos la siguiente tabla de verdad que efectivamente
q p con e equivalent es ) q p ( . v .

p q
q pv
) q p ( v p q
q p .
q p ) q p ( . v
V
V
F
F
V
F
V
F
V
V
V
F
F
F
F
V
F
F
V
V
F
V
F
V
F
F
F
V
V
V
V
V



Definicin 11. Una contradiccin es una expresin lgica siempre falsa, cualesquiera
que sean los valores de verdad de sus componentes.

Ejemplo 12.

1) Las siguientes proposiciones son contradicciones:
a) p . p.
b) p p


Verifiquemos que el inciso a) y b) son contradicciones:

lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 10
a) p . p.
p p p . p
V F F
F V F

b) p p.
p p p p
V F F
F V F

2) Ahora Sean p y q proposiciones. Si q es una contradiccin, qu se puede decir del
valor de verdad de la proposicin q p ? Como q es una contradiccin su valor de
verdad siempre es falso, construyamos nuestra tabla de verdad.

p q
q p
V
F
F
F
F
V

Entonces q p es falsa cuando p es verdadera y es verdadera cuando p es falsa.


Recordemos que el valor de verdad de una contradiccin es siempre falso y el de una
tautologa es siempre verdadero. Hallemos el valor de la proposicin (p . c) c, donde
p es una proposicin y c es una contradiccin.

p c p . c (p . c) c
V
F
F
F
F
F
V
V

Por lo tanto, la proposicin (p . c) c es una tautologa, es decir (p . c) es
equivalente con c.


1.1.5 Simplificacin de proposiciones.

Otra de las cosas que podemos hacer con las proporciones es simplificarlas para que sea
ms sencillo su manejo. As dada una expresin lgica P y conociendo la equivalencia
entre ciertas proposiciones podemos simplificar P a una expresin lgica Q que por
supuesto ser equivalente a ella.

Ejemplo 13.

Simplifica las siguientes proposiciones:

1)
( ) p q
.
2) ( ) ( ) q p q p p . v . v

Solucin:
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 11

1)
( ) ( ) q p p q
la proposicin directa es equivalente a la contrarrecproca
p q . por la tautologa 24.

O tambin


( ) q p
( ) ( )
q p v por la equivalencia ( ) ( ) p q p q v
( ) q p v por la tautologa 2
q p . ( ) por la tautologa 21
q p . por la tautologa 2


2)
( ) ( ) ( ) ( ) ( ) ( ) p p q p q p p p q p q v . v . v . v v .

( ) ( ) ( )
1
t p q p q . v v .
( ) ( ) p q p q v v .
( ) ( ) p q p p q q v v . v v
( ) ( ) p p q p q q v v . v v ( ) ( )
( ) ( )
2
p q p t v . v
( )
3
p q t v .
p q v

Donde
1 2 3
t ,t ,t son tautologas.



Ejercicio 2.

1) Considera la expresin: Si estudias mucho entonces apruebas lgebra.
Determina en cada inciso cul de las dos expresiones dice lo mismo que la
expresin dada.

a) Apruebas lgebra si estudias mucho.
Estudias mucho si apruebas lgebra.
b) Estudiar mucho implica aprobar lgebra.
Aprobar lgebra implica estudiar mucho,
c) Estudiar mucho es condicin suficiente para aprobar lgebra.
Aprobar lgebra es condicin suficiente para estudiar mucho.
d) Aprobar lgebra es condicin necesaria para estudiar mucho.
Estudiar mucho es condicin necesaria para aprobar lgebra.

2) Supongamos que p,q,r,s son proposiciones cuyos respectivos valores de verdad
son V,F,V,F. Halla el valor de verdad de cada una de las siguientes
proposiciones:
a) ( ) p q r v
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 12
b) ( ) r p s .

3) Supongamos que p q y p r son proposiciones ambas falsas. Halla el
valor de verdad de
( ) ( ) p r q r . v

4) Sean , , , p q r s proposiciones tales que p es falsa y r es verdadera. Encuentra el
valor de verdad de la siguiente proposicin:

( ) [ ( ) ] p q s r q . v .

5) Supongamos que p q es verdadera. Cul es el valor de verdad de p q . ?


6) Supongamos que p q es falsa. Cul es el valor de verdad de q p ?


7) Sean , , , p q r s proposiciones tales que p es falsa y s es falsa. Determina con
ello el valor de verdad de la siguiente proposicin:

( ) | | ) ( s r r q p s v .

8) Construye la tabla de verdad para determinar si las siguientes proposiciones son
tautologas, contradicciones o ninguna de ellas (contingencias).

a) ( ) ( ) p q p q v .
b) ( ) ( ) p q q p .
c) ( ) p q p .

9) Verifica la Ley Distributiva: ( ) ( ) ( ) p q r p q p r v . v . v
10) Simplifica las siguientes proposiciones usando proposiciones equivalentes
a) | |
( ) p r r q . v
b) | |
( ) s r r s . v .



Solucin ejercicio 2.

1) Las expresiones que dicen lo mismo que la expresin dada son.
a) La primera.
b) La primera.
c) La primera.
d) La primera.

lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 13
2) De acuerdo a los valores de verdad de p,q,r,s tenemos:

a)

p q
r
p q v
r p q r v ( )
V F V V F F

Por lo tanto p q r v ( ) es falso.

b)

p
r s
p
r
p s .
( ) r p s .
V V F F F F V

Por lo tanto ( ) r p s . es verdadero.


3) Como p q es falsa entonces p es verdadera y q es falsa.
Y como tambin p r es falsa y dado que p es verdadera entonces r es falsa.
Entonces tenemos:

p q
r
q
r
p r . q r v
( ) ( ) p r q r . v
V F F V V V V V

Por lo tanto ( ) ( ) p r q r . v es verdadera.


4) Como p es falsa entonces p q es verdadera.
Por otra parte r es falsa ya que r es verdadera, entonces s r . es falsa, luego
( ) s r . es verdadera. Entonces ( ) s r q . v es verdadera.

Por lo tanto ( ) [ ( ) ] p q s r q . v es verdadera.


5) Como p q es verdadera entonces p y q ambas son verdaderas o ambas son
falsas.
Si p y q son verdaderas entonces p q . es falsa ya que p es verdadera y q es
falsa.
Si Si p y q son falsas entonces p q . es falsa ya que p es falsa y q es
verdadera.
Por lo tanto si p q es verdadera entonces p q . es falsa.


6) Como p q es falsa entonces p es verdadera y q es falsa, entonces q p es
verdadera por ser la proposicin antecedente q falsa.
Por lo tanto q p es verdadera.
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 14

7) Como p es falsa entonces p q es verdadera entonces ( ) p q r v es
verdadera, adems s es verdadera ya que s es falsa, por lo tanto
| |
s ( ) p q r . v es verdadera
Por otra parte, r s es verdadera porque s es verdadera por ser s falsa.
Por lo tanto ( ) | | ) ( s r r q p s v . es verdadera.


8) Solucin:

a) ( ) ( ) p q p q v .


p q p q p q v
R
p q v ( )
S
p q .
R S
V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V

Por lo tanto ( ) ( ) p q p q v . es una tautologa.


b) ( ) ( ) p q q p .

p q p q q p
p q q p . ( ) ( )
V V V V V
V F F V F
F V V F F
F F V V V

Por lo tanto ( ) ( ) p q q p . es una contingencia.


c) ( ) p q p .

p q p q . p q p .
( ) p q p .
V V V V F
V F F V F
F V F V F
F F F V F

Por lo tanto ( ) p q p . es una contradiccin.



lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 15
9) Verifiquemos la Ley Distributiva: ( ) ( ) ( ) p q r p q p r v . v . v mediante su
tabla de verdad.

p q
r
q r .
S
p q r v . ( )
p q v p r v
T
p q p r v . v ( ) ( )
S T
V V V V V V V V V
V V F F V V V V V
V F V F V V V V V
V F F F V V V V V
F V V V V V V V V
F V F F F V F F V
F F V F F F V F V
F F F F F F F F V


10) Solucin
a) | |
( ) p r r q . v p q v por la tautologa (29).
O tambin:
| |
( ) p r r q . v | |
p c q v porque r r . es una contradiccin.
| |
p c q v v por la tautologa (7)
p q v porque p c p v

b) | |
( ) s r r s . v . | |
( ) ( ) s r r r s . v . v por la tautologa 15
| |
( ) s t r s . . v porque r r v es una tautologa.
| |
s r s . v porque t p p .
( ) ( ) s r s s . v . por la tautologa (16)
( ) s r c . v porque s s . es una contradiccin.
s r . porque p c p v


1.2 CUANTIFICADORES


1.2.1 funciones proposicionales.

Definicin 12. Una proposicin abierta o funcin proposicional es una expresin que
contiene variables y que al reemplazar stas por constantes determinadas se convierte en
una proposicin.
Ejemplo 14.
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 16

1) p (x): x > 0 es una funcin proposicional.
p (3): 3 > 0 es una proposicin verdadera.
p (-2): -2 > 0 es una proposicin falsa.

2) q(x): x < no es funcin proposicional.
q(2): 2 < no tiene sentido.

3) r(x): 2+ 4i > x no es funcin proposicional.
r(7): 2+ 4i > 7 no tiene sentido.

4) s(x,y): x y < es una funcin proposicional.
s(2,3): 2 3 < es una proposicin verdadera.
s(4,4): 4 4 < es una proposicin falsa.

Llamaremos dominio de la variable x de una funcin proposicional al conjunto de
valores que puede tomar x para obtener proposiciones.
As para p (x): x > 0, algunos dominios podran ser: X = , X = , X = .

Definicin 13. Sea p(x) una funcin proposicional con dominio X, diremos que p(x) es
universalmente verdadera en X si el valor de verdad de p(x) es verdadero para cada
reemplazo de x por un elemento de X.

Ejemplo 15.

1) Consideremos la funcin proposicional p (x): x > 0
Entonces p(x) es universalmente verdadero en X = .
p(x) no es universalmente verdadero en X = .

2) Sea q(x): 5 x < la funcin proposicional con dominio { } 1, 2, 3, 4 X = .
Como q(x) es verdadera para cada reemplazo de x en X, entonces q(x) es
universalmente verdadera en X.

3) Sea r(x): 0 x > o 0 x < con dominio .
Entonces r(x) no es universalmente verdadera en ya que existe un elemento
0 en tal que 0 0 > o 0 0 < es falso.


1.2.2 Los cuantificadores universal y existencial.

Definicin 14. Si p(x) es una funcin proposicional con dominio X , entonces para toda
x en X, tal que p (x), denotada por , ( ) x X p x e , es una proposicin. Esta proposicin
es verdadera cuando p(x) es universalmente verdadera en X, de lo contrario es falsa.

El smbolo se llama cuantificador universal y se lee para todo, para cada, para
cualquier.
Ejemplo 16. Determina si las siguientes expresiones son proposiciones, en tal caso
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 17
halla su valor de verdad.

1) , 0 x x e >
Solucin: Esta expresin no es una proposicin ya que para 1 , 1 0 e > no
es ni verdadero ni falso, es decir 1 0 i = > carece de sentido porque en el
conjunto de nmeros complejos no existe un orden.
Por lo tanto la expresin dada no es una proposicin.

2) { } 0 , 0 x x
+
e >
Solucin: S es una proposicin y es verdadera ya que 0 x > es universalmente
verdadera en { } 0
+
.
Por lo tanto { } 0 , 0 x x
+
e > es una proposicin verdadera.

3) { } 0 , 0 x x
+
e >
Solucin: S es una proposicin y es falsa ya que 0 x > no es universalmente
verdadera en { } 0
+
, pues para 0, tenemos que 0 0 0 x = = > es falsa.
Por lo tanto { } 0 , 0 x x
+
e > es una proposicin falsa.

4) , 0 x x e <
Solucin: Es una proposicin y es falsa ya que 0 x < no es universalmente
verdadera en , pues para 1, tenemos que ( 1) 1 0 x = = < es falso.
Por lo tanto , 0 x x e < es una proposicin falsa.

5)
2
, 0 x x e >
Solucin: S es una proposicin y es verdadera ya que
2
0 x > es universalmente
verdadera en .
Por lo tanto
2
, 0 x x e > es una proposicin verdadera.

6)
2
( , ) , 0 x y x y e + >
Solucin: Es una proposicin y es falsa ya que 0 x y + > no es universalmente
verdadera en
2
, pues para 0, 0, tenemos que 0+0 0 0 x y = = = > es falso.
Por lo tanto
2
( , ) , 0 x y x y e + > es una proposicin falsa.


Definicin 15. Si p(x) es una funcin proposicional con dominio X , entonces existe x
en X, tal que p (x), denotada por , ( ) x X p x - e , es una proposicin. Esta proposicin es
verdadera si para algn valor de x, digamos aeX, se cumple que p(a) es verdadero
entonces - x eX, p(x) es una proposicin verdadera. De lo contrario es falsa.

El smbolo - se llama cuantificador existencial y se lee existe, existen, para
algn, para algunos.
Ejemplo 17. Determina si las siguientes expresiones son proposiciones, en tal caso
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 18
halla su valor de verdad.

1) , 0 x x - e <
Solucin: Es una proposicin falsa ya que no existe ningn valor de x en
cuyo valor absoluto sea menor que cero.

2) , 2 x x x P - e e . e , donde P es el conjunto de nmeros primos.
Solucin: S es una proposicin y es verdadera ya que existe 2 x = e tal que 2
es par y 2 es primo.
Por lo tanto , 2 x x x P - e e . e es una proposicin verdadera.

3)
2
, 10 7 x x x - e = =
Solucin: Es una proposicin verdadera ya que existe 7e tal que
2
7 10 7 7 = = es verdadero
Por lo tanto
2
, 10 7 x x x - e = = es una proposicin verdadera.

4)
2
1
, x x x x
x
- e = . =
Solucin: Esta expresin no es una proposicin ya que para 0 x = e ,
1
0
carece
de sentido.

5)
2
1
, x x x x
x
+
- e = . =
Solucin: S es una proposicin y es verdadera ya que existe 1 x
+
= e tal que
2
1
1 1 1
1
= . = es verdadero.
Por lo tanto
2
1
, x x x x
x
+
- e = . = es una proposicin verdadera.


1.2.3 La negacin de una proposicin que involucra cuantificadores

Si tenemos una proposicin que involucra cuantificadores podemos hallar su negacin
como sigue:

1) Si , ( ) x X p x e es una proposicin, su negacin es , ( ) x X p x - e .

2) Si , ( ) x X p x - e es una proposicin su negacin es , ( ) x X p x e



Ejemplo 18. Determina si las siguientes expresiones son proposiciones, en tal caso
halla su valor de verdad y la negacin de las mismas.

1)
2
, 1 1 x x x
+
e > >
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 19
Solucin: Es una proposicin verdadera pues es universalmente verdadera en
+
.
Su negacin es
2
, 1 1 x x x
+
- e s > la cual es falsa.

2)
2
, 3 x x - e +
Solucin: Esta expresin no es una proposicin.

3) 0 0 x x = v =
Solucin: Esta expresin no es una proposicin.

4) , 0 0 x x x e = v =
Solucin: Es una proposicin verdadera.
Su negacin es , 0 0 x x x - e = . = , la cual es falsa.

5) , y , 5 x x y e - e + =
Solucin: S es una proposicin y es verdadera.
Su negacin es , y , 5 x x y - e e + = , la cual es falsa.

6) , y , 5 x x y - e e + =
Solucin: Es una proposicin y es falsa.
Su negacin es , y , 5 x x y e - e + = , la cual es verdadera.

7)
2
, 8 64 x x x e = =
Solucin: Es una proposicin falsa porque no es universalmente verdadera ya
que para 8 x = obtenemos ( )
2
8 8 8 64 = = , la cual es una proposicin
falsa.
Su negacin es
2
, 8 64 x x x - e = = , la cual es verdadera.

8) { } 2 , es primo es par x x x - e
Solucin: Es una proposicin y es verdadera.
Su negacin es { } 2 , es primo y es impar x x x e , la cual es falsa.

9)
2 4
, 0 1 x x x e > v <
Solucin: Es una proposicin verdadera.
Su negacin es
2 4
, 0 1 x x x - e < . > , la cual es falsa.

10)
2
, x x x e > es una proposicin falsa, pues para
1
2
x = tenemos que
( )
2
1 1 1
2 4 2
= > es falso.
Su negacin es
2
, x x x - e < , la cual es verdadera.




lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 20
1.3 MTODOS DE DEMOSTRACIN


LA DEMOSTRACIN EN MATEMTICAS

Una demostracin matemtica consiste en que a partir de una proposicin verdadera p
y empleando ciertos mtodos, se llega a una proposicin q que es verdadera. La
proposicin o proposiciones iniciales de las cuales partimos en una demostracin y que
se suponen verdaderas se llaman premisas. Se llama conclusin a la proposicin
obtenida en una demostracin.

Definicin 16. Un teorema es un enunciado verdadero que consta de una hiptesis y una
tesis. La hiptesis est constituida por las premisas, la tesis es la conclusin. Por lo
general tiene la forma p q .

Podemos decir que un teorema es un razonamiento vlido o verdadero, es decir una
tautologa. Un razonamiento que no es verdadero se llama una falacia. Demostrar un
teorema es verificar que su valor de verdad es verdadero.

Definicin 17. Un lema es una proposicin verdadera que nos facilita la demostracin
de un teorema, pero para usarlo se requiere haberlo demostrado previamente.

Definicin 18. Un corolario es una proposicin, que es una consecuencia inmediata de
un teorema, que requiere poca o ninguna demostracin.

Definicin 19. Se llaman axiomas o postulados a ciertas proposiciones fundamentales
que no se deducen de ninguna otra, esto es, que se admiten sin demostracin.

Existen ciertos conceptos no definibles que se llaman conceptos primitivos, por ejemplo
el punto, la recta, el plano, el conjunto.

Para demostrar un teorema se utilizan ciertos mtodos de demostracin que veremos a
continuacin. Estos mtodos de demostracin por lo general se fundamentan en
tautologas.


1.- Mtodo directo.
Consiste en demostrar un teorema de la forma p q usando el razonamiento vlido
[ p . (p p
1
) . (p
1
p
2
) . ... . (p
n
q)] q. Donde p, p p
1
, p
1
p
2
, ..., p
n
q
son proposiciones verdaderas.
Al demostrar un teorema de la forma si p entonces q, comnmente se empieza
suponiendo que p es dado; despus se construye una cadena de proposiciones de la
forma p p
1
, p
1
p
2
, ... p
n
q, cada una de las cuales es una hiptesis dada de
antemano o un teorema ya demostrado. Tan pronto se llega en esta cadena a la
proposicin p
n
q , de ello se concluye q.


Ejemplo 19. Demostrar los siguientes teoremas:

lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 21
1) Teorema: Para todo par a, b de nmeros reales, si a y b son nmeros negativos
entonces el producto ab es positivo.

Demostracin.
a y b negativos - p
a < 0 y b < 0 - (p p
1
)
-a > 0 y b > 0 - (p
1
p
2
)
(-a)(-b) > 0 - (p
2
p
3
)
ab > 0 - (p
3
p
4
)
ab es positivo - (p
4
q)

Por lo tanto ab es positivo.

Y ya.

Nota. En el ejemplo anterior 1) se pusieron las implicaciones para mostrar el uso de la
tautologa que justifica el mtodo directo, sin embargo la demostracin en matemticas
es ms simple. Daremos nuevamente la demostracin del ejemplo 1) tal como se
procede en matemticas.

Teorema: Para todo par a, b de nmeros reales, si a y b son nmeros negativos
entonces el producto ab es positivo.

Demostracin. Por hiptesis tenemos que a y b son nmeros reales negativos,
entonces a < 0 y b < 0,
entonces -a > 0 y -b > 0,
entonces (-a)(-b) > 0 porque el producto de nmeros positivos es positivo,
pero (-a)(-b)=ab,
entonces ab>0, es decir ab es positivo.

Por lo tanto ab es positivo.

Y ya.



2) Teorema: Sean , a be , si y a b son pares entonces a b + es par.

Demostracin. Por hiptesis y a b son pares entonces
2 a m = y 2 b n = , para ciertos , m ne , por definicin de nmero par
entonces 2 2 a b m n + = +
= 2( ) m n + , pero m n + e
entonces a b + es par .

Por lo tanto a b + es par .

Y ya.

lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 22
3) Teorema: Sean , a be , si y a b son impares entonces a b + es par.

Demostracin. Por hiptesis y a b son impares entonces
2 1 a m = + y 2 1 b n = + , para ciertos , m ne , por definicin de nmero impar
entonces (2 1) (2 1) a b m n + = + + +
= 2( 1) m n + + , pero 1 m n + + e
Entonces a b + es par, por definicin de nmero par.

Por lo tanto a b + es par.

Y ya.

4) Teorema: Sean , a be , si y a b son impares entonces ab es impar.

Demostracin. Por hiptesis y a b son impares entonces
2 1 a m = + y 2 1 b n = + , para ciertos , m ne , por definicin de nmero impar.
Entonces (2 1)(2 1) ab m n = + +
= 4 2 2 1 mn m n + + +
= 2(2 ) 1 mn m n + + + , pero 2mn m n + + e
Entonces ab es impar, por definicin de nmero impar.

Por lo tanto ab es impar.

Y ya.

Corolario: Sea me , si m es impar entonces
2
m es impar.

Demostracin. Tomando m a b = = , tenemos que
2
m ab = es impar por el
teorema (4) anterior.

Por lo tanto
2
m es impar.

Y ya.



2.- Mtodo de demostracin por disyuncin de casos.
Este mtodo se utiliza para demostrar un teorema de la forma p q donde p es una
disyuncin r
1
v r
2
. Se prueba que si r
1
q y que r
2
q son proposiciones
verdaderas, entonces q es verdadera
Como [ (r
1
v r
2
) q ] [ (r
1
q) . (r
2
q)] es una tautologa, queda
demostrado que p q es verdadero.

Nota: En general
[ (r
1
v r
2
v r
3
v ... v r
n
) q ] [ (r
1
q) . (r
2
q) . (r
3
q) . ... . (r
n
q)] es
una tautologa.

lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 23
Ejemplo 20. Demostrar los siguientes teoremas:

1) Teorema: Sea , a be . Si 0 o 0 a b = = entonces 0 ab = .

Demostracin. Por casos:
i) Si 0 a = entonces 0 0 ab b = =
ii) Si 0 b = entonces 0 0 ab a = =
En cualquier caso se cumple que 0 ab =

Por lo tanto 0 ab =
Y ya.

2) Teorema: Si ae , entonces 0 a >

Demostracin: Por casos.
i ) Si 0 a > entonces a a =
0 a >

ii ) Si 0 a < entonces a a =
pero si 0 a < entonces 0 a >
|a| > 0.

Por lo tanto, si a e entonces |a| > 0.

Y ya.

3.- Mtodo indirecto: este mtodo de demostracin tiene dos versiones.
a) Por contraposicin.
b) Por contradiccin o reduccin al absurdo.

Por contraposicin: Para demostrar un teorema de la forma p q se demuestra que
q p es verdadera. Entonces en vista de la tautologa: (p q) ( q p)
quedar demostrado que p q es verdadero.

Ejemplo 21. Demostrar los siguientes teoremas:

1) Teorema: Sea me , si
2
m es par entonces m es par.

Demostracin: Por contraposicin, probaremos que si m es impar entonces
2
m
es impar.
Segn el corolario del Teorema (4) del ejemplo 19 tenemos que si m es impar
entonces
2
m es impar.

Por lo tanto, si
2
m es par entonces m es par.

Y ya.
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 24
2) Teorema: Sea ae , si 5 7 a es par, entonces a es impar.

Demostracin: Por contraposicin, probaremos que si a es par entonces 5 7 a
es impar.
Como a es par entonces 2 a m = , para algn me , por definicin de nmero
par.
Entonces 5 7 5(2 ) 7 10 7 2(5 3) 1 a m m m = = = , pero 5 3 m e
Entonces 5 7 a es impar.

Por lo tanto, si 5 7 a es par, entonces a es impar.

Y ya.

Por contradiccin o reduccin al absurdo.- Para demostrar un teorema de la forma
p q usando este mtodo probaremos que q es verdadero demostrando que
( ) q r r . es verdadero.
Esto es correcto ya que
| |
( ) q r r q . es una tautologa.
Dado que r r . es falsa, se tiene que q es falsa y por lo tanto q es verdadera.
Cuando se llega a una contradiccin, lo cual se indica por !!, inmediatamente se puede
concluir que q es verdadera.

Ejemplo 22. Demostrar los siguientes teoremas:

1) Teorema: Sea ne . Si n es un nmero primo mayor que 2, entonces n es
impar.
Demostracin. Por contradiccin supongamos que n es par, entonces 2 es un
divisor de n, (proposicin r ).
Por otra parte como n es primo, sus nicos divisores son 1 y n ; pero 2 n > ,
entonces 2 no es un divisor de n , (proposicin r ).
As hemos llegado a una contradiccin r r . .
Por lo tanto n es impar.

Y ya.

2) Teorema: Sean , a be , si ab es impar entonces a es impar y b es impar.
Demostracin. Por contradiccin supongamos que a es par o b es par.

Caso 1) Si a es par entonces 2 a n = , para algn ne , entonces
(2 ) 2( ) ab n b nb = = , entonces ab es par !! Contradiccin con la hiptesis.
Caso 2) Si b es par entonces 2 b m = , para algn me , entonces
(2 ) 2( ) ab a m am = = , entonces ab es par !! Contradiccin con la hiptesis.

En ambos casos hemos llegado a una contradiccin.

Por lo tanto a es impar y b es impar.

Y ya.
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 25
3) Teorema: 2 es irracional.

Demostracin: Por contradiccin, supongamos que 2 es racional.

q
p
= 2 , con (p, q) = 1.
p = 2 q
p
2
= 2q
2
--- (I)
p
2
es par
p es par
p = 2k, con k e .
Sustituyendo el valor de p en (I)
(2k)
2
= 2q
2

4k
2
= 2q
2

q
2
= 2k
2

q
2
es par q es par
(p, q) = 1. !! Contradiccin con (p, q) = 1.
Por lo tanto 2 es irracional.

Y ya.

Un teorema del tipo p q se conoce como de condicin suficiente. Cuando el
recproco q p tambin se cumple, se dice que el teorema es de condicin necesaria.
Entonces tenemos un teorema de la forma p q y se dice que tenemos un teorema de
condicin necesaria y suficiente.
Para demostrar un teorema de la forma p q hay que probar que las dos
implicaciones p q y q p son verdaderas.

Ejemplo 23. Demostrar los siguientes teoremas:

1) Teorema. Sea xe . 0 x = si y solo si 0 x = .
Demostracin.
Probemos )
Por hiptesis tenemos que 0 x = .
P.D. 0 x = .
Por contradiccin supongamos que 0 x = , entonces 0 x > o 0 x < .
1) Si 0 x > entonces x x = , entonces 0 x > !! contradiccin con la hiptesis.
2) Si 0 x < entonces x x = , pero 0 x > , entonces 0 x > !! contradiccin
nuevamente con la hiptesis.
Por lo tanto 0 x =

Ahora probemos :)
Por hiptesis tenemos que 0 x = , entonces 0 0 x = =
Por lo tanto 0 x =
Y ya.
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 26
2) Teorema. Sean ae ,
2
a es par si y solo si a es par.
Demostracin.

:)
Por hiptesis a es par
2 , para algn a k k = e

2 2 2 2 2
(2 ) 4 2(2 ), pero 2 a k k k k = = = e .
Por lo tanto
2
a es par.

)
Por hiptesis tenemos, ahora que
2
a es par, debemos probar que a es par.
Esto ya ha sido probado en el teorema 1) del ejemplo 21.

Y ya.


4.- Por induccin o recurrencia. Este mtodo de demostracin se basa en el siguiente

Principio de induccin: Sea S un subconjunto de tal que se cumplen las dos
condiciones siguientes:

1) El nmero 1 pertenece al conjunto S
2) Si un nmero k pertenece a S , entonces 1 k + tambin pertenece al conjunto S

Entonces S = .

El mtodo de induccin matemtica para demostrar una propiedad consta de los tres
pasos siguientes:
1) Se demuestra que la propiedad es verdadera para 1 n = o para el primer valor
que admita n .
2) Partiendo de la hiptesis de que la propiedad se cumple para un cierto valor de
n , digamos k , tenemos que demostrar que la propiedad tambin se cumple para
el siguiente valor de n , o sea para 1 k + .
3) Usando los pasos 1) y 2) anteriores podemos concluir que la propiedad se
cumple n e , ya que por el paso 1) se cumple para 1 n = y por el paso 2) se
cumple para el siguiente natural 2 n = . Si se cumple para 2 n = entonces por el
paso 2) se cumple para 3 n = , y as sucesivamente.


Ejemplo 24. Demostrar los siguientes teoremas:

1) Teorema: Para toda ne se cumple que
( )
2
1
... 3 2 1
+
= + + + +
n n
n .
Demostracin: Probaremos el teorema por induccin.

1) Veamos que la frmula se cumple para 1 n =
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 27
Como
( ) 1 1 1
1
2
+
= o sea 1 1 = , entonces se cumple para 1 n = .
2) Supongamos, ahora, que la frmula se cumple para n k = y probemos que se
cumple para 1 n k = + .

As tenemos que
( )
2
1
... 3 2 1
+
= + + + +
k k
k , por hiptesis de induccin.
P.D.
| |
( 1) ( 1) 1
1 2 3 ... ( 1)
2
k k
k
+ + +
+ + + + + =
Entonces 1 2 3 ... ( 1) (1 2 3 ... ) ( 1) k k k + + + + + = + + + + + +
=
( )
( )
1
1
2
k k
k
+
+ +
=
( ) ( ) 1 2 1
2
k k k + + +

=
( )( ) 1 2
2
k k + +

=
| |
( 1) ( 1) 1
2
k k + + +

Por lo tanto la frmula se cumple cuando 1 n k = +

3) Por lo tanto n e ,
( )
2
1
... 3 2 1
+
= + + + +
n n
n .

Y ya.

2) Teorema. Para toda ne se cumple que:
( )
2
3 3 3 3
1 2 3 ... 1 2 3 ... n n + + + + = + + + + .
Demostracin: Ya hemos probado que
( )
2
1
... 3 2 1
+
= + + + +
n n
n .
Entonces probar la frmula dada equivale a probar que
( )
2
3 3 3 3
1
1 2 3 ...
2
n n
n
| | +
+ + + + =
|
\ .
.
As, probemos esta ltima frmula, por induccin.
1) Para 1 n = .
Como
( )
2
3
1 1 1
1
2
| | +
=
|
\ .
, es decir 1=1, entonces la frmula es vlida para 1 n = .
lgebra Superior I Unidad 1. Lgica, mtodos de demostracin y conjuntos
Notas de curso 28
2) Supongamos que se cumple para n k = y probemos que se cumple para
1 n k = + .
As, por hiptesis de induccin tenemos que
( )
2
3 3 3 3
1
1 2 3 ...
2
k k
k
| | +
+ + + + =
|
\ .
.
Entonces
( )
3 3 3 3 3 3 3 3 3
1 2 3 ... ( 1) 1 2 3 ... ( 1) k k k + + + + + = + + + + + +
=
( )
( )
2
3
1
1
2
k k
k
| | +
+ +
|
\ .

=
( )
( )
2
2
3
2
1
1
2
k k
k
+
+ +
=
( ) ( )
2 3
2 2
2
1 2 1
2
k k k + + +

=
( ) ( ) ( )
2
2 2
2
1 2 1
2
k k k + + +

=
( ) ( )
2
2
2
1 4 4
2
k k k + + +

=
( ) ( )
2 2
2
1 2
2
k k + +

=
( )( )
2
1 ( 1) 1
2
k k | | + + +
|
\ .

Luego
( )( )
2
3 3 3 3
1 ( 1) 1
1 2 3 ... ( 1)
2
k k
k
| | + + +
+ + + + + =
|
\ .
se cumple para 1 n k = + .
3) Por lo tanto
( )
2
3 3 3 3
1
, 1 2 3 ...
2
n n
n n
| | +
e + + + + =
|
\ .


Podemos concluir que ( )
2
3 3 3 3
1 2 3 ... 1 2 3 ... n n + + + + = + + + + se cumple n e .
Y ya.

3) Teorema. Demuestra que 2 ! , para 4
n
n n < > .
4) Demostracin: Probar que 2 ! , para 4
n
n n < > es equivalente a probar que