Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 3: Demostraciones Presenta: Maritza Finkenthal P.

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? Se trata de un procedimiento que consiste en desarrollar una teora empezando por formular sus puntos de partida o hiptesis bsicas y deduciendo luego su consecuencia con la ayuda de las subyacentes teoras formales. 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 inciales o premisas, de las cuales se deducen las afirmaciones sobre el fenmeno que se quiere explicar. Estamos justificados lgicamente para confiar en dicho mtodo? El argumento deductivo se contrapone al mtodo inductivo, en el sentido de que se sigue un procedimiento de razonamiento inverso. En el mtodo deductivo, se suele decir que se pasa de lo general a lo particular, de forma que partiendo de unos enunciados de carcter universal y utilizando instrumentos cientficos, se infieren enunciados particulares, pudiendo ser axiomtico-deductivo, cuando las premisas de partida estn constituidas por axiomas, es decir, proposiciones no demostrables, o hipotticos-deductivo, si las premisas de partida son hiptesis contrastables. El principio bsico consiste en determinar el valor de verdad de proposiciones del tipo Si A entonces B 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:

Anlogamente,

Qu obtienes si conjuntas ambas implicaciones? Haz un diagrama de Venn donde se muestren tus resultados. Si se conjuntan:
xe A c B c xe( A B ) xe( A B ) xe A c B c
c c

Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 3: Demostraciones Presenta: Maritza Finkenthal P.

Demostracin. Esta es la proposicin 2 de las leyes de Morgan

Sea , de donde Ahora, De donde, Esto queda demostrado. En lenguaje formal quedara: P (x): Q (x): P(x) Q(x) PQ Q(x) P(x) QP Si A c tiene interseccin con B c entonces se tiene ( A B ) c complemento. y . Entonces , donde ; esto es . y . o

. Esto prueba que , por lo que

Ac

Bc

( A B) c

A B

Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 3: Demostraciones Presenta: Maritza Finkenthal P.

( A B)c C C C C

( A B) c y( A B )

3. Indica cules son los casos de la demostracin Caso 1:

f(c)=0

f ( p ) = f ( a ) , si esto ocurre, entonces f sera una funcin constante, de la

unidad anterior, sabemos que la derivada de una constante es cero, por lo cual se tendra que f ( c ) = 0 Para toda c en ( a, b ) Caso 2:

f ( p ) f ( a ) , si esto ocurre, como f es continua, la imagen de cada uno de los

puntos del intervalo abierto bajo f existen. Debido a esto debe existir algn punto m en ( a, b ) , tal que: f ( m ) f ( c ) Para todo c de ( a, b ) , por lo que f ( m ) es un mximo relativo de f, a su vez, por ser derivable, f ( m ) existe y por el teorema de los valores extremos, es igual a cero. Es decir,
f ( c ) = 0

Caso 3:

f ( p) f ( a)

, si esto ocurre f, es continua, la imagen de cada uno de los puntos del

intervalo abierto bajo f existen. Debido a esto debe existir algn punto a en ( a, b ) , tal que:

Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 3: Demostraciones Presenta: Maritza Finkenthal P.

f ( m ) f ( c ) Para todo c de ( a, b ) , por lo que f(a) es un mximo relativo de f, a su vez por ser derivable, f ( a ) existe y por el teorema de los valores

extremos, es igual a cero. Es decir:

f ( c ) = 0

Demuestra, utilizando el mtodo por casos, que A B = B A para cualesquiera conjuntos A y B Demostracin: La hiptesis es que A B = B A Sabiendo que todo conjunto est contenido en la unin de s con cualquier otro conjunto, se tiene que Ac( A B ) 1 Por otra parte, la interseccin de dos conjuntos siempre est contenida en uno cualquiera de ellos; por lo tanto ( A B ) cB 2 Por la transitividad de la relacin "c", se tiene que AcB Ahora slo falta demostrar que BcA y as tendramos que como AcB y BcA entonces se concluye que A = B Si , A es unin de B entonces B es unin de A Haz un diagrama de Venn donde se muestren tus resultados.

A B

AB

Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 3: Demostraciones Presenta: Maritza Finkenthal P.

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
2= p con q

q0

Supongamos que p y q son primos relativos, es decir, que no comparten ningn factor comn. Si fuera el caso de que p y q compartieran un factor comn, entonces podramos simplificar la fraccin la que p y q fueran primos relativos.
p a una nueva fraccin en q

Elevando al cuadrado obtenemos que;

Multiplicando ambos lados de la igualdad por

Como la expresin es par, entonces tenemos que tambin lo es p 2 , lo cual implica que p es par, pues de no serlo, su cuadrado tampoco lo sera. Entonces , tal que p = 2n , se transforma en . Y dado que

As, la expresin

Entonces; De donde

Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 3: Demostraciones Presenta: Maritza Finkenthal P.

Por lo que q es tambin par, ya que de no ser as su cuadrado tampoco lo sera. Dado lo anterior, p y q son pares, por lo cual tienen como factor comn al 2.Por tanto, radical no tiene sentido. es un nmero irracional. Si el ndice n es par el

Explica la diferencia entre este mtodo y el mtodo contrapositivo. En el mtodo contrapositivo se parte de la negacin de A es decir de la negacin del consecuente de la implicacin mientras que en el mtodo de reduccin a lo absurdo se niega el antecedente de la implicacin Demuestra, utilizando el mtodo contrapositivo, 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 = 2k1 + 1 Al calcular n 2 se tiene:

n 2 = ( 2 K1 + 1) = ( 2k1) 2( 2k1)(1) + (1) = 4 ( k1) + k1 + 1 Por lo tanto, n 2 debe ser un nmero impar
2 2 2 2

Demuestra, utilizando el mtodo de reduccin al absurdo, que

Y anlogamente,

Supongamos que A y B, es el conjunto As pues si; Entonces suposicin de que

, por definicin

la diferencia de dos conjuntos

lo cual contradice la
A B

Lgica Unidad 4. Mtodos de demostracin y formalizacin lgica Actividad 3: Demostraciones Presenta: Maritza Finkenthal P.

Bajo la definicin P: Q: Q P Y por definicin QP

Qu obtienes si conjuntas ambas proposiciones?

A B A B A B A B =

Haz un diagrama de Venn donde se muestren estos resulta

B A