Está en la página 1de 7

F A C I L I T A D O R : JOSEULALIO ARREGUN PREZ ALUMNO: AARON CAMPUZANO DE LA TORRE MATRICULA:

AL12504399

1.- Lee el texto Lo que la tortuga le dijo a Aquiles, de Lewis Carroll, y responde t mismo esas preguntas. Por qu tenemos certeza de que nuestro mtodo deductivo es confiable? Porque, el mtodo deductivo es un procedimiento que consiste en desarrollar una teora considerando las premisas iniciales para obtener las consecuencias con la formulacin posteriori de teoras formales, para ello se requiere seguir un proceso que permite cumplir con el objetivo. Sus partidarios sealan que toda explicacin verdaderamente cientfica tendr la misma estructura lgica, estar basada en una ley universal, junto a sta, aparecen una serie de condicionantes iniciales o premisas, de las cuales se deducen las afirmaciones sobre el fenmeno que se quiere explicar. Este mtodo tiene la ventaja de ser similar a la forma del razonamiento humano Estamos justificados lgicamente para confiar en dicho mtodo? La lgica nos dice que nada es totalmente confiable, para ello se utiliza el argumento deductivo, el cual se contrapone al mtodo inductivo, para lo cual se requiere seguir un procedimiento de razonamiento. En el mtodo deductivo, se pasa de lo general a lo particular, de forma que partiendo de enunciados de carcter universal se infieren enunciados particulares, pudiendo ser axiomticodeductivo, cuando las premisas de partida estn constituidas por axiomas, (proposiciones no demostrables) aun as podemos llegar a una conclusin, en este caso que el mtodo es confiable o no. 2. Encuentra la forma del Modus Pones en la demostracin dada. Demuestra de forma directa la siguiente proposicin Para cualesquiera dos conjuntos dados A y B, sucede que

Anlogamente

Haz un diagrama de Venn donde demuestres los resultados. Demostrar las leyes de Morgan y las propiedades conmutativas. A B = B A A B = B A Primera ley. El complemento de la unin de dos conjuntos es la interseccin de sus complementos. (AB)' = A'B'

A B viene dada por la regin en blanco y (A B)' est representado por el rea sombreada verticalmente. Por su parte en el diagrama de la derecha, A' es la regin sombreada horizontalmente, B' es el rea sombreada verticalmente, por lo que A'B' est representado por la superficie cuadriculada. Las regiones resultantes son iguales. Segunda ley. El complemento de la interseccin de dos conjuntos es la unin de sus complementos: (A B)' = A'B'

A B est dada por la regin sombreada horizontalmente y (A B)' est representado por el rea sombreada verticalmente. Por su parte, en el diagrama

de la derecha, A'B es la regin sombreada horizontalmente, B' es el rea sombreada verticalmente, por lo que A'B' est representado por la superficie que no es blanca. Las regiones resultantes son iguales.

3.-Indica cules son los casos de la demostracin

1) f(p) = f(a), si esto ocurre, entonces f es una funcin constante, y la derivada de una constante es cero, por lo tanto f(c) = 0. Para toda c en (a,b). 2) f(p) > f(a), sabiendo que f es continua en el intervalo, cada uno de los puntos del intervalo abierto bajo f existen, entonces existe un punto d en (a,b), tal que: f(d) f(c) para todo c de (a, b) entonces f(d) es un mximo relativo de la funcin y por lo tanto derivable y por el teorema de los valores extremos, es cero. Por lo tanto, f(c) = 0 3) f(p) < f(a), sabiendo que f es continua en el intervalo, cada uno de los puntos del intervalo abierto bajo f existen, entonces existe un punto d en (a,b), tal que: f(d) f(c) para todo c de (a, b) entonces f(d) es un mnimo relativo de la funcin y por lo tanto derivable y por el teorema de los valores extremos, es cero. Por lo tanto, f(c) = 0 Demuestra, utilizando el mtodo por casos, que cualesquiera conjuntos A y B. , para

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

