09/09/2016

DEFINICION AXIOMATICA

LOGICA Y MATEMATICA
COMPUTACIONAL
Profesora Responsable:
Esp. Prof. Liliana Caputo

Al construir una teora se deben establecer:

TERMINOS PRIMITIVOS: Conceptos de los cuales no se
da una definicin formal. Por ejemplo, en la Teora
Intuitiva de Conjuntos, los trminos primitivos son
conjunto, elemento y pertenencia.
AXIOMAS: Son proposiciones que se suponen
verdaderas sin demostracin. Por ejemplo, al definir los
nmeros reales se consideran axiomas las propiedades
referidas a la suma, al producto y al orden en R.

NUMEROS NATURALES

PRINCIPIO DE INDUCCION
SUCESIONES
ECUACIONES DE RECURRENCIA

Para definir los NUMEROS NATURALES, se

toma como trmino primitivo la relacin de
SIGUIENTE o SUCESOR.
Para ello, apelamos a la idea de siguiente o
sucesor que todos tenemos es decir, el siguiente
o sucesor de un nmero natural es el que le sigue
o sucede.
Ejemplo: 10 es el siguiente o sucesor de 9.

09/09/2016

AXIOMAS DE PEANO
N es el conjunto de los nmeros
naturales si, y slo si, se verifica:
AXIOMA 1: 1 es un nmero natural. Es decir:
1 N N .
AXIOMA 2: El sucesor de un nmero natural es
un nmero natural. Si denotamos el sucesor de
n, con n + 1, este axioma dice:
nNn+1N

AXIOMAS DE PEANO
AXIOMA 5: Sea S N tal que cumple:
1S
nSn+1S
Entonces, S = N.
Este axioma recibe el nombre de AXIOMA
DE INDUCCION.

AXIOMAS DE PEANO

PRINCIPIO DE INDUCCION

AXIOMA 3: 1 no es sucesor de ningn

nmero natural. Es decir:
n N: 1 n + 1.

A
continuacin
veamos
la
adecuacin del Axioma de Induccin
como instrumento de demostracin de
propiedades vlidas en N.
Para
ello,
enunciamos
y
demostramos el siguiente

AXIOMA 4: La funcin de N en Nsucesor

de es inyectiva. Es decir:
n,m N: n + 1 = m + 1 n = m

09/09/2016

TEOREMA
PRINCIPIO DE INDUCCION COMPLETA

Sea P(n) una funcin proposicional en N, tal

que:
1. P(1) es verdadera.
2. Si P(h) es verdadera, P(h + 1) tambin lo
es.
Entonces, n N: P(n) es verdadera.

DEMOSTRACION
Consideremos el siguiente subconjunto de N:
S = {n N/ P(n) es verdadera}
Por 1 de la hiptesis, P(1) es verdadera,
con lo cual se tiene que 1 S. (*)
Sea h S.
Por la forma que
construimos S, tenemos que P(h) es
verdadera.

DEMOSTRACION
Entonces, por 2 de la hiptesis, P(h + 1) es
verdadera, de donde resulta h + 1 S.
Hemos probado pues que
h S h + 1 S (**)
Por (*),(**) y Axioma de Induccin se tiene
que S = N. Entonces, tenemos que:
n S = N: P(n) es verdadera.

DEMOSTRACIONES POR
INDUCCION
1) Propiedades de la suma y el producto de
nmeros naturales.
2) Potencia natural de un binomio.
3) Frmula de De Moivre (Potencia natural de
un
nmero
complejo
en
forma
trigonomtrica).
4) Nmero de arreglos simples y con
repeticin.

09/09/2016

DEMOSTRACIONES POR
INDUCCION
5) nN: 2n 2
Debemos probar que:
1) P(1) es verdadera es decir, 21 2.
2) P(h) verdadera P(h + 1) verdadera.
Hiptesis Inductiva (HI): 2h 2 (V)
Tesis: 2h+1 2 (Lo que hay que probar)

DEMOSTRACIONES POR
INDUCCION
Demostracin:
1) Si n = 1: 21= 2, por definicin de
potenciacin.
2) 2h+1 = 2h.2, por definicin de potenciacin.
Por HI, 2h 2 , entonces: 2h+1 = 2h.2 2.2 >2,
porque 4 = 2.2 > 2.

ENTEROS NO NEGATIVOS
Al definir el conjunto de nmeros
naturales, por el Axioma 3 (que afirma que 1
no es el sucesor de ningn nmero natural)
se tiene que cero no es un nmero natural.
Por ello, definimos el CONJUNTO DE LOS
ENTEROS NO NEGATIVOS, como sigue:
No = N {0}
As pues, N No

SUCESIONES REALES
Se llama SUCESION REAL, a toda funcin
de N en R, o de No en R.
La sucesin (an)nN es la siguiente funcin
a: N R/ a(n) = an R.
De la misma manera, la sucesin (bn)nNo
es la funcin
b: No R/ b(n) = bn R.

09/09/2016

SUCESIONES: EJEMPLOS

ECUACIONES DE RECURRENCIA

1) (1/n)nN, cuyos primeros trminos son:

1, , 1/3, , 1/5, 1/6, 1/7, 1/8, 1/9,
2) (n2) nNo, cuyos primeros trminos son:
0, 1, 4, 9,
3)
1 si n = 0 n = 1
xn = xn-1 + xn-2 si n >1
SUCESION DE FIBONACCI

Una sucesin definida por recurrencia, es

de la forma:
ao, a1,, ak con k N
an =
f(an-1,an-2,,an-k), si n > k
Los trminos ao, a1,, ak se llaman
CONDICIONES INICIALES.
Para hallar una nica expresin de an,
vlida n No, se plantea y resuelve una
ECUACION DE RECURRENCIA.

SUCESIONES: EJEMPLOS

ECUACIONES DE RECURRENCIA

Cuyos 7 primeros trminos son:

n

Xn-1

Xn-2

Xn

----

----

----

1+0=1

1+1=2

2+1=3

3+2=5

Es decir, cada trmino es la suma de los dos

anteriores.

Dada la sucesin:
a , a ,, ak-1 si 0n< k, con k N
an = o 1
f(an-1,an-2,,an-k), si n k
Si existen c1,ck R, ck 0, tales que:
f(an-1,an-2,,an-k) = c1an-1 + c2an-2 ++ ckan-k
La ecuacin an- c1an-1 - c2an-2 - - ckan-k = 0
es una ECUACION LINEAL HOMOGENEA.

09/09/2016

ECUACIONES LINEALES
HOMOGENEAS

SUCESION DE FIBONACCI

Asociada a la ecuacin lineal homognea,

an c1an-1 c2an-2 - - ckan-k = 0, se puede
definir el POLINOMIO CARACTERISTICO:
p(x) = xk c1xk-1 c2xn-2 - - ck
cuyas races 1, 2, , k permiten hallar la
solucin general de la ecuacin de
recurrencia, como sigue:

La definimos como:
0 si n = 0
1 si n = 1
xn =
xn-1 + xn-2 si n >1
Ecuacin lineal homognea: xn - xn-1 - xn-2 = 0
Polinomio caracterstico: x2 x 1 = 0
y 2=
(N de Oro)
Cuyas races son:1=

ECUACIONES LINEALES
HOMOGENEAS

SUCESION DE FIBONACCI

an = A1(1)n+ A2(2)n+ + Ak(k )n

Reemplazando an
por las condiciones
iniciales se obtiene un sistema de k
ecuaciones con k incgnitas :
a0 = A1(1)0+ A2(2)0+ + Ak(k )0
.
ak-1 = A1(1)k-1+ A2(2)k-1+ + Ak(k )k-1

Cuya solucin general ser:

Y el sistema de dos ecuaciones con dos incgnitas :

09/09/2016

SUCESION DE FIBONACCI
Equivalente a:
A1 + A2 = 0

De solucin A1 =

y A2 = -

El trmino general de la Fibonacci es:

ECUACIONES LINEALES NO
HOMOGENEAS
Dada la sucesin:
a , a ,, ak-1 si 0n< k, con k N
an = o 1
f(an-1,an-2,,an-k) si n k
Si f(an-1,an-2,,an-k) no es una combinacin
lineal de an-1 ,an-2 ,, an-k entonces la ecuacin
an- f(an-1,an-2,,an-k) = 0 no es una ecuacin
lineal homognea, y no puede utilizarse el
procedimiento antes dado.

CALCULO RECURSIVO
Cuando la ecuacin de recurrencia no es lineal
homognea, se generan varios trminos de la
sucesin en funcin de su definicin de
recurrencia, a fin de intuir la expresin de su
trmino general. Una vez que se tiene una idea
de cul es el posible trmino general de la
sucesin, se demuestra por induccin que, en
efecto, esa es su expresin.

CALCULO RECURSIVO
Ejemplo:
4 si n = 1
xn= xn-1 + 2 si n >1

La ecuacin es:
xn xn-1 2 = 0

Entonces, los primeros trminos son: x1 = 4, es decir:

X1= 4 = 4 + 0 = 4 + (1 1)
X2 = x1 + 2 = 4 + 2 = 4 + 1.2 = 4 + (2 1). 2
X3 = x2 + 2 = 4 + 1.2 + 2 = 4 + 2.2 = 4 + (3 1).2
Generalizando: xn = x1 + (n 1).2, nN.
Debe probarse por induccin

09/09/2016

CALCULO PARA ATRS

A veces, cuando no se intuye el trmino
general hallando los primeros trminos de
la sucesin, se realiza un clculo para
atrs. Una vez que se tiene una idea de
cul es el posible trmino general de la
sucesin, se demuestra que, en efecto, esa
es su expresin por induccin.

CALCULO PARA ATRS

1 si n = 0 n = 1 FUNCION
xn = n.xn-1 si n > 0 FACTORIAL
Xn-1 = (n-1).xn-2 y xn-2 = (n -2).xn-3
Luego: xn = n.xn-1 = n.(n 1)xn-2=
= n.(n 1)(n -2). xn-3 = =
=n.(n 1).(n 2)..2.x1 = n.2.1.xo
xn = n.(n 1).(n 2)..2.
Ejemplo: