PENSAMIENTO LOGICO MATEMATICO

TRABAJO COLABORATIVO TRES

GRUPO: 200611_210

TUTOR
ING. NEVARDO ALOSO AYALA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

MAYO DE 2016
Primer Aporte Individual:

Demostracin por el Principio de Induccin Matemtica.

El mtodo deductivo, muy usado en matemtica, obedece a la siguiente idea:
A partir de un cierto conjuntos de axiomas aceptados sin demostracin y de reglas
lgicas no contradictorias, se deducen otros enunciados llamados teoremas
combinando los axiomas y respetando en cada etapa las reglas lgicas".
Otro mtodo para demostrar resultados generales que dependen en algn sentido
de los nmeros naturales es conocido con el nombre de Induccin Matemtica.
Esta dependencia de los nmeros naturales significa: se sabe que una determinada
afirmacin es verdadera para algunos casos particulares y surge la pregunta. Dicha
afirmacin sigue siendo verdadera para los infinitos nmeros naturales restante
El principio de Induccin Matemtica es un mtodo que se utiliza para demostrar
propiedades, formulas, validarlas y probar que son verdaderas.
Es un mtodo simple que consta de tres pasos fundamentales en los cuales se debe
demostrar la propiedad reemplazando su incgnita por 1, luego por k y finalmente
por k+1.
Pasos:
1. Se demuestra que 1 cumple con la propiedad
2. Se supone que la propiedad es verdadera para un cierto nmero n (arbitrario)
3. Se demuestra para el numero siguiente el n+1
Si se consigue, esto demuestra la propiedad que queramos para todos los nmeros
naturales de forma parecida a las filas de domino cuando cae una ficha tambin
debe caer la siguiente (si es cierta para n, debe serlo para n+1). La idea de la
induccin es muy clara: si un nmero cumple algo, y si cuando un nmero cumple
el siguiente tiene que cumplirlo, entonces todos los nmeros lo cumplen.
Induccin Matematica

Sea P(n) una proposicin que depende de la variable n, con n perteneciente a los
Naturales.
Si:
(i)
(ii)

1 satisface a P y,
k pertenece a los Naturales, k satisface P (k+1) satisface P,
entonces todos los nmeros naturales satisfacen P.

Usaremos el Axioma de Induccin Matemtica para demostrar la validez, en los

Nmeros Naturales, de ciertas proposiciones P que depende de una variable n, con
n perteneciente a los Naturales.
Procederemos de la siguiente manera:
(i)
(ii)
(iii)

Verificaremos la proposicin para el numero 1.

Supondremos que la proposicin es verdadera para un numero natural
cualquiera k. (Hiptesis de induccin).
Demostraremos la proposicin para el numero natural (k+1).

As, gracias al axioma de induccin Matemtica, podemos concluir que la

proposicin la satisfacen todos los nmeros naturales.
Sumatoria

ltimo elemento de la serie

ni=

i =1

Primer element de la serie

Ejemplo 1:
Demostraremos que:
1+2+3+............+n = n(n+1), n perteneciente a los naturales (*)
2
(i)

1= 1(1+1). Por lo tanto 1 satisface la proposicin (*)

2

(ii)

Supongamos valida la proposicin (*) para k perteneciente a los Naturales,

es decir supongamos que:
1+2+3+.........+k = k(k+1). (Hiptesis de induccin).
2

(iii)

Demostremos que k - 1 tambin satisface la proposicin (*), es decir,

demostremos que:
1+2+3+.........+k+(k+1) = (k+1)(k+2).
2
Demostracin:

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

2

= k(k+1)+2(k+1)
2
= (k+1)(k+2)
2
Luego la proposicin (*) es verdadera n perteneciente a los naturales.
En resumen, primero demuestras reemplazando el n por un 1, luego demuestras
reemplazando el n por un k y finalmente lo demuestras reemplazando el n por (k+1)

Ejemplo 2:
Demuestre usando Induccin Matemtica que:
n
i3 = n2 (n+1)2
i=1
4
1 Usando n = 1
1

i3 = 12 (1+1)2
i =1

1 = 1(4)
i =1

1=4 =1
i=1

2 Supongamos valido para n = k

k

i3 = k2 (k+1)2
i=1

3 Por demostrar valido para n = k+1

k+1
i3 = (k+1)2 (k+1)2
se reemplaza termino igual al de arriba
i=1
4

= (k+1)2 (k+2)2 esto se debe demostrar

4
k+1
k
i3 = i3 + (k+1)3
i =1
i =1
= k2 (k+1)2 + (k+1)3
4
= (k+1)2( k2 +4(k+1)
4

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

4
4

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

4

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

Ejemplo 3:
Demuestre usando induccin que:
2 + 4+ 6 + 8+..........+ 2n = n(n+1)
n

2 i = n(n+1)
i =1
a) n=1
1