Hiptesis: A U B = B U A Demostracin 1: Todos los elementos de B son elementos de A p Bp A

Un conjunto B est incluido (o contenido) en otro conjunto A si y slo si para todo elemento de B se cumple que es elemento de A. BA x B x A Demostracin 2: Sabiendo que todo conjunto est contenido en la unin de s con cualquier otro conjunto, se tiene que A c (A u B). La interseccin de dos conjuntos siempre est contenida en uno cualquiera de ellos; por lo tanto (A n B) c B. Pero A u B = A n B, por lo tanto: Ac (A n B) y por la transitividad de la relacin "c", se tiene A c B y B c A entonces se concluye que A=B Si A es unin de B entonces B es unin de A.

4. Indica dnde se encuentra la contradiccin en la demostracin es un nmero irracional. Supongamos que raz de dos es un nmero racional, entonces, existen dos enteros p y q tales que y q es distinto de cero.

Elevando al cuadrado obtenemos que

Multiplicando ambos lados de la igualdad por q2 tenemos que

Esta expresin nos dice que p2 es par, ya que resulta de multiplicar 2 por otro nmero. Y por tanto p es par. Pero p2 es un cuadrado perfecto, o sea es un nmero entero al cuadrado, luego si uno de sus factores es el 2, el 2 tiene que estar como mnimo al cuadrado, o sea dos veces. Por tanto como ya hay un 2 en la igualdad delante de q2, el otro 2 tiene que estar en el q2 Eso quiere decir que q2 tambin tiene que ser par, y por tanto q tambin es par. Pero si p es par y q tambin, la fraccin no es irreducible, como habamos supuesto.

Ya hemos llegado al absurdo. Tenamos una fraccin irreducible

cuyo

numerador y denominador son pares. Explica la diferencia entre este mtodo y el mtodo contra positiv. En el mtodo contrapositivo es aquel que parte de la condicional Si P entonces Q y consiste en suponer el No Q sea la negacin del consecuente de la implicacin y demostracin con esta suposicin extra que No P

En cambio el mtodo de la Reduccin al absurdo nos permite probar una afirmacin P a partir de la suposicin de una proposicin de la negacin de P, es Decir P Demuestra, utilizando el mtodo contra positiv, que si el cuadrado de un nmero es par, entonces dicho nmero tambin es par. Sea p un numero entonces 2p es un numero par y (2p)2 es un nmero impar, q en un numero par y para ser impar se tiene que (q+1) es impar (q+1)2 es impar si entonces (2p)2 = (q+1)2 4p2 = q2 + 2q + 14p2 = q(q + 2) + 1 si p y q son pares deben de ser iguales, no se cumple la igualdad y por consecuencia la negacin de que el cuadrado de un numero par es impar es falsa y entonces el cuadrado de un numero par es par se toma como verdadera Demuestra, utilizando el mtodo contra positivo, que si el cuadrado de un nmero es par, entonces dicho nmero tambin es par. Si n es impar, se puede expresar de la forma: n=2k+1 Al calcular n2 se tiene: n2= (2k+1))2 n2= (2k) 2+ 2(2k)2 +(1)2 n2= 4(k2+ k)+1 Demuestra, utilizando el mtodo de reduccin al absurdo, que:

Supongamos que A-B 0, por definicin la diferencia de dos conjuntos A y B, es el conjunto.

Si A-B 0 = (xI x A y x B) Entonces ( AU B )= (B U A)= A B = lo cual contradice la suposicin de que A-B = Considerando que P: A B = Q: A B A B A B = Y por definicin: Q P Qu obtienes si conjuntas ambas proposiciones? A-B = A B A B A B = A es diferencia de B se tiene un conjunto vaco entonces cada elemento de A es tambin elemento de B; pero si cada elemento de A es tambin elemento de B entonces A-B es un conjunto vaco. Haz un diagrama de Venn donde se muestren estos resultados.
{}