Lgica

UNIVERSIDAD ABIERTA Y A DISTANCIA DE MXICO

Integrantes del Equipo:

Fernando Molina Meja Fernando Velzquez Ramrez

Matrcula: AL12514454 Matrcula: AL12514074

MT-LOG-1203-004

Actividad 3. Demostraciones

OCTUBRE 2012.

Lgica

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.

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 iniciales 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:

S x

(A B)C

x (AC BC)

Lgica

Anlogamente; S x (AC BC) x (A B)C

Si se conjuntan:

xe(Ac Bc) xe (A B)c xe (A B)c xe (Ac Bc)

Demostracin. Esta es la proposicin 2 de las leyes de Morgan Sea donde Ahora, ( De donde, (
) y ) ( ) . Entonces

, donde
) )

; esto es . y(
)

, de

. Esto prueba que ( , por lo que (

Esto queda demostrado. En lenguaje formal quedara: P (x): Q (x):

( ) ( )

P(x) Q(x) P Q

Lgica

Q(x) P(x) Q P

Qu obtienes si conjuntas ambas implicaciones?

xe(Ac Bc) xe(A B)c xe(A B)c xe(Ac Bc)

Si Ac se intersecciona con Bc complemento.

entonces se tiene a A unin de B

Haz un diagrama de Venn donde se muestren tus resultados.

Ac
A B

Diagrama de Venn Ac

Lgica

Bc
A B

Diagrama Bc

Ac Bc
A B

Diagrama de Venn Ac Bc

Diagrama de Venn A B
(AB) c
A B

Lgica

Diagrama de Venn (A B)c

Ac Bc y (A B)c
A B

Diagrama de Venn Ac Bc y (A B) c

3. Indica cules son los casos de la demostracin f (c) = 0

Caso 1: 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:

Lgica

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: 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 u B = A n B Sabiendo que todo conjunto est contenido en la unin de s con cualquier otro conjunto, se tiene que A c (A u B) [1] Por otra parte, la interseccin de dos conjuntos siempre est contenida en uno cualquiera de ellos; por lo tanto (A n B) c B [2] Pero por hiptesis sabemos que A u B = A n B, por lo tanto en [1] te queda que A c (A n B); y combinado esto con [2], por la transitividad de la relacin "c", se tiene que A c B Ahora slo falta demostrar que B c A y as tendramos que como 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

Haz un diagrama de Venn donde se muestren tus resultados.

DIAGRAMA DE VENN

Lgica

A B

A B

Lgica

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

es un

Supongamos que raz de dos es un nmero racional, entonces, existen dos enteros p y q tales que y q es distinto de cero. Sin prdida de generalidad, 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 a una nueva fraccin en la que p y q fueran primos relativos. Elevando al cuadrado obtenemos que;

Multiplicando ambos lados de la igualdad por

tenemos que

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

Por lo que q es tambin par, ya que de no ser as su cuadrado tampoco lo sera.

Lgica

Dado lo anterior, p y q son pares, por lo cual tienen como factor comn al 2!Por tanto, sentido. es un nmero irracional. Si el ndice n es par el radical no tiene

5. 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.

Demuestre que si n es impar, entonces n2 es impar

Si n es impar, se puede expresar de la forma: n=2 k1+1 Al calcular n2 se tiene:

n2 = (2 k1+1)2 = (2 k1)2+ 2(2k1)(1) + 12 = 4 k12 + 4 k1 + 1 = 4(k12 +k1)+1 = 2(2 k2) + 1

Por lo tanto, n2 debe ser un nmero impar

Demuestra, utilizando el mtodo de reduccin al absurdo, que:

Y anlogamente,

Demostracin:

Lgica

Supongamos que B, es el conjunto As pues si ( ) Entonces suposicin de que A-B (

, por definicin * +

la diferencia de dos conjuntos A y

lo cual contradice la

Bajo la definicin P: Q:

Q P Y por definicin QP

Qu obtienes si conjuntas ambas proposiciones?

AB = A B A B AB =

Si A es diferencia de B se genera 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.

Lgica

Haz un diagrama de Venn donde se muestren estos resultados.

B A