Lgica

Unidad 4. Mtodos de demostracin y formalizacin lgica

Actividad 3. Demostraciones

Actividades por equipo

Instrucciones: Por equipo, discutan y resuelvan los siguientes ejercicios. Recuerda que estas actividades se solicitaron de manera paulatina a largo del tema. 1. Lee el texto Lo que la tortuga le dijo a Aquiles , de Lewis Carroll, y responde t mismo esas preguntas. De modo que ha llegado usted al final de nuestra carrera? Dentro de la lectura nosotros la entendimos que se refera a la distancia y tomamos de base el finito y el infinito, si el infinito existe, entonces Euclides no se hubiera sentado sobre el punto de la tortuga y la tortuga hubiera seguido avanzando, tambin pensamos que la tortuga esta sobre la tierra y que la tierra tiene una medida finita, por ms extensa que sea una lnea recta tiene que llegar el momento en que se tienen que juntar en los polos, por lo cual si existe una medida finita aunque no sea concebida en nuestra imaginacin, hacamos referencia a la lectura anterior, si la tierra tiene fin nos caeramos del planeta si es que tiene un espacio plano finito. Aun cuando consista en una serie infinita de distancias? Entiendo como si estuvieran en un dilogo de caminata en la que la tortuga reta a Euclides a ser conciencia sobre el infinito, pero esta lectura me invita a reflexionar sobre la importancia de la demostracin de los teoremas, no debemos considerar por cierto algo sin estar verdaderamente seguros y agotar todas las posibilidades que den luz a aceptar dichas proposiciones. Pens que algn sabihondo haba probado que la cuestin no poda ser realizada? La tortuga empieza a preparar el problema haciendo uso de todas las posibles respuestas que pueden existir en un problema. Pero si hubieran ido aumentando, interrumpi la tortuga, entonces qu? Si la distancia aumenta lgicamente que se aproxima ms a un lmite que de forma fsica no exista pero existe una continuidad sobre la misma recta. Y no podra haber tambin algn lector que pudiera decir Acepto A y B como verdaderas, pero no acepto la Hipottica? Aqu la tortuga hizo un planteamiento sobre la demostracin del teorema de Euclides, si dos cosas son iguales a una tercera son iguales entre s, la tortuga est llevando al lector a agotar todas las posibilidades para la demostracin del mismo y cada vez que el lector crea que ha concluido la hipottica, siempre habr una razn para dudar de ella y tendrn que ir a corroborar las nuevas hipotticas de tal forma que es el camino infinito de un teorema aceptar cada proposicin antecesora para corroborar la anterior y llegar al punto final. Y ninguno de estos lectores, continu la Tortuga, tiene hasta ahora alguna necesidad lgica de aceptar Z como verdadera? Para obtener un conocimiento es importante llegar a la conclusin final para estar seguros y afirmar esa idea y corroborar lo que se est diciendo Debo forzarlo a aceptar Z, o no? La tortuga debe forzar al guerrero a aceptar Z pese a todas las pruebas que puedan impedir un resultado final Podra aceptar A y B y C, y todava no aceptar Z, o no? Si, si podra. Por qu tenemos la certeza de que nuestro mtodo deductivo es confiable? Por qu existe una comprobacin de por medio, o existe un conocimiento razonable para validar lo que un teorema declara, a travs de un razonamiento comprobatorio deductivo, en el caso de las matemticas son los teoremas los que nos obligan a este razonamiento, postulados y axiomas se aceptan sin necesidad de este mtodo abstracto.

Estamos justificados para aceptar dicho mtodo? Supongo que si, por que la matemtica se considera como una ciencia exacta y las relaciones mtricas en la materia son finitas y deductivas. 2. Encuentra la forma del Modus Ponens en la demostracin dada. Demuestra de forma directa la siguiente proposicin Para cualesquiera dos conjuntos dados A y B, sucede que Si x (A U B) x (A B) Anlogamente, Si x (A B) - x (A UB) Qu obtienes si conjuntas ambas implicaciones?
1. (A uB)c= Acn Bc En efecto, sea x un elemento arbitrario del conjunto universal U. Entonces,