2*1 = 1(1+1)
i =1
2

= 1*2

=2

b) Suponer valido para n = k

k
2i = k(k+1) Esto es la hiptesis
i =1

c) Demostrar para n = k+1

K+1
2i = (k+1)(k+2)
i =1
k+1
k
2i = 2i + 2(k+1)
i =1
i =1
= k(k+1) + 2(k+1)
= (k+1)(k+2)

Ejercicios:
Verifique, usando induccin, que cada una de las ecuaciones correspondientes a
los ejercicios son verdaderas para todo entero positivo n.
1. 1 + 3 + 5 + + 2n 1 = n2
2. 1 . 2 + 2 . 3 + 3 . 4 + . . . + n (n + 1)=

3. 12 + 22 + 32 +. . . + n2 =

n(n 1)(n 2)
3

n(n 1)(2n 1)
6

Segundo Aporte Individual:

SIMPLIFICACIN DISYUNTIVA (SD)

Si disponemos de dos premisas que correspondan a dos implicaciones con el
mismo consecuente, y sus antecedentes se corresponden con los dos miembros
de una disyuncin, podemos concluir con el consecuente de ambas implicaciones.
Ejemplo:
p V q "Helado de fresa o helado de vainilla"
pr "Si tomas helado de fresa, entonces repites"
qr "Si tomas helado de vainilla, entonces repites"
r
"Luego , repites"

Ley de la conjuncin
Una conjuncin lgica (comnmente simbolizada como Y

) es, en lgica y
matemticas, un operador lgico que resulta en verdadero si los dos operadores
son
verdaderos.
En
lgica
y
matemticas
una conjuncin es un enunciado con dos o ms elementos simultneo. Una
lmpara elctrica se enciende si hay corriente elctrica, el interruptor est
conectado, el fusible est bien y la lmpara no est fundida, en cualquier otro caso
la lmpara no se encender.
Para dos entradas A y B, la tabla de verdad de la funcin conjuncin es:
A
V
V
F
F

B
V
F
V
F

AB
V
F
F
F

Smbolo
El smbolo matemtico para la conjuncin lgica vara en la literatura. Adems
deutilizar "Y", el smbolo en forma de es comnmente utilizado para la conjuncin.
Por ejemplo:
AB
Se lee como A y B". Esta Conjuncin es cierta si ambas A y B son ciertas a la
vez. En todos los dems casos es falsa. La nocin equivalente en teora de
conjuntos es la Interseccin de conjuntos. Y el smbolo representativo es "Y y
Esta ley, no es vlida para la implicacin, pero si para conjuncin y para la
disyuncin. Una conjuncin es afirmar que se dan dos cosas a la vez, de modo
que el orden de sus elementos no cambia este hecho. Igualmente, una disyuncin
es presentar una eleccin entre dos cosas, sin importar en qu orden se presenta
esta eleccin.
Ejemplo:
p ^ q q ^ p "(p y q) equivale a (q y p)"
p v q q ^ p "(p q) equivale a (q p)"

Tercer Aporte Individual:

Si Bibiana aprueba el periodo acadmico entonces Johanna y Santiago sus
hermanos se enojan con ella. Y si no aprueba el periodo acadmico, pierde los
beneficios de la beca obtenida en la Universidad. Pero, Bibiana aprueba el periodo
acadmico o no lo aprueba. Por lo tanto, Johanna y Santiago sus hermanos se
enojan con ella o pierde los beneficios de la beca obtenida en la Universidad.

Las proposiciones simples son:

p= Bibiana aprueba el periodo acadmico
q= Johanna y Santiago sus hermanos se enojan con ella
r = pierde los beneficios de la beca obtenida en la Universidad
Y las proposiciones compuestas:
p > q
p >r
Y la conclusin
qvr
Hay una proposicin que dice:
Pero, Bibiana aprueba el periodo acadmico o no lo aprueba
Es redudante e innecesaria, en lgica las proposiciones solo pueden ser
verdaderas o falsas,
pvp=1

No aporta nada.
Entonces:
Si se cumple p se cumple q y por tanto se cumple q v r, ya que 1+r=1
Y si no se cumple p se cumple r y por tanto se cumple q v r, ya que q+1=1
Luego siempre se cumple q v r
Y para la tabla de la verdad la proposicin que debe ser verdadera siempre es
[(p --> q)^(p -->r)] --> (q v r)
Y esta es la tabla.

Y efectivamente se cumple, luego es una tautologa y queda demostrada la validez

del argumento dado.