INTRODUCCION

Aqu se expone en forma clara y sencilla los elementos de esta ciencia formal, examinando sus conceptos bsicos y su relacin con el pensamiento y el lenguaje. Asimismo, el autor desarrolla los temas esenciales de la lgica proposicional y de la lgica de predicados. Tradicionalmente se considera que las dos ramas principales de la lgica son la llamada lgica formal (o lgica menor) y la lgica material (o lgica mayor). En realidad la lgica formal y la material tratan sobre problemas bastante diferentes aunque relacionados. Esta distincin entre lgica material y lgica formal es anloga a la distincin que se puede hacer entre los materiales con los que est construido un puente, por un lado, y la estructura o disposicin de dichos materiales, por otro. Si esta estructura o disposicin de los materiales es defectuosa, el puente se vendr abajo, por buenos que sean los materiales. Por otra parte, aunque la estructura diseada por los ingenieros sea impecable, si los materiales empleados son de mala calidad tarde o temprano el puente tambin se vendr abajo. La lgica material se preocupa del contenido de la argumentacin. Trata de dirimir la verdad de los trminos y proposiciones de un argumento. Por su parte, la lgica formal est interesada en la forma o estructura de los razonamientos. La verdad de las premisas y de las conclusiones es una preocupacin secundaria para esta rama de la lgica. La lgica formal trata de encontrar el mtodo correcto para derivar una verdad a partir de otra. Digamos que la verdad de los enunciados que componen los argumentos es algo que se da por supuesto, algo de lo que se parte. Lo que le interesa a la lgica formal es asegurar que el paso de las premisas a la conclusin est bien fundamentado. Hay autores que hablan tambin de la lgica informal, como opuesta a la formal. La diferencia estara en que, mientras que la lgica formal estudia la estructura de los razonamientos prescindiendo de los contenidos a que hacen alusin, la lgica informal (tambin llamada pragmtica lgica) estudiara los modos correctos de razonar teniendo en cuenta los distintos contextos de dilogo y las diversas cuestiones tratadas en ellos.

Proposiciones.

Es un enunciado o frase declarativa de la cual puede calificarse su contenido como verdadero o falso, pero nunca ambos a la vez. Bajo otra definicin, se entiende por enunciado o proposicin cualquier expresin lingstica de la que tenga sentido preguntarse si es verdadero o falsa. Como slo se tienen dos alternativas, una proposicin slo puede ser verdadera o falsa. Para ver esto ms claramente, se resaltarn unos ejemplos: El sol no es un astro. Es una afirmacin completamente falsa, por lo cual, es una proposicin del mismo tipo. El lago de los cisnes. No es ms que una simple acotacin, no tiene sentido cuestionar si es verdica o no, por lo tanto, esto no es una proposicin. 2+2=4. Al ser cierto el planteamiento, demostrado matemticamente, la proposicin es verdadera.

Las proposiciones pueden ser: lgicas, abiertas e indeterminadas. Una proposicin lgica es expresin enunciativa a la que puede atribuirse un sentido o funcin lgica de verdad o falsedad. Una proposicin abierta es una expresin que contiene una o ms variables, teniendo que sustituir las variables por valores especficos se obtiene una proposicin lgica. Frases o expresiones indeterminadas, son aquellas que no cumplen las definiciones anteriores.

Estructuralmente, las proposiciones se clasifican en: Simples: Las proposiciones simples o atmicas son proposiciones que ya no pueden descomponerse en dos expresiones que sean proposiciones. Ejemplos de proposiciones simples o atmicas: 1. La ballena es roja 2. La raz cuadrada de 16 es 4 3. Gustavo es alto 4. Teresa va a la escuela

Compuestas: A las proposiciones en las que aparecen las partculas gramaticales como: No, o, y, sientonces, si y solo si. Se les llama Proposiciones Compuestas o Moleculares. Ejemplos de proposiciones compuestas: 1. La ballena no es roja 2. Gustavo no es alto 3. Teresa va a la escuela o Mara es inteligente 4. 4 es menor que 8 o 6 es mayor que 10.

Simbolizacin.

La simbolizacin es un procedimiento que consiste en aplicar el mtodo de anlisis lgico en una determinada proposicin. Analizarla lgicamente significa mostrar de manera totalmente exhaustiva sus relaciones sintcticas subyacentes y permitir, determinar, de esa manera, todas sus interpretaciones posibles.

Reglas de inferencia: Primero es necesario definir qu es una inferencia, inferir es llegar a una conclusin, en base a un razonamiento lgico previamente hecho. Inferir es derivar nuevos hechos a partir de uno ya existente. Desgranar una idea para formar nuevas a partir de ellas. Como todos los procesos lgicos, la inferencia se rige por una serie de reglas slidas, con las cules se puede inferir.

Tipos de inferencia:

1. Inductiva (de lo particular a lo general), es la que se desprende de una o varias observaciones y en general no podemos estar seguros de que ser verdadero lo que se concluye. 2. Deductiva (de lo general a lo particular), La inferencia deductiva es la nica aceptada como vlida en matemticas y computacin para hacer comprobaciones y sacar conclusiones. 3. Transductiva (de particular a particular o de general a general), Este es un caso donde como en el caso inductivo, no podemos estar seguros de que la conclusin es verdadera. 4. Abductiva es semejante a la deductiva, tambin utiliza la estrategia de analizar todas las posibilidades, pero en este caso hay varios casos que se pueden presentar.

A qu se le llama reglas de inferencia? A esos mecanismos sintcticos que permiten deducir f.b.d a partir de otras f.b.d?.

Regla p pq q pq qr pq

Nombre Modus Ponens

Ley del silogismo

pq

Modus Tollens

q p
p q pq pVq Regla del silogismo Disyuntivo Regla de la Conjuncin

p
q

p F
p pq p p pVq pq p (q r) r p r qr (pVq)r pq rs pV r qVs pq r s __V___ q r p V r

Regla de la contradiccin

Regla

de

la

simplificacin

Conjuntiva Regla de la simplificacin

Disyuntiva Regla de la demostracin

Condicional

Regla de la demostracin por casos

Regla del dilema constructivo

Regla del dilema destructivo

Modus Ponens (en latn, modo que afirmando afirma), generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma: AB
5

Si A, entonces B.

A Por lo tanto, B

A B

Por ejemplo, un razonamiento que sigue la forma del Modus Ponens podra ser: Si est soleado, entonces es de da. Est soleado. Por lo tanto, es de da. El condicional o implicacin es aquella operacin que establece entre dos enunciados una relacin de causa-efecto. La regla ponendoponens significa, afirmando afirmo y en un condicional establece, que si el antecedente (primer trmino, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo trmino, en este caso q). El Modus Tollendo Tollens, negando, niego, y se refiere a una propiedad

inversa de los condicionales, a los que nos referamos en primer lugar. la regla tollendo tollens slo nos permite negar a partir del consecuente (segundo trmino de la implicacin); ambas consecuencias se derivan de que la implicacin es una flecha que apunta en un nico sentido, lo que hace que slo se pueda afirmar a partir del antecedente y negar slo a partir del consecuente.

Ejemplo: PREMISA 1) PREMISA 2) Conclusin: Si tiene luz propia, entonces el astro es una estrella. El astro no es una estrella. Por lo tanto no tiene luz propia.

Adjuncin y negacin.

Adjuncin (A): Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante la adjuncin, podemos unirlos en una sola premisa utilizando el operador (conjuncin). p Juan es cocinero q Pedro es polica
6

_______________________________ p q Juan es cocinero y Pedro es polica Simplificacin (S): obviamente, es la operacin inversa. Si disponemos de un enunciado formado por dos miembros unidos por una conjuncin, podemos hacer de los dos miembros dos enunciados afirmados por separado. p q Tengo una manzana y tengo una pera __________________________________ p Tengo una manzana q Tengo una pera Silogismo hipottico, se refiere a dos implicaciones, de las cuales, el

antecedente de la una sea el consecuente de la otra (el mismo enunciado), podemos construir una nueva implicacin cuyo antecedente sea el de aquella implicacin cuya consecuencia sea el antecedente de la otra implicacin, y cuyo consecuente sea el de sta ltima, cuyo antecedente era consecuencia del primero. Expresado de otro modo, si una causa se sigue una consecuencia, y sta consecuencia es a su vez causa de una segunda consecuencia, se puede decir que esa primera causa es causa de esa segunda consecuencia, del mismo modo que, si una bola de billar roja golpea a otra bola blanca que a su vez golpea a una bola negra, la bola roja es causa del movimiento de la bola negra. Expresado en forma de inferencia lgica: p q Si la bola roja golpea a la bola blanca, la bola blanca se mueve q r Si la bola blanca golpea a la bola negra, la bola negra se mueve _________________________________________________________ p r Si la bola roja golpea a la bola blanca, la bola negra se mueve

Silogismo Disyuntivo (ds)

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin cuyos miembros sean los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de disyuncin, cuyos miembros seran los consecuentes de las dos implicaciones. Lgicamente, si planteamos una eleccin entre dos causas, podemos plantear una eleccin igualmente entre sus dos posibles efectos, que es el sentido de esta regla.
7

p q Si llueve, entonces las calles se mojan r s Si la tierra tiembla, los edificios se caen p V r Llueve o la tierra tiembla ______________________________________ q V s Las calles se mojan o los edificios se caen

Simplificacin Disyuntiva (sd)

Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo consecuente, y sus antecedentes se corresponden con los dos miembros de una disyuncin, podemos concluir con el consecuente de ambas implicaciones. p V q Helado de fresa o helado de vainilla p r Si tomas helado de fresa, entonces repites q r Si tomas helado de vainilla, entonces repites ___________________________________________ r Luego, repites

Ley Conmutativa.

Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la disyuncin. Una conjuncin es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no cambia este hecho. Igualmente, una disyuncin es presentar una eleccin entre dos cosas, sin importar en qu orden se presente esta eleccin. As pues, p q q p p y q equivale a q y p p V q q V p p q equivale a q p

Leyes de Morgan (dm)

Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es decir, una conjuncin en una disyuncin. Cuando se pasa de una a otra, se cambian los valores de afirmacin y negacin de los trminos de la disyuncin/conjuncin as como de la propia operacin en conjunto, como podemos observar aqu: pqpVq ___________ ____________
8

(p V q) (p q)

Lgica, certeza y validez. Es importante aclarar la naturaleza semntica de stas palabras, por lo cual, segn la Real Academia Espaola es: Lgica: La que admite una cierta incertidumbre entre la verdad o falsedad

de sus proposiciones, a semejanza del raciocinio humano. Certeza: Conocimiento seguro y claro de algo. Validez: Firme, subsistente y que vale o debe valer legalmente.

Cada proposicin ha de tener un valor de certeza cada proposicin a de ser cierta o falsa. El valor de certeza de una proposicin cierta es cierto y el valor de Certeza de una proposicin falsa es falso. Cada proposicin atmica o molecular tiene uno de estos dos valores de certeza posibles. Estas tablas bsicas de certeza indicarn rpidamente si una proposicin molecular es cierta o falsa si se conoce la certeza o la falsedad de las proposiciones que forma. Las tablas de certeza proporcionan todas las

posibles asignaciones de certeza y el mtodo de comprobar la validez de cualquier inferencia es el siguiente:

Se escriben todas las posibles combinacin es posibles de valores de certeza para las proposiciones. Se determina los valores de certeza para todas las premisas y de la conclusin del razonamiento. Se buscan las lneas que presentan todas las premisas como proposiciones ciertas si la conclusin es cierta para cada una de estas lneas entonces el razonamiento es vlido pero si hay alguna lnea para la que todas las premisas son ciertas y la conclusin es falsa el razonamiento no es vlido y la conclusin no es

una consecuencia lgica.

Reglas de demostracin.

Teorema: Consiste en una proposicin P, llamada hiptesis y otra proposicin Q que ser la conclusin. Corolario: Es un teorema que se deduce inmediatamente de otro teorema. Lema: Es un teorema que no tiene especial inters en s mismo pero que es til para probar algn otro teorema. La demostracin, es un razonamiento que establece la veracidad de un teorema. Ejemplo elemental de demostracin: Argumento: Si ayer fue lunes, hoy es martes. Si hoy es martes, maana ser mircoles. Ayer fue lunes. Por tanto, maana ser mircoles. Tericamente, todos los teoremas de la lgica proposicional se pueden demostrar utilizando solamente los axiomas y las reglas de validez; sin embargo, se establecen reglas de prueba y mtodos de demostracin con el fin de abreviar el proceso deductivo. A continuacin se presentan los principales mtodos de demostracin y reglas de prueba del clculo proposicional. Mtodo directo o de Hiptesis auxiliar. Este mtodo se utiliza para la demostracin de implicaciones, y dice as: Sean R y S frmulas. Si el suponer que R es verdadera, se puede hacer una demostracin de que S es verdadera, entonces la implicacin R S es una frmula verdadera. Justificacin: La tabla de verdad del condicional muestra que con antecedente verdadero, hay implicacin, slo en el caso en el que el consecuente es verdadero. Esquema Operativo General: Para demostrar que una frmula del tipo R S es teorema, se proceder as: Se supone que el antecedente R es verdadero. A R se le llama hiptesis auxiliar. A partir de la hiptesis, se construye un argumento lgico en el cual se pueden utilizar los axiomas y los teoremas ya probados, mediante la aplicacin de las reglas de validez, para llegar a la frmula S como conclusin o tesis. En este punto concluye la prueba y queda establecida la verdad de R S. Ejemplos

10

Demuestre que: si a y b son nmeros pares, entonces a + b es nmero par.

Solucin:

Suponga que a y b son nmeros pares, (Hiptesis auxiliar) luego, a = 2n y b = 2m con n, m Z . Entonces, a + b = 2n+ 2m =2(n + m); (n + m)Z (enteros). Por tanto, si n + m = k; a + b = 2k, es decir, a + b es un nmero par.

Dadas

P,

frmulas,

pruebe

que:

(P Q) ((Q R) (P R)) es un teorema. Solucin: P Q (hiptesis auxiliar) Q R (hiptesis auxiliar) P (Hiptesis auxiliar) Q (RV1 en 1 y 3) R (RV1 en 2 y 4) P R (mtodo directo en 3 y 5) (Q R) (P R) (mtodo directo en 2 y 6) (P Q) ((Q R) (P R)) (mtodo directo en 1 y 7) La anterior solucin, muestra el esquema de la demostracin, donde se hace una aplicacin reiterada del mtodo directo ya que lo que se debe probar es una cadena de implicaciones. A medida que se toman las hiptesis auxiliares, se va desplazando la demostracin hacia la derecha, para mostrar que las siguientes afirmaciones estn subordinadas a las hiptesis anteriores. Cuando se comienza a establecer conclusiones se vuelve a desplazar la demostracin hacia la izquierda, hasta establecer la conclusin definitiva en la teora original, es decir, aquella donde no hay hiptesis auxiliares.

11

Tablas de la verdad.

Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos, , , , , como: no, o, y, sientonces, s y slo si, respectivamente. La interpretacin corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen un mtodo de decisin para chequear si una proposicin es o no un teorema. Para la construccin de la tabla se asignar el valor verdadero a una proposicin cierta y falso a una proposicin falsa. Negacin: El valor de verdad de la negacin es el contrario de la proposicin negada. Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes. Conjuncin: Solamente si las componentes de la conjuncin son ciertas, la conjuncin es cierta. Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente es falso. De la verdad no se puede seguir la falsedad. Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de verdad. Se denomina tautologa una proposicin que es cierta para cualquier valor de verdad de sus componentes. Por tanto, la ltima columna de su tabla de verdad estar formada nicamente por unos, en este caso, el valor V. Contradiccin es la negacin de una tautologa, luego es una proposicin falsa cualquiera sea el valor de verdad de sus componentes. La ltima columna de la tabla de verdad de una contradiccin estar formada nicamente por ceros, en este caso, el valor F.