xc(A uB)c

x no pertenece(A U B) {Definicin de complementarios}

-(X E (A U B)) NEGACION

-((XEA) V (XEB)) DEFINICION DE UNION

-(X

E A) ^ - (X E B) DE MORGAN PARA V no pertenece a A)(x no pertenece a B) negacin

(X

x E Ac)(x E Bc) negacin (x E Ac) (x E Bc) definicin de complementario

x E(Ac n Bc) definicin de interseccin

y al ser x un elemento arbitrario de U , se sigue que 8x [x 2 (A [ B)c () x 2 (Ac \ Bc)] Luego, (A [B) c = Ac \ Bc 2. Anlogamente se prueba que A B A (A \ B)c = Ac [Bc] X X Haz un diagrama de Venn donde se muestren tus resultados. AA BB AA BB

Si x (A U B) x (A B)Si x (A B) - x (A UB) 3. Indica cules son los casos de la demostracin f (c) = 0

f(a + h) - f(a) = C - C = 0, por lo que

Luego la derivada de una constante es siempre cero.

Demuestra, utilizando el mtodo por casos, que A U B = B U A para cualesquiera conjuntos A y B

Sea x cualquier elemento de U . Entonces, X E (A U B) X E A V X E B DEFINICION DE UNION X E B V X E A CONMUTATIVA DE V X E (B U A) DEFINICION DE UNION Como x es cualquiera de U, se sigue que Toda x(x E AU B x E B U A Por tanto AUB= BUA

Haz un diagrama de Venn donde se muestren tus resultados.

AA UU BB

BB UU AA

AUB

BUA

4. Indica dnde se encuentra la contradiccin en la demostracin V2 es un nmero irracional.

La contradiccin est en que supongamos que raz de dos es un nmero racional, entonces, existen dos enteros p y q tales que = y q es distinto de cero.

Explica la diferencia entre este mtodo y el mtodo contrapositivo.

La diferencia es que en este mtodo de reduccin al absurdo es que nos permite probar una afirmacin a partir de la suposicin de una negacin de P, es decir, P y por el mtodo contrapositivo la negacin del consecuente de la implicacin, y demostrar con esta suposicin extra, lo que se hace es probar: si no Q entonces no P)

Demuestra, utilizando el mtodo contrapositivo, que si el cuadrado de un nmero es par, entonces dicho nmero tambin es par.
(P Q) Q P TEOREMA Todo nmero cuadrado de un par es par.

Demostracin Por demostrar que si p es un nmero cuadrado de un par, entonces p es par. Sea p un nmero cuadrado de un par, entonces, igual a 2. Entonces, p tiene el mltiplo de 2. Por tanto, p es par. Es decir, los nmeros cuadrados de un par es par. Queda entonces demostrado que si p es un nmero cuadrados de un par, entonces , tal que p = 2n y n=4, pues si n=4 entonces p sera

 Demuestra, utilizando el mtodo de reduccin al absurdo, que AB=ACB

Supongamos que A tiene el mismo valor que B, entonces, existen dos nmeros con el mismo valor pero con diferente signo p y q tales que p q = 0. Por lo que A tiene el mismo valor que B, ya que de no ser as A B seria . Dado lo anterior, A y B tienen valores diferentes. Por tanto, .

Anlogamente A C B - A B =
Se tiene que A y B son ambos de valores diferentes, y si A tiene un valor diferente a B y B tiene un valor diferente a A, entonces

Qu obtienes si conjuntas ambas proposiciones? Que los nmeros pares al cuadrado siempre tendrn un nmero par
Haz un diagrama de Venn donde se muestren estos resultados. AA
33 55 77 9 9 11 11 13 13 44 PP 22 66 88

10 10 12 12

AP A

P A

= {1, 3, 5, 7,9. | x sean elevados al cuadrado} P = {2, 4, 6, 8,| x sean elevados al cuadrado}

impares al cuadrado y P nmero cuadrado de un par

Sea A conjunto de los nmeros
Sea p un nmero cuadrado de un par, entonces, entonces p sera igual a 2. , tal que p = 2n y n=4, pues si n=4