Professional Documents
Culture Documents
Qu tal, Yael!
He visto tu demostracin y, antes que nada (si es que no lo dije ya), muchas gracias por el
tiempo tomado para esto. Me es de gran ayuda. Ahora pasar a comentar algunos aspectos de
tu demostracin que me han parecido llamativos o aleccionadores y que he podido confirmar
con las lecturas que da a da vengo haciendo sobre esto:
1. La definicin con la que comenc est mal y tiene muchos problemas porque, tal como lo
has sealado, err en la cuestin del orden en los cuantificadores. Das luego de enviar esa
definicin me di cuenta que x:yy:x (aqu supongo que usar comas y dos puntos es
indiferente, pues en algunos libros he visto x:y con el mismo significador de x, y). No
obstante, mi intencin era la de explicitar la forma lgica subyacente entre estos
cuantificadores al formar una proposicin. No quiero extenderme en esto pero si tenemos por
ejemplo x:y: x+y=5, primero he de escoger, arbitrariamente (como indicas ms adelante
[con respecto a lo del lmite]), los valores de x para obtener luego del de y. Es decir, el orden
me hace saber que, para este caso, y=f(x), y vista lgicamente sera xy. Esto de ver al , como
propiedad del antecedente en una implicacin cuantificada, creo que se corrobora cuando
dices que tenemos que encontrar un N>0 tal que se cumpla que si nNan-L<, pues la
definicin la he visto en algunos libros como lm : N>0/an-L,n>N. Como se ve, parece
que cuando antecede a , estos forman una implicancia con sus respectivas variables, en la
que la cuantificada por es el antecedente y la cuantificada por , el consecuente. Si
aplicamos el mismo razonamiento, entonces, con respecto al orden de los cuantificadores en
la definicin de lmite (, N), tendremos que, en esta, el valor de N depender de .
2. En cuanto al uso del conector de equivalencia , no lo quise hacer para los cuantificadores,
sino solo para la definicin en general: lm : y/. etc.; cosa que s se puede hacer
por ley de conmutatividad (en lgica): pq..qp (pero si hay una objecin a este punto,
dmelo, por favor, quiero aprender).
3. Una de las cosas que creo que tambin confirmas, pero no lo explicitas, es el hecho de que
en un teorema matemtico (que, como lo indicas [y por lo que he ledo], tiene la forma pq
[ver fig. 01]) se afirma el antecedente; es decir, este se considera verdadero. As pues, a la
hora de probar nNan-L<, dices: sea pues nN. (Ac me surge una duda: Por qu nN y
no n>N?). Lo que supone que el valor de verdad de nN es verdadero: v(nN)=V.
4. Tengo una razn (dejada a entrever en el pto. 1 de esta disertacin-comentario) para creer
que la estructura de la implicacin pq que indicas al final no es del todo explicita. Aunque tal
vez me est equivocando al decir esto, igual te lo quiero mencionar; as, se me equivoco y me
dices por qu, podr aprender de ello (cosa que te agradecera mucho):
4.1. Debido que, de acuerdo a lo que he revisado con respecto al orden de los cuantificadores,
todo parece indicar que cuando tengo x:y: y depende de x (con lo que se puede establecer
una proposicin condicional pq con respecto a sus variables). Por ende, no creo que : y
N: estn dentro del antecedente de una implicacin, tal como lo sealas, sino que ambos
formaran una implicacin en la cual el trmino generalizado es el antecedente y el
[(
) u ]
r
q
Para los casos particulares esto podra verse as tambin: ((>0N>0) nN)an-L<
Ahora, como esta es una definicin, es una equivalencia. Es decir, asumimos que el valor de
verdad de p equivale a q es V, lo que simbolizo as: v(pq)=V, segn notacin de Figueroa
(1993: 2). Pero p y q pueden ser al mismo tiempo V o F para que v(pq)=V. Entonces eso nos
obliga, a demostrar la definicin q, ya que en p no podemos operar. Si concluimos que v(q)=V,
entonces v(p)=V, con lo que habremos probado el lmite. El silogismo si v(q)=V seria el
siguiente:
v(pq)=V
v(qp)=V
v(q)=V
V(p)=V
Conmutatividad
(Proposicin a comprobar)
Inferencia equivalente (Objetivo)
Nos damos cuenta rpidamente que q (rw) es la condicional del teorema, es la esencia del
teorema, formada de hiptesis y tesis (en este caso r y w, respectivamente). La primera se
considera V y la ltima es la que se quiere demostrar. Por ende, probar el teorema es
demostrar que pq sea verdadera () [y] la verdad de pq se obtiene de la verdad de q
sabiendo que p es verdadera (Figueroa, 1993: 11). Ahora, si r es verdadera, lo nico que
debemos probar es que w sea verdadera. En el caso que nos compete, es decir, cuando la
funcin es {3+1/n} con lmite 3, esto se hace gracias a s, t y u a travs de la propiedad
arquimediana que confirma que 1/n<, con lo que v(w)=V y a su vez v(q)=V, lo que concluye
finalmente que v(p)=V. El silogismo de esto puede resumirse de la siguiente manera:
(1) rww
(2) wrw
(3) w
(4) rw
(5) rw q
(6 )rw
(7) q
(8) qp
(9) q
(10) p
Conmutatividad
Por Arqumedes: 1/N< y 1/n<1/N1/n<
Inferencia equivalente
(4)
Inferencia equivalente
(7)
(Lmite demostrado)
Eso es todo Yael, espero no haberte aburrido con mis disertaciones de principiante, gracias por
tu ayuda y ser hasta otra oportunidad.