Guayaquil, 13 de diciembre de 2012 Trabajo de Matemticas.

Perteneciente: Jhonny Antonio Concha Ramrez Tutor: Master Margarita Martnez Tema a tratar: Razonamientos. Creacin de la Clase. Objetivo: Reconocer la estructura de un razonamiento y establecer su validez empleando tablas de verdad y leyes de algebra de proposiciones. INTRODUCCIN:

Indagacin previa de lo que es lgica de matemtica por medio de dinmica.

Al razonamiento tambin se lo conoce como inferencia lgica o argumento. S que se est de hablando de razonamiento cuando nos da como consecuente una conclusin, que ser reconocido por los trminos como por lo tanto, luego, en consecuencia, de ah que, etc. Definicin: Dadas dos o ms proposiciones P1, P2, ..., Pn, llamadas hiptesis, y una proposicin Q, llamada conclusin, llamaremos razonamiento a la relacin entre ellas, denotada por: P1, P2, ..., Pn Q,

(que leeremos "si P1 y P2 y ... y Pn por lo tanto Q"), y diremos que la misma es vlida, si Q resulta verdadera cada vez que las hiptesis sean verdaderas. O lo que es lo mismo : P1 P2 P3 Pn Ejemplos: 1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si Vicente viaja al norte del pas entonces no se quedar en la capital. 2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el concurso de poesa. Luego Juan obtendr una beca. La conclusin se puede distinguir de sus premisas porque generalmente van precedidas por alguno de los trminos como por lo tanto, luego, en consecuencia, de ah que, etc. y las premisas podemos distinguirlas casi siempre por los signos de puntuacin como el punto seguido o por el sentido que tiene el enunciado. CUERPO: C

Validez de un razonamiento: Un razonamiento es vlido cuando la forma proposicional que representa su estructura lgica es tautolgica. Si dicha forma proposicional es una contradiccin o contingencia, entonces el razonamiento no es vlido, en cuyo caso se denominara falacia. MTODOS PARA DETERMINAR LA VALIDEZ DE UNA INFERENCIA LGICA Analizar la validez o invalidez de una inferencia consiste en decidir si la frmula de la inferencia es vlida o no, para esto conocemos dos mtodos: 1. POR LA TABLA DE VALORES Se sugiere seguir los siguientes pasos: a. Simbolizar las premisas y la conclusin: b. Obtener la formula inferencial c. Aplicar la tabla de valores. Si el resultado es tautolgico, la conjuncin de premisas implica a la conclusin, y por tanto la inferencia es vlida, pero si el resultado no es tautolgico, la inferencia no es vlida. Ejemplos: 1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si Vicente viaja al norte del pas entonces no se quedar en la capital. a. Simbolizamos: p q _____________ p q b. Obtenemos la formula inferencial: ( p q ) ( p q ) c. Elaboramos la tabla de valores:

p V V F F

q V F V F

(p q) V V V F

F V V V

( p q ) F V V V

El esquema no es tautolgico, luego la premisa no implica a la conclusin y la inferencia no es vlida, 2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el concurso de poesa. Luego Juan obtendr una beca. a. Simbolizando tenemos:

p q p __________ q b. Obtenemos la formula inferencial: [( p q ) p ] q

c. Elaboramos la tabla de valores:

p V V F F

q V F V F

[( p q ) V F V V

p ] V F F F

q V V V V

El esquema es tautolgico, luego la conjuncin de premisas implica a la conclusin y la inferencia es vlida. 2. POR EL MTODO ABREVIADO Es un procedimiento que evita estar construyendo la tabla de valores de verdad para determinar la validez de la inferencia. Este mtodo consiste en suponer la conjuncin de premisas verdaderas y la conclusin falsa, nica posibilidad que invalidad la implicacin. P1 P2 P3 Pn C V V V V F

Ejemplo: 1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si Vicente viaja al norte del pas entonces no se quedar en la capital. a. Simbolizamos: p q _____________ p q b. Obtenemos la formula inferencial: ( p q ) ( p q ) c. Suponemos valores, a las premisas verdaderas y la conclusin falsa

( p q ) ( p q ) V F Como cada una de las variables (p, q), cumplen una sola funcin veritativa, decidimos que la inferencia no es vlida. Esto es, se ha demostrado que la premisa es verdadera y la conclusin es falsa. 2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el concurso de poesa. Luego Juan obtendr una beca. a. Simbolizando tenemos: p q p __________ q b. Obtenemos la formula inferencial: [(p q) p] q c. Suponemos valores, a las premisas verdaderas y la conclusin falsa: [(p q) p] q V V F d. Comprobamos: [( p q ) p ] q F V F V F

Como la variable p tiene dos valores: verdadero y falso a la vez. Por lo tanto, hay implicacin y la inferencia es vlida.

CONCLUSIN: Validez y verdad. La validez se refiere a la forma de pensamiento, mientras que la verdad se obtiene del anlisis del contenido del pensamiento. En todo razonamiento o inferencia hay que distinguir su validez de su verdad. El razonamiento o la inferencia son vlidos cuando la conjuncin de premisas implica a la conclusin; y, si esto no sucede, la inferencia es invlida. La validez o invalidez de una inferencia depende nicamente de su forma lgica, y la forma lgica depende de la funcin que desempean las conectivas en la estructura del enunciado inferencial.

Si una inferencia vlida tiene su premisa o conjunto de premisas verdaderas, entonces se puede asegurar que la conclusin es necesariamente verdadera; pero si la premisas o conjunto de premisas no son verdaderas, as la inferencia sea vlida, lgicamente no se puede saber la verdad o falsedad de la conclusin. Entonces, el nico caso que se puede saber la verdad de la conclusin es cuando la inferencia es vlida y tiene premisas verdaderas. Tautologa. Es una proposicin que siempre es verdadera, independientemente del valor lgico de las proposiciones simples que la componen.. Se puede decir tambin que un esquema es un tautolgico cuando los valores de verdad del operador principal son todos verdaderos. Contingentes Cuando en su resultado hay por lo menos una verdad y una falsedad Contradiccin Es cuando en el resultado todos los valores de verdad son falsos o Un esquema A es una contradiccin si no A ( A), es una contradiccin cuando todos los valores del operador de mayor jerarqua son falsos. Indeterminacin: es la sentencia que ni es verdadera ni falsa. Funcin veritativa (Wahtheitsfunktion) : Las proposiciones funcionan como funciones que pueden asumir dos posibles valores de verdad. Toda proposicin puede ser verdadera o falsa. En consecuencia, toda proposicin es una funcin veritativa. Bibliografa: Fundamentos de matemticas para bachillerato, Espol, ICM. Archivo PDF, Matemtica Discreta, Lgica Matemtica, UNIVERSIDAD TECNOLGICA NACIONAL, FACULTAD REGIONAL CRDOBA, Carrera de Ingeniera en Sistemas de Informacin. Mdulo 2 de la universidad nacional de Loja, desarrollo del pensamiento lgico, Master Jorge Armijos O, Loja-Ecuador, 2010.