TEMA: CONTRADICCIN INTEGRANTES:

YULEXI ANGULO MARIA ROSA BAQUE ROSA FIGUEROA EVELYN MACIAS

La lgica matemtica es la disciplina que trata de mtodos de razonamiento. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento En las matemticos para demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en investigaciones.

En la computacin para revisar programas.

En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino puede ser ms largo o ms corto dependiendo de las reglas de inferencia y tautologas que el alumno seleccione, pero definitivamente deber llegar al resultado

Es aquella proposicin que siempre es falsa para todos los valores de verdad, una de las ms usadas y ms sencilla es pp Como lo muestra su correspondiente tabla de verdad. p 0 1 p 1 0 pp 0 0

Si en el ejemplo anterior p: La puerta es verde. La proposicin pp equivale a decir que La puerta es verde y la puerta no es verde. Por lo tanto se est contradiciendo o se dice que es una falacia. Una proposicin compuesta cuyos resultados en sus deferentes lneas de la tabla de verdad, dan como resultado 1s y 0s se le llama contingente.

EQUIVALENCIA LGICA.

Se dice que dos proposiciones son lgicamente equivalentes, o simplemente equivalentes. Si coinciden sus resultados para los mismos valores de verdad. Se indican como p q. Considero que un buen ejemplo es el que se estableci para ilustrar la tautologa en donde se puede observar que las columnas de (pq) y (qp) para los mismo valores de verdad, por lo tanto se puede establecer que (pq) (qp)

REGLAS DE INFERENCIA

Los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una demostracin.

Ejemplo 1 Es vlido el siguiente argumento?. Si usted invierte en el mercado de valores, entonces se har rico. Si se hace usted rico, entonces ser feliz. __________________________________________________ Si usted invierte en el mercado de valores, entonces ser feliz.

Sea: p: Usted invierte en el mercado de valores. q: Se har rico. r: Ser feliz De tal manera que el enunciado anterior se puede representar con notacin lgica de la siguiente manera: pq qr ______ pr

El aplicar la regla de inferencia es lo que le cuesta ms al alumno y se deber poner mucha atencin para que el alumno aprenda a aplicar dicha regla.

Supngase que pq es una tautologa, en donde p y q pueden ser proposiciones compuestas, en las que intervengan cualquier nmero de variables propositivas, se dice que q se desprende lgicamente de p. Supngase una implicacin de la forma. (p1 p2....... pn) q Es una tautologa. Entonces est implicacin es verdadera sin importar los valores de verdad de cualquiera de sus componentes. En este caso, se dice que q se desprende lgicamente de p1,p2,......,pn.

Realmente el camino que se debe seguir para llevar a cabo una demostracin formal usando el mtodo directo. Significa que s se sabe que p1 es verdadera, p2 es verdadera,...... y pn tambin es verdadera, entonces se sabe que q es verdadera. Prcticamente todos los teoremas matemticos estn compuestos por implicaciones de este tipo. (p1 p2 ....... pn) q Donde la pi son llamadas hiptesis o premisas, y q es llamada conclusin. Demostrar el teorema, es demostrar que la implicacin es una tautologa. Note que no estamos tratando de demostrar que q (la conclusin) es verdadera, sino solamente que q es verdadera si todas las pi son verdaderas. Toda demostracin debe comenzar con las hiptesis, seguidas de las tautologas y reglas de inferencia necesarias, hasta llegar a la conclusin. A continuacin se prueba un enunciado en donde se puede apreciar el uso tanto de las tautologas como de las reglas de inferencia

Analizar el siguiente argumento: "Si trabajo o ahorro, entonces comprar una casa. Si compro una casa, entonces podr guardar el coche en mi casa. Por consiguiente, si no puedo guardar el coche en mi casa, entonces no ahorro".

Sean
p: Trabajo. q: Ahorro. r: Comprar una casa. s: Podr guardar el coche en mi casa.

El enunciado anterior se puede representar como: p ^q r; y r s; entonces s q

Equivale tambin a probar el siguiente teorema: [(p ^ q) r] ^ [rs] ^ [s q]

Se aplica el procedimiento general para demostracin denunciados vlidos. A continuacin se demuestra el teorema espaldando cada uno de sus pasos en tautologas o reglas de inferencia ya conocidas. 1.- (p q) r Hiptesis 2.- rs Hiptesis 3.- q (q p) Adicin tautologa 10 4.- q (p q) 3; ley conmutativa, Regla 2 5.- q r 4,1; silogismo hipottico, regla 22 6.- q s 5,2; regla 22 7.- s q 6; contra positiva, regla 7.

El enunciado es vlido aunque la conclusin puede ser falsa o verdadera.

Es recomendable numerar cada uno de los pasos. Se puede notar que las primeras lneas son hiptesis, la lnea 3 es una tautologa conocida y de la lnea 4 a 7 se obtuvieron aplicando reglas de inferencia. Se indica la regla de inferencia aplicada por medio del nmero de la derecha, y las lneas a las cuales se les aplic dicha regla de inferencia por medio de los nmeros de la izquierda. El ejemplo anterior es una demostracin sencilla, pero puede ser tan complicada como sea necesario y el mtodo debe funcionar.

El procedimiento de la demostracin por contradiccin es semejante a la que se realiz por el mtodo directo con la diferencia de que las lneas inciales de dicha demostracin no son nicamente las hiptesis, sino adems se incluye en la demostracin una lnea con la negacin de la conclusin. Por otro lado el objetivo de la demostracin es llegar a una contradiccin.

La demostracin del siguiente teorema por el mtodo de contradiccin es como se indica: p (p r) (q s) t (p s) t

1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.-

p(p r) (q s) t ps t (q s) q s q s q s sp p q r q q q Contradiccin.

Hiptesis Hiptesis Hiptesis Negacin de la conclusin 2,4; Modus tollens, regla 25 5; Ley de Morgan, 6 6; Simplificacin, regla 20 6; Ley conmutativa, 2b 8; Simplificacin, regla 20 3; Ley conmutativa, 2 10,9; Silogismo disyuntivo, regla 21 11,1; Modus ponen|s, regla 24 12; Simplificacin, regla 29 13,7; Conjuncin, regla 23

 Gracias

por su cordial atencin