Você está na página 1de 4

L ogica

Principios de Induccion
1 Pruebas Inductivas
1.1 Formas de probar propiedades de conjuntos
Hay tres formas de denir conjuntos:
Por extension.
Por comprension.
Por induccion.
Cada forma induce una forma de probar propiedades sobre el conjunto.
Por extension : se prueba que cada uno de los elementos del conjunto
cumple la propiedad.
Por comprension: se prueba que los elementos que cumplen la denicion
del conjunto cumplen la propiedad.
Aplicando el principio de induccion primitiva.
1.2 Principios de Induccion Primitiva
Sabemos como se construyen los elementos de un conjunto inductivo. Usamos
esta informacion para probar propiedades de estos elementos.
Consideremos la propiedad todos los elementos de L tienen una cantidad
impar de smbolos.
Una prueba que aprovecha el conocimiento de como se generan los objetos
de L sera la siguiente:
a tiene una cantidad impar de smbolos.
Si w tiene una cantidad impar de smbolos entonces bwb tambien.
1.2.1 Principio de Induccion Pri mi ti va para N
N fue denido inductivamente por:
1. 0 N
2. Si n N entonces n + 1 N
El principio de induccion pri mitiva para N dice:
Sea P una propiedad sobre los objetos de N tal que:
I N E T
1
1
1

1. P(0) se cumple
2. Si P( n) se cumple entonces P ( n + 1 ) se cumple
entonces P se cumple para todo x N .
Demostracion: Consideremos el conjunto X = { x N/ P( x ) } .
Como P(0) se cumple, 0 X . Supongamos n X entonces se cumple P(n),
aplicando 2) se cumple P( n + 1) entonces n + 1 X . Luego X satisface las
clausulas de formacion de N . Como N es el menor conjunto que las satisface,
N X luego todos los naturales cumplen P.
1.3 Aplicaciones del Principio de Induccion Primitiva
Para aplicar el principio de induccion se debe probar que se cumplen las hipote-
sis del principio y por lo tanto la propiedad se cumple para todos los elementos
del conjunto.
Ejempl o 1:
Probar que i = n. ( n+1) / 2 por induccion pri mitiva en N .
Para probar esto tenemos que probar que la formula anterior se cumple para
n = 0 y que si la formula se cumple para n entonces se cumple para n + 1 .
i = 0 = 0.1/2
Si i = n. ( n+1) / 2 entonces i = ( n +1 ) ( n +2 ) / 2
Desarrollo:
i = i + ( n + 1 ) =
= n . ( n + 1 ) / 2 + ( n + 1 ) = ( n + 3 n + 2 ) / 2 = ( n +1 ) ( n +2 ) / 2
1.3.1 Principio de Induccion Pri mi ti va para Z
Z es el conjunto de los enteros positivos, que podemos denir como sigue :
Z = { x Z / x > 0} = { x Z / x 1}
El principio de induccion pri mitiva para este conjunto puede formularse
como:
Sea P una propiedad sobre los objetos de Z tal que:
1. P(1) se cumple
2. Si P( n) se cumple entonces P ( n + 1 ) se cumple
n
i = 0
0
i = 0
n
i = 0
n + 1
i = 0
n + 1
i = 0
n
i = 0
2
+
+
+
+
2

entonces P se satisface para todo x Z .
Ejempl o 2:
Probar que ( 2 i 1 ) = n por induccion pri mitiva en Z .
Para probar esto tenemos que probar que la formula anterior se cumple para
n = 1 y que si la formula se cumple para n entonces se cumple para n + 1 .
( 2 i 1 ) = 2 1 = 1 = 1
Si ( 2 i 1 ) = n entonces ( 2 i 1 ) = ( n + 1 )
Desarrollo:
( 2 i 1 ) = ( 2 i 1 ) + 2 ( n + 1 ) 1 =
1.3.2 Principio de Induccion Pri mi ti va para
Sea P una propiedad sobre los objetos de que satisface lo siguiente:
1. P ( ) se cumple
2. Si P( w) se cumple entonces para todo x P( xw) se cumple
entonces P se cumple para todos los elementos de .
1.3.3 Principio de Induccion Pri mi ti va para L
Sea P una propiedad sobre os objetos de L que satisface:
1. P(a) se cumple
2. Si P( w) se cumple entonces P(bwb) se cumple
entonces P se cumple para todos los objetos de L .
Ejemplos de propiedades sobre L son:
todos los elementos de L tienen una cantidad impar de smbolos
todos los elementos de L son palndromos (capicuas).
n
i = 1
= n + 2 n + 1 = ( n + 1 )
+
n
i = 1
2 +
1
i = 1
2
n
i = 1
2 n + 1
i = 1
2
n + 1
i = 1
2 2



1
1
1
1
1
1
3

1.3.4 Principio de Induccion Pri mi ti va para N N
Sea P una propiedad sobre los objetos de N N tal que:
1. Se cumple P(0, 0)
2. Si se cumple P(n, 0) entonces se cumple P( n +1, 0)
3. Si se cumple P( n, m) entonces se cumple P( n , m+ 1 )
entonces se cumple P( n, m) para todo ( n, m) N N .
4