Conjuncin
P V V F F Q V F V F PY Q V F F f

Disyuncin
P Q P O Q V V V F

Implicacin
P ENTONCES Q V V V V F F F V V F F V P Q

Doble implicacin
P V V F F Q V F V F
P SI Y SOLO SI Q

V V F F

V F V F

V F F V

12

Razonamientos vlidos. Se denomina razonamiento o argumento a cualquier conjunto de enunciados donde uno de ellos (la conclusin) es presentado como apoyado o justificado por los dems (las premisas).

A la lgica no le importa si las premisas son verdaderas o falsas, sino la forma de llegar a la conclusin, es decir, la forma de razonamiento.
Razonamientos deductivos: la verdad de las premisas garantiza la verdad de la conclusin, esto es una caracterstica muy importante de los razonamientos vlidos. Razonamientos inductivos: - La verdad de la conclusin ser probable y tendr mayor posibilidad de ser verdadera cuanto mayor sea el nmero de casos. - La conclusin no se deduce, sino que se infiere en algn grado de posibilidad. - Las premisas adicionales modifican las probabilidades de la conclusin, hacindola ms o menos probable o incluso falsa si hubiera entre las premisas un caso contrario al enunciado general. Esto no ocurre en los razonamientos deductivos (a esta caracterstica de los razonamientos deductivos se la denomina "propiedad de la monotona".) - La conclusin siempre dice ms que lo est contenido en las premisas (nos permite obtener un conocimiento nuevo). - Amplan el conocimiento pero al precio de garantizar la verdad de la conclusin. - El conocimiento que proporcionan es siempre FALIBLE. - En el inductivismo no es contradictorio afirmar mis premisas y negar mi conclusin. - La induccin va de lo conocido a lo desconocido. - La verdad de las premisas no siguen la verdad de la conclusin.

13

CONCLUSION.

Utilizando la lgica se puede desglosar una oracin, para su estudio. A stas oraciones de las cules se puede plantear un razonamiento verdadero o falso se llaman proposiciones. Para su estudio se usan herramientas, como los smbolos, para simplificar el proceso universal para todo aquel que se sumerja en sta ciencia. Cada smbolo representa algo, que le da sentido al resultado de la proposicin: conjuncin, disyuncin, implicacin, etc. Cada tabla de la verdad se construye con las variables (V, F) y los smbolos correspondientes para darles sentido a las mismas. Pero todo esto lleva un mecanismo objetivo, la lgica, para dar esos resultados, la certeza y validez de los argumentos, apoyados o fundamentados en razonamientos vlidos y demostrados por una serie de pasos. Inferir no es ms que concluir, asumir algo. Pero, ninguna persona lgica infiere sin haber antes demostrado o probado lo que est sosteniendo, para ello la inferencia tiene reglas especficas, y Modus Operandis, por as decirse en forma coloquial. A la lgica no le importa si las premisas son verdaderas o falsas, sino la

forma de llegar a la conclusin, es decir, la forma de razonamiento. Y en torno a esta afirmacin gira todo, porque cada persona tiene una lgica distinta, influyen las situaciones, el contexto, el momento especfico, pero, las reglas son las mismas en todo momento.

14

REFERENCIAS BIBLIOGRAFICAS.

13262252.

Corina Y, Introduccin a la lgica, (2001), Caracas, Editorial Texto, C.A. Jucarva, (Junio 2012), http://www.slideshare.net/JUCARVA/proposiciones-

Juan T, http://www.sepi.upiicsa.ipn.mx/sab/rfinsab_jtz.pdf. http://www.salonhogar.com/espanol/lenguaje/lengua/proposiciones.htm.

15