2 pensamiento lgico CONTENIDO

MDULO 2

Desarrollo del

PORTADA 1. PRESENTACIN 2. OBJETIVOS .. 3. METODOLOGA ... 4. EVALUACIN .... 5. ACREDITACIN .. 6. BIBLIOGRAFA . 7. CONTENIDOS . 1. PRESENTACIN

1 2 2 2 3 3 3 4

El Taller de DESARROLLO DEL PENSAMIENTO LGICO est dirigido a los estudiantes del mdulo dos, de la Carrera de Fsico-Matemticas del rea de la Educacin, el Arte y la Comunicacin, como base que apoye su formacin profesional especializada y le permita comprender e interpretar los fundamentos de la matemtica que aborde en cada uno de los mdulos de la carrera y luego en su prctica profesional. Se desarrollar bajo la orientacin conceptual y metodolgica que orienta el Sistema Acadmico Modular por Objetos de Transformacin SAMOT, e impulsa con rigurosidad la aplicabilidad de los fundamentos cientficos, considerando las necesidades de los estudiantes e incorpora la creatividad, valores y desarrollo de la inteligencia como ejes transversales, sin perder la alegra, la creatividad y la interlocucin. 2. OBJETIVOS 2.1. OBJETIVOGENERAL Comprender el papel que cumple el Pensamiento Lgico en el aprendizaje y aplicacin de la matemtica, regocijarse con su uso y reconocer el valor del pensamiento lgico, analtico, crtico y propositito en la bsqueda de soluciones de los problemas naturales y sociales. 2.2. ESPECFICOS Reconocer la importancia del juicio, la oracin y la proposicin. Distinguir la importancia de los conectivos lgicos. Explicar el clculo proposicional. Aplicar las leyes del clculo proposicional. Comprender y utilizar los mtodos para demostrar la validez de una inferencia lgica Interpretar los circuitos lgicos. 3. METODOLOGA El proceso ser participativo, dinmico, integral y productivo, donde la aprehensin de la realidad que modifica los esquemas de los participantes constituye los aprendizajes significativos. El trabajo acadmico, se apoya en procesos y tcnicas grupales que promuevan la

MDULO 2

Desarrollo del pensamiento lgico

comunicacin en el grupo y el logro de conocimientos individuales significativos que modifiquen los esquemas mentales Los asistentes al curso cuentan con un documento gua que facilita y habilita la participacin en su proceso de formacin, as como el uso de la INTERNET y programas de computacin. 4. EVALUACIN El proceso de evaluacin ser permanente y sistemtico que permitir la reorientacin y mejoramiento del interaprendizaje, mediante la observacin directa por parte del docente y la participacin fundamentada los estudiantes. El taller es de aprobacin independiente y se enmarca en el Capitulo II De la Evaluacin, Acreditacin y Calificacin de los Aprendizajes del Reglamento de Rgimen Acadmico de la UNL. 5. ACREDITACIN La acreditacin se cumplir a travs de la verificacin del cumplimiento de: Tareas extra clase Trabajo en clase Pruebas TOTAL 20% 20% 60% 100%

Debiendo alcanzar un promedio mnimo de 7/10 para aprobar el taller. 6. BIBLIOGRAFA 1. FIGUEROA G., Ricardo, Matemtica Bsica 1, 8va ed., Editorial Amrica, LimaPer, 2003, 699 pp. 2. LIPSCHUTZ, Seymour, Mxico, 1983, 333 pp. Matemticas para Computacin, Editorial Calypso,

3. PROAO V., Ramiro, Lgica, Conjuntos y Estructuras, 2da ed., Quito-Ecuador, 1992, 242 pp. 4. BARRERO DE NUDLER, TELDA. Lgica dinmica: nociones tericas y ejercicios con sus soluciones de lgica tradicional y simblica. Editorial Kapeluzs, Buenos Aires.1969, 183 pp.

4 pensamiento lgico INTRODUCCIN

MDULO 2

Desarrollo del

Aprender matemticas y fsica es muy difcil; as se expresan la mayora de estudiantes de todos los niveles, sin embargo pocas veces se busca una explicacin del porqu no aprenden las ciencias exactas los alumnos. Los alumnos no aprenden ciencias exactas, porque no saben relacionar las conocimientos que se proporcionan en la escuela (leyes, teoremas, frmulas) con los problemas que se le presentan en la vida real. Otro problema grave es que el aprendizaje no es significativo. El presente trabajo pretende motivar a los estudiantes para que con ayuda de la lgica matemtica, l sea capaz de encontrar estos relacionamientos entre los diferentes esquemas de aprendizaje, para que de esta manera tenga una buena estructura cognitiva. Consideramos que si el alumno sabe lgica matemtica puede relacionar estos conocimientos, con los de otras reas para de esta manera crear conocimiento. La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En las matemticas para demostrar teoremas e inferir resultados matemticos 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. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica. 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, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos. Al presentar el documento lo hemos estructurado de la siguiente manera: Primeramente se establece la importancia de la lgica matemtica, despus se habla de la historia de la misma; la relacin de la lgica con otras ciencias; la divisin de la Lgica; definimos el concepto de proposicin. Se establece el significado y utilidad de conectivos lgicos para formar proposiciones compuestas. Ms tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautologa, contradiccin y contingente, y proporcionamos una lista de las tautologas ms importantes, as mismo explicamos a que se le llama proposiciones lgicamente equivalente apoyndonos de tablas de verdad. Para finalizar; abordamos los mtodos de demostracin: directo y por contradiccin, en donde incluye reglas de inferencia y por ltimo estudiaremos los circuitos lgicos.

MDULO 2

Desarrollo del pensamiento lgico

El objetivo de la presente gua de lgica matemtica es facilitar al estudiante el estudio, comprensin y razonamiento de: categoras, conceptos, teoremas, axiomas y postulados; as como tambin el anlisis de las proposiciones desde el punto de vista de la lgica formal y simblica as como el desarrollo de ejercicios modelos que les servirn de base para el cumplimiento de sus tareas. Trata adems de presentar las explicaciones con ejemplos que le sean familiares. Nuestro objetivo es que el alumno aprenda a realizar demostraciones formales por el mtodo directo y el mtodo por contradiccin. Ya que la mayora de los libros comerciales nicamente se quedan en explicacin y demostracin de reglas de inferencia. Consideramos que s el alumno aprende lgica matemtica no tendr problemas para aprender ciencias exactas y ser capaz de programar computadoras, ya que un programa de computadora no es otra cosa que una secuencia de pasos lgicos, que la persona establece para resolver un problema determinado. 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. Puede haber tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la aplicacin de reglas y frmulas. De tal manera que cuando llegue a poner en prctica esto, l sea capaz de inventar su propia solucin, porque en la vida cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado. HISTORIA DE LA LGICA En el pasado las matemticas eran consideradas como la ciencia de la cantidad, referida a las magnitudes (como en la geometra), a los nmeros (como la aritmtica), o a la generalizacin de ambos (como en lgebra). Hacia mediados del siglo XIX, las matemticas se empezaron a considerar como la ciencia de las relaciones, o como la ciencia que produce condiciones necesarias. Esta ltima nocin abarca la lgica matemtica o simblica, ciencia que consiste en utilizar smbolos para generar una teora exacta de deduccin e inferencia lgica basada en definiciones, axiomas, postulados y reglas que transforman elementos primitivos en relaciones y teoremas ms complejos. Trataremos la evolucin de los conceptos e ideas matemticas siguiendo su desarrollo histrico. En realidad, las matemticas son tan antiguas como la propia humanidad: En los diseos prehistricos de cermica, tejidos, y en las pinturas rupestres se pueden encontrar evidencias del sentido geomtrico y del inters en figuras geomtricas. Los sistemas de clculo primitivo estaban basados, seguramente, en el uso de los dedos de una o dos manos, lo que resulta evidente por la gran abundancia de sistemas numricos en los que las bases son los nmeros 5 y 10. LAS MATEMTICAS EN LA ANTIGEDAD Las primeras referencias a matemticas avanzadas y organizadas datan del tercer milenio antes de cristo, en Babilonia y Egipto. Estas matemticas estaban dominadas por la aritmtica, con cierto inters en medida y clculos geomtricos y sin mencin de conceptos matemticos como los axiomas o las demostraciones.

6 pensamiento lgico

MDULO 2

Desarrollo del

Los primeros libros egipcios, escritos hacia el ao de 1800 A.C., muestran un sistema de numeracin decimal con distintos smbolos para las sucesivas potencias de 10 (1, 10, 100), similar al sistema utilizado por los romanos. Los nmeros se representaban escribiendo el smbolo del 1 tantas veces como unidades tena el nmero dado, el smbolo del 10 tantas veces como decenas haba en el nmero, y as sucesivamente. Para sumar nmeros, se sumaban por separado las unidades, las decenas, las centenas de cada nmero. La multiplicacin estaba basada en duplicaciones sucesivas y la divisin era el proceso inverso. Los egipcios utilizaban sumas de fracciones unidad a, junto con la fraccin b, para expresar todas las fracciones. Utilizando este sistema, los egipcios fueron capaces de resolver problemas aritmticos con fracciones, as como problemas algebraicos elementales. En geometra encontraron las reglas correctas para calcular el rea de tringulos, rectngulos y trapecios, y el volumen de figuras como ortoedros, cilindros y, por supuesto, pirmides. Para calcular el rea de un crculo, los egipcios utilizaban un cuadrado de lado U del dimetro del crculo, valor muy cercano al que se obtiene utilizando la constate (3.1416). El sistema babilnico de numeracin era bastante diferente del egipcio. En el babilnico se utilizaban tablillas con varias muescas o marcas en forma de cua (cuneiforme); una cua sencilla representaba al 1 y una marca en forma de flecha representaba al 10. Los nmeros menores de 59 estaban formados por estos smbolos utilizando un proceso aditivo, como en las matemticas egipcias. El nmero 60, sin embargo, representaba con el mismo smbolo que el uno, y a partir de ah, el valor de un smbolo vena dado por su posicin en el nmero completo. Por ejemplo, un nmero compuesto por el smbolo del 2 seguido por el del 27 y terminado con el del 10, representaba 2 x 602 + 27 x 60 + 10. Este mismo principio fue ampliado a la representacin de fracciones, de manera que el ejemplo anterior poda tambin representar 2 x 60 + 27 + 10 x (), o 2 + 27 x () + 10 x () 2. Este sistema, denominado sexagesimal (base 60), resultaba tan til como el sistema decimal (base 10). Con el tiempo, los babilonios desarrollaron unas matemticas ms sofisticadas que les permitieron encontrar las races positivas de cualquier ecuacin de segundo grado. Fueron incluso capaces de encontrar las races de algunas ecuaciones de tercer grado, y resolvieron problemas ms complicados utilizando el teorema de Pitgoras. Los babilonios compilaron una gran cantidad de tablas, incluyendo tablas de multiplicar y de dividir, tablas de cuadrados y tablas de inters compuesto. Adems, calcularon no solo la suma de progresiones aritmticas y de algunas geomtricas, sino tambin de sucesiones de cuadrados. Existen algunos personajes que los citaremos a continuacin que han hecho historia ya sea por sus frases clebres o por su pensamiento, como son: PARMENIDES: Negaba el cambio, ya que para l cambiar significaba que una cosa deje de ser lo que es. SCRATES: Uno de los grandes personajes de la historia: su frase clebre slo se que nada se

MDULO 2

Desarrollo del pensamiento lgico

PLATN: Discpulo de Scrates, al contrario de lo de su maestro deca que el individuo nace sabindolo todo, pues el alma antes de venir al mundo de lo material existe en el mundo de las ideas, en donde todo es perfecto. ARISTTELES: Es considerado el padre de la Lgica, sealaba que el ser humano nace limpio de conocimiento, y que debe adquirirlos a travs de la vida. En su obra organn trata sobre la lgica como mtodo del conocimiento. Categoras o conceptos Juicios o interpretaciones Silogismos Demostraciones

HERCLITO: Sealaba que todo lo que existe es obra del cambio y evolucin. Dialctica o razonamiento.

DEFINICIN Y OBJETO DE LA LGICA La palabra lgica se deriva de la palabra griega logos que significa razonamiento o discurso. La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad. Definicin de lgica de acuerdo a algunos autores: Para Gorski: Lgica es la ciencia de las formas del pensamiento cientfico estudiadas desde el punto de su estructura; la ciencia de las leyes que deben observarse para obtener un conocimiento inferido; la lgica estudia tambin los procedimientos lgicos generales utilizados para el conocimiento de la realidad. Segn Fingemann: Lgica en la ciencia de las formas y leyes del pensamiento, que nos da normas para la investigacin cientfica y nos suministra un criterio de verdad. Entonces se puede decir que la lgica en una ciencia que ensea a razonar con exactitud y que posee un lenguaje exacto, el cual para su desarrollo utiliza reglas las cuales nos permite obtener una conclusin. Castro Guerrero nos dice que segn Gorski Tabant el objeto de la lgica como ciencia es el estudio del pensamiento humano. El estudio de la lgica permite que el estudiante adquiera habilidades para razonar ya sea verbal o matemticamente utilizando un lenguaje simblico que expresa el aspecto cuantitativo de la realidad.

8 pensamiento lgico Existen adems otras definiciones:

MDULO 2

Desarrollo del

Lgica es la ciencia que estudia la estructura del pensamiento, prescindiendo del contenido. Lgica tambin es la manera ordenada de pensar y de expresar nuestras ideas. El objetivo principal de la lgica es analizar la estructura del pensamiento, forma lgica para descubrir leyes y reglas. RELACIN DE LA LGICA CON LAS DEMS CIENCIAS Con la filosofa: por ser parte de ella. Con la psicologa: por cuanto el pensamiento es un proceso psicolgico. Con la gramtica: el pensamiento se halla unido al lenguaje, a travs del cual se da forma y expresin del pensamiento, cuyo material final es la palabra. Con la sociologa: por que el hombre piensa de acuerdo con las leyes sociales. Con las matemticas: por que ambas disciplinas tienen carcter formal. Con la biologa: Porque el hecho lgico es un hbito y todo hbito es un hecho biolgico. Con la fsica: Porque cuando la lgica nos dice que puede ser o no ser, se refiere a objetos fsicos y stos son un captulo de la fsica que trata sobre objetos de cualquier naturaleza. DIFERENCIAS ENTRE JUICIO, ORACIN Y PROPOSICIN El juicio.- Es una relacin o conjuntos de conceptos que se caracteriza por constituir una afirmacin o aseveracin de algo, es una forma, una estructura del pensamiento que objetivamente es verdadero o falso. (Astudillo, Dolores; Inciso, Liliana). El enunciado.- Es la expresin verbal o escrita del juicio. Ejemplos: Pedro es estudiante de la Universidad Nacional de Loja x+2=7 3+2=5 No son enunciados: Las oraciones exclamativas. (Sentimientos, interjecciones). Ej.: socorro!, auxilio! te quiero! Las oraciones imperativas. (rdenes), Ej.: Cierra la puerta; te vas afuera. Las desiderativas. (Deseos, splicas). Ej.: Ojala no haya clases. Las oraciones interrogativas. (Preguntas). Ej.: Qu hora es? Razonamiento.-Es un conjunto de afirmaciones o juicios relacionados de manera al que se supone que uno de ellos (llamado conclusin) se desprende o infiere del o los otros (llamados premisas). La pretensin de que la conclusin se deriva de las es decir su

MDULO 2

Desarrollo del pensamiento lgico

premisas se manifiesta a travs de expresiones especiales como: por lo tanto, luego, por consiguiente, etc. La proposicin.- Es un enunciado que puede ser falso o verdadero, pero no ambas cosas a la vez. La proposicin es un elemento fundamental de la lgica matemtica; generalmente se las expresa en oraciones declarativas o aseverativas, tales como: Oraciones afirmativas. (Informan). Ej.: Maana es lunes. Oraciones descriptivas. (Describen). Ej.: La tiza es blanca Oraciones explicativas. (Explican). Ej.: Si hace fro entonces es invierno A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha. Ejemplo. p q r s t: w La tierra es plana. -17 + 38 = 21 x > y-9 La Liga de Loja ser campen en la presente temporada de ftbol. Hola como estas? Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones vlidas. El inciso r tambin es una proposicin vlida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposicin del inciso s, es vlida Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden. Tarea: Escribir 10 proposiciones vlidas y 10 invlidas. Valor de verdad.- Una proposicin es verdadera o es falsa; si es verdadera se denotar por la letra V o el 1 y si es falsa se denotar por F o por el 0. Si no se puede determinar su valor de verdad, se podr analizar los posibles valores de verdad (tablas de certeza). CLASES DE PROPOSICIONES: Las proposiciones se clasifican en proposiciones simples o atmicas y proposiciones compuestas o moleculares: Proposiciones simples.- Son aquellas proposiciones que no se pueden descomponer.

10 pensamiento lgico Ejemplo: p: Todo organismo viviente se adapta a su medio fsico. q: Si un nmero es divisible por 4 tambin lo es por 2. r: (a +b)2 = a2 + 2ab + b2

MDULO 2

Desarrollo del

Proposiciones compuestas o moleculares.- Son aquellos enunciados que estn formados por dos o ms proposiciones simples y unidos por trmino lgico. Ejemplos: p: La nia Mara canta y su hermano Luis toca el piano. q: Ecuador es un pas Amaznico y latinoamericano. Podemos observar en los ejemplos anteriores que tanto p como q estn compuestas de dos proposiciones simples. Los conectivos lgicos son elementos gramaticales que unen dos o ms proposiciones simples; estos son:

CONECTIVOS LGICOS
OPERADOR LGICO LGICA SIMBLICA TERMINOLOGA LGICA

Negacin Conjuncin Disyuncin Disyuncin exclusiva Conjuncin negativa Disyuncin negativa Condicional Bicondicional

v /

no y o o en sentido excluyente ni.ni nono Si., entonces Si y slo si

PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS Los operadores lgicos tambin permiten formar proposiciones compuestas (formadas por varias proposiciones). Los operadores o conectores bsicos son: CONJUNCIN ( ) QUE SE LEE Y Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Su smbolo que se lee y. Se lo conoce como la multiplicacin lgica y tiene estrecha relacin con la interseccin de conjuntos. Ejemplo. Sea el siguiente enunciado El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera. Simbolizando tenemos:

MDULO 2

Desarrollo del pensamiento lgico p: el conche enciende cuando tiene gasolina en el tanque q: tiene corriente la batera. V(p) = V V(q) = V En consecuencia: V(p q) = V Otro ejemplo: 3 + 4 = 6 y 3 + 7 = 10 p: 3 + 4 = 6 V(p) = F q: 3 + 7 = 10 V(q) = V Por consiguiente: V (p q) = F

11

De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue: pyq p pero q p aunque q p incluso q p tambin q; etc. p V V F F q V F V F p q V F F F

p q; que se lee:

Su tabla de verdad es:

TAREA: Escribir 5 ejercicios de conjuncin y determine el valor de verdad de cada uno. LA DISYUNCION: LA DISYUNCIN INCLUSIVA: ( ) QUE SE LEE: O. Es la unin de dos proposiciones simples con el conectivo lgico o. Simblicamente se lo representa as: p q que se lee p q o ambas. El enunciado es verdadero cuando alguna de las proposiciones es verdadera o ambas son verdaderas; Se conoce tambin como la suma lgica y se relaciona estrechamente con la unin de conjuntos. Ejemplos: Sea el siguiente enunciado Una persona puede entrar al cine si compra su boleto u obtiene un pase. Donde.

12 pensamiento lgico p: Una persona puede entrar al cine si se compra su boleto. q: Obtiene su pase. Simblicamente tenemos: p q V( p ) = V V( q ) = V En consecuencia: V (p q) = V 4+3=9o3+5=8 p: 4 + 3 = 9 q: 3 + 5 = 8 V ( p) = F V (q ) = V

MDULO 2

Desarrollo del

En consecuencia: V (p q) = V Su tabla de verdad es: p V V F F TAREA: Escriba 5 ejemplos de disyuncin inclusiva y determine su valor de verdad. DISYUNCIN EXCLUSIVA.- ( V ) QUE SE LEE O EN SENTIDO EXCLUYENTE El enunciado es verdadera cuando p es verdadero y q es falso o viceversa. Simblicamente se lo representa por p q que se lee p o q pero no ambas. Ejemplos: Carmen es hija de Jos de Vicente Simblicamente tenemos: p: Carmen es hija de Jos q: Carmen es hija de Vicente V(p) = V V (q) = V q V F V F p q V V V F

En consecuencia: V (p q) = F (p q) que se lee: p q, pero no ambas. 25 = 6 o 3 + 9 = 7 p: 25 = 6 V (p) F q: 3 + 9 = 7 V 8q) = F

MDULO 2

Desarrollo del pensamiento lgico En consecuencia: V (p q) = F TAREA: Escribir 5 ejercicios de disyuncin exclusiva y determine el valor de verdad. Su tabla de verdad es: p V V F F CONJUNCIN NEGATIVA: q V F V F (pq) F V V F

13

El enunciado es verdadero cuando las proposiciones simples que la forman son falsas. La conjuncin negativa de dos proposiciones p y q, se representa por p q o por p q se lee: ni p, ni q Ejemplos: ni 3 + 2 = 5, ni 2 + 4 = 6 Simblicamente tenemos: p q p: 3 + 2 = 5 q: 2 + 4 = 6 V (p) = V V (q) = V

Consecuentemente tenemos que: V (p q) = F p: 3 + 2 5 q: 2 + 4 6 Consecuentemente: V ( p q) = F Entonces se deduce que: (p q) ( p q ) Su tabla de verdad es: p q (p q) V ( p) = F V ( q) = F;

14 pensamiento lgico V V F F V F V F F F F V

MDULO 2

Desarrollo del

TAREA: Escribir 5 ejercicios de conjunciones negativas y determinar el valor de verdad. DISYUNCIN NEGATIVA: El enunciado es falso cuando las proposiciones simples que la forman son verdaderas. La disyuncin negativa de proporciones se representa por p / q; que se lee no no q. Ejemplo: No eres pintor o no eres artista p / q p: eres artista q: eres pintor En consecuencia: V (p / q) = F p: no eres artista q: no eres pintor Consecuentemente: V (p q) = F Luego: p / q (p q ) Su tabla de verdad es: p V V F F Negacin ( ) no Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el operador no se obtendr su complemento o negacin (falso). Al negar una proposicin simple, se transforma en una proposicin compuesta Este operador se indica por medio de los siguientes smbolos: (~, ) Ejemplo. Ejemplos: p: Patricio est estudiando en la sala p: Patricio no esta estudiando en la sala. q: Mara es novia de Ivn V (p) = V V ( p) = F V (q) = F q V F V F (p/q) F V V V V (p) = F V (q ) = F V (p) = V V ( q) = V

MDULO 2

Desarrollo del pensamiento lgico q: No es cierto que Mara es novia de Ivn Su tabla de verdad es: p V F p F V V (q) = V

15

A veces la negacin de una proposicin simple se obtiene mediante otra proposicin simple, as: p: x es mortal p: x es inmortal q: y es par q: y es impar La negacin en matemticas se realiza as: p: 2 + 3 = 5 p: 2 + 3 5 V (p) = V V (p) = F

NEGACIN DE PROPOSICIONES COMPUESTAS: Se puede tambin utilizar otras formas de negar como: no es el caso que; no es cierto que, (frecuentemente se acostumbra a utilizar esta forma cuando se niegan proposiciones compuestas) No es el caso que: 3 < 2 y 4 + 1 = 5; simblicamente tenemos: ( p ) q No es cierto que: 3 < 2 y 4 + 1 = 5; simblicamente tenemos: ( p ) q p: 3 < 2 V (p) = F q: 4 + 1 = 5 V (q) = V Consecuentemente: V ( p q ) = V TAREA: Escriba 5 ejemplos de negacin. PROPOSICIONES CONDICIONALES ( ) que se lee entonces Una proposicin condicional, es aquella que est formada por dos proposiciones simples (o compuesta) p y q. La cual se indica de la siguiente manera: que se lee si p, entonces q; simblicamente se la representa por: Se lee Si p, entonces q Si p, q p, slo si q p es necesario para q; etc. En este caso p: es el antecedente y q: es el consecuente.

p q

16 pensamiento lgico

MDULO 2

Desarrollo del

q p

Se lee: q puesto que p q, si p q cuando p q cada vez que p q dado que p q porque p q ya que p; etc. Se caracterizan porque despus de cada uno de estos conectivos est el antecedente o condicin.

Ejemplo: Simbolice y determine el valor de verdad: Un candidato a presidente del Ecuador dice: Si salgo electo presidente de la Repblica del Ecuador, entonces recibirn un 50% de aumento en su sueldo el prximo ao. Una declaracin como esta se conoce como condicional. Su tabla de verdad es la siguiente: p: Si salgo electo Presidente de la Repblica del Ecuador q: Recibirn un 50% de aumento en su sueldo el prximo ao V (p) = V V (q) = V

De tal manera que el enunciado se puede expresar de la siguiente manera: p q El V( p q ) = V Otro ejemplo: 5+7=12 8- 5 = 4 ; Simblicamente tenemos: p q p: 5 + 7 = 12 V( p) = V q: 8 5 = 4 V( q ) = F Su valor de verdad es: V (p q ) = F Su tabla de verdad es: p V V F F q V F V F p q V F V V

Esto significa que una proposicin condicional es falsa cuando p = V y q = F; en los dems casos ser verdadera. VARIANTES DE LA CONDICIONAL A toda proposicin condicional se le asocia tres proposiciones igualmente importantes, que son: proposicin recproca, inversa y contra recproca.

MDULO 2

Desarrollo del pensamiento lgico

17

Proposicin recproca.- Dada la proposicin condicional p q , se llama proposicin recproca a la proposicin que se denota por: q p Ejemplo: Si y es par, entonces, y es mltiplo de 2 ; simblicamente: p q. Condicional Si y es mltiplo de 2, entonces, y es par ; simblicamente: p q. Su recproca: Si b es perpendicular a c, entonces c es perpendicular a b. La proposicin anterior simblicamente la denotamos por p q; mientras que la proposicin recproca ser: q p. c es perpendicular a b, si b es perpendicular a c. Proposicin inversa. - Dada la proposicin condicional p q , se llama proposicin inversa a la proposicin que se denota por: p q. Ejemplo: Si Juan consigue la beca, entonces viajar a Francia; simblicamente tenemos: p q La proposicin inversa ser: " p q, ser: Si Juan no consigue la beca, entonces no viajar a Francia.. Simblicamente tenemos: " p q Proposicin contra recproca.- Dada la proposicin condicional: p q, se denomina proposicin contra recproca a la que se denota por: q p. Ejemplo: Si vivo en Cariamanga, vivo en la provincia de Loja; simblicamente: p q La proposicin contra recproca ser : No vivo en la provincia de Loja, si no vivo en Cariamanga ; simblicamente: q p En los siguientes ejercicios escribir la proposicin dada en la forma si p entonces q; determine su valor de verdad. A continuacin, escribir la recproca y la contrarecproca y determinar la verdad o falsedad de cada una. a) b) c) d) e) f) g) h) i) j) Las lechugas son verduras Slo las rectas paralelas no se cortan Slo las rectas perpendiculares forman ngulos rectos. Un tringulo equiltero tiene tres lados iguales Si a es mayor que b entonces b es mayor que a Los tringulos issceles son equilteros Un hombre natural de Zapotillo es natural de Loja Si x = 4 entonces x2 = 16 Ningn profesor de idiomas tiene mala ortografa Toda persona mayor de 18 aos puede votar.

PROPOSICIN BICONDICIONAL: ( ), QUE SE LEE SI Y SLO SI

18

MDULO 2

Desarrollo del

pensamiento lgico Sean p y q dos proposiciones simples entonces se puede indicar la proposicin bicondicional de la siguiente manera: p q; que se lee p si y solo si q Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p es falsa si y solo si q tambin es falsa. Ejemplo; el enunciado siguiente es una proposicin bicondicional Luis es buen estudiante, si y solo si; tiene promedio de diez Simblicamente tenemos: p: Lus es buen estudiante q: Tiene promedio de diez. Por consiguiente: V (p q) = V Su tabla de verdad es: p V V F F q V F V F p q V F F V V (p) = V V (q) = V

La proposicin bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas. La proposicin bicondicional, tambin se forma por la conjuncin de una proposicin condicional y su recproca, simblicamente tememos: p q = p q q p Ejemplo: Juan viajar a la ciudad de Cuenca si y slo si obtiene un prstamo en el Banco de Loja; Simblicamente tenemos: q p Equivale a decir: Si Juan viaja a la ciudad de Cuenca, entonces obtiene un prstamo en el Banco de Loja, y si obtiene un prstamo en el Banco de Loja viajar a la ciudad de Cuenca. Simblicamente tenemos: = p q q p Por lo tanto la primera y segunda proposicin son iguales: p q = p q q p SIGNOS DE PUNTUACIN, AGRUPACIN Y ORDEN DE LOS OPERADORES O CONECTIVOS LGICOS Los signos de agrupacin ms conocidos tenemos: el parntesis, corchete y llaves ( ); [ ] ; {} Estos signos reemplazan a los signos gramaticales: punto (.), la coma (,), el punto y como (;), y los dos puntos (:). Los signos de agrupacin se usan en lgica cuando se trata de obtener esquemas lgicos ms complejos con el fin de evitar la ambigedad de las frmulas:

MDULO 2

Desarrollo del pensamiento lgico

19

1. Si las proposiciones tienen el mismo tipo de operador o conectivo lgico, se debe colocar los parntesis de izquierda a derecha as: p q r = (p q) r p q r s = [(p q) r ] s p q r s = [(p q) r] s 2. Si no hay signos de puntuacin ni parntesis se debe considerar el siguiente orden de menor a mayor jerarqua de los operadores y de izquierda a derecha, para ubicar los parntesis.

, , , ,

Ejemplos: p q r = (p q) r p q r v s = (p q) (r v s ) p q r s = (p q) (r s) 3. Si la proposicin compuesta est escrita con parntesis, la ubicacin de stos nos indicar cual es el operador predominante: Ejemplo: p q r = (p q) v r Es un esquema disyuntivo p q r v s = (p q) ( r v s ) Es un esquema condicional p q r s = (p q) (r s ) Es un esquema bicondicional. 4. Si un esquema molecular no lleva los signos de agrupacin, se puede indicar cual es el operador predominante as: 1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13) Conjuncin Condicional Condicional Condicional Conjuncin Disyuncin Disyuncin Disyuncin Disyuncin Condicional Negacin Condicional Negacin p r s p q s p q r r p q r p q r q t q p s q p s q r s q r s p r p r t s (p r) s -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Dadas las siguientes proposiciones matemticas, incluir los parntesis. 1. Disyuncin 2. condicional 3. condicional x 0 x > y y = z x = 0 x > y y z x = 0 x 0 y z x 0 ( x > y y = z) ---------------------------------------------------------------

20

MDULO 2

Desarrollo del

pensamiento lgico 4. condicional x > y x y y > z -------------------------------5. conjuncin x = 0 x > 0 y= 0 -------------------------------6. condicional x = y y = z x= z -------------------------------7. conjuncin x = y y = z y z -------------------------------En la proposicin compuesta: En la proposicin compuesta: En la proposicin compuesta: En la proposicin compuesta: p ( q r ) el conector principal es . p q el conector principal es p ( p r) el conector principal es [ ( p q) (r s)] el conector principal es

Como podemos darnos cuenta, que los signos de puntuacin permiten, entre otras cosas, identificar en una proposicin compuesta el CONECTOR DOMINANTE O CONECTOR PRINCIPAL O EL DE MAYOR JERARQUA Debemos recordar que un esquema molecular es la combinacin de las variables, operadores lgicos y los signos de agrupacin.

CLCULO PROPOSICIONAL
VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS Hay dos formas de establecer los valores de verdad: 1. Por medio de las tablas de verdad Las tablas de verdad permiten determinar el valor de verdad de una proposicin compuesta y depende de las proposiciones simples y de los operadores que contengan. Es posible que no se conozca un valor de verdad especfico para cada proposicin; es este caso es necesario elaborar una tabla de verdad que nos indique todas las diferentes combinaciones de valores de verdad que pueden presentarse. Las posibilidades de combinar valores de verdad dependen del nmero de proposiciones dadas. Para una proposicin (n = 1), tenemos 21 = 2 combinaciones Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones Para n proposiciones tenemos 2n combinaciones Ejemplo: dado el siguiente esquema molecular, construir su tabla de valores de verdad: Pasos para construir la tabla: ( p q) (p r) 1. Determinamos sus valores de verdad 2 3 = 8 combinaciones

MDULO 2

Desarrollo del pensamiento lgico 2. Determinamos las combinaciones: p V V V V F F F F q V V F F V V F F r V F V F V F V F

21

3. Adjuntamos a ste cuadro el esquema molecular y colocamos debajo de cada una de la variables sus valores de verdad : ( p F F F F V V V V (4) (6) 4. Aplicamos la conjuncin de: (p 5. Aplicamos la condicional (p 6. Aplicamos la bicondicional (p q ) (p r) r) q ) F F F F V V F F V F V F V V F F F V F V V V V V (5) r) F V F V F V F V

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

q ) V V F F V V F F

(p V V V V F F F F

El operador de mayor jerarqua es el que determina los valores de verdad del esquema molecular. Ejercicios:

22

MDULO 2

Desarrollo del

pensamiento lgico Sabiendo que p es falsa, q es verdadera y r es falso, hallar el valor de verdad de las siguientes proposiciones compuestas por medio de la tabla de verdad. a) b) c) d) e) f) (p q) (p q) p (q r) q (p q) ( p q) (p r) ( q (q r) ) (r r) r

2.- Por medio del diagrama de rbol.Es un procedimiento corto y fcil, se necesita conocer los valores de verdad de cada variable y aplicar las tablas de certeza lgica: Ejemplos: a. Sabiendo que p es falsa, q es verdadera y r es verdadera. Cul es el valor de verdad de la proposicin q (p r). Solucin: Tenemos: q ( p r ) V F F F Luego la proposicin: q (p r), es falsa. b. Dado el siguiente esquema molecular: ( p q) (p r) Si: p es falsa q es verdadera y r es verdadera. El conector dominante es el bicondicional encontrar el valor de verdad del esquema por medio del diagrama del rbol: Solucin: ( p q ) ( p r) V V V V F V F V

MDULO 2

Desarrollo del pensamiento lgico Luego la proposicin: ( p q) (p r) es verdadera Ejercicios

23

1. Si el valor de verdad de la proposicin: q p, es falsa, Cul ser el valor de verdad de: q p. 2. Completar con V o F, cada una de las siguientes proposiciones, justificar la respuesta:

a. Se sabe que p q es verdadera. Por lo tanto el valor de verdad de p q es: ----------------------b. Se sabe que p q es falsa. Por lo tanto, el valor de verdad de p q es: ----------------------c. Se sabe que p q es falsa. Por lo tanto, el valor de vedad de p q es: ----------------------d. Se sabe que p es falsa y p q es verdadera. Por lo tanto, p q es: ----------------------e. Se sabe que q y r es verdadera. Por lo tanto q ( p r) es: -----------------------3. Escribir simblicamente las proposiciones siguientes y encontrar el valor de verdad por el diagrama del rbol: a. 2 es nmero par y 21 es mltiplo de 3, 5 es la raz cuadrada de 10 b. Si el m.c.m. de 12 y 15 es 60 y 3 es el cuadrado de 9, entonces, estudio o juego ajedrez. CONTINGENTES, TAUTOLOGAS Y CONTRADICCIONES Los esquemas moleculares se clasifican segn el resultado que se obtenga en el operador de mayor jerarqua, pueden ser: CONTINGENTES Cuando en su resultado hay por lo menos una verdad y una falsedad Ejemplo: dado el siguiente esquema: ( p q) (p r) p q r (p q ) (p r)

24 pensamiento lgico V V V V V F V F V V F F F V V F V F F F V F F F El esquema es contingente TAUTOLOGA F F F F V V V V F F F F V V F F V V F F V V F F V F V F V V F F

MDULO 2

Desarrollo del V V V V F F F F F V F V V V V V F V F V F V F V

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. Ejemplo Si p y q son proporciones simples distintas, demuestre mediante tablas de certeza que el siguiente esquema proposicional es una tautologa. (p q) (p q) p V V F F q V F V F ( p V V F F V F F F q ) V F V F V V V V ( p V V F F V F F V q ) V F V F

Es un esquema tautolgico 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. Ejemplo: Dado el siguiente esquema molecular: [( p q) r ] [ r ( p q )], determinar si se trata de una contradiccin:

MDULO 2

Desarrollo del pensamiento lgico p V V V V F F F F 1 q V V F F V V F F 2 r V F V F V F V F 3 [( p F F F F V V V V 4 F F F F V V F F 10 V V F F V V F F 5 q) V V V V F V V V 11 r] F V F V F V F V 6 F F F F V F F F 15 [r V F V F V F V F 7 F F F F V F F F 1 4 ( p q )] F V V F F V V F F V V V F V V V V F F F V F F F F F V V F F V V 1 3 8 12 9

25

Podemos observar en el ejemplo anterior que no se trata de una contradiccin; pero si es un es un esquema contingente. OBSERVACIN: A la tautologa se la simboliza con la letra T A la idea de tautologa se la relaciona con el conjunto universal A la contradiccin se la simboliza con la letra C A la contradiccin se la relaciona con el conjunto vaco. La negacin de una tautologa es una contradiccin La negacin de una contradiccin es una tautologa. EJERCICIOS Comprobar por medio de una tabla de verdad que las siguientes esquemas compuestas son tautologas, contingentes o contradictorios 1. 2. 3. 4. 5. p p (p q) ( q p) [( p q ) ( q r )] ( p r) [p ( p q )] q ( p q) ( q p) INFERENCIA LGICA IMPLICACIONES LGICAS Se lo representa por el smbolo , no es un conectivo lgico, es un signo de relacin Se dice que un esquema A implica a otro esquema B, cuando al unirlos por la condicional nos da una tautologa. Simblicamente se lo representa as: A B. Si la proposicin compuesta A implica a la proposicin compuesta B, entonces B se deduce necesariamente de A, o tambin se dice que B se infiere lgicamente de A. Ejemplo: Demostrar que el esquema A implica a B

26 pensamiento lgico A: p q B: p q Luego unimos con la condicional y construimos la tabla: p q p q p V V F F q V F V F p q V F F F V V V V

MDULO 2

Desarrollo del

q V V V F

Como el resultado es una tautologa, se ha demostrado que A implica a B. Nota: la relacin de implicacin no es recproca. EQUIVALENCIAS LGICAS Se lo representa por pero no es un operador lgico. Decimos que dos proposiciones compuestas P y Q son equivalente, s al unir las dos con la bicondicional nos da una tautologa, es decir que P y Q tienen los mismos valores de verdad en su operador principal. Simblicamente se escribe as: P Q P Q Se lee P es equivalente a Q Q es equivalente a P. Si no son equivalentes se los escribe as: P Q Si P y Q son equivalentes, entonces Q se deduce vlidamente a partir P, y a la vez tambin P se deduce necesariamente a partir de Q. Para demostrar que una proposicin compuesta es equivalente a otra, se lo puede hacer por medio de las tablas de verdad o por medio de las leyes y reglas de inferencia que veremos a continuacin. A los esquemas moleculares compuestos se los representa con las letras maysculas A, B, C,.. etc. con P, Q, R, etc. Ejemplos: Determinar si las proposiciones siguientes son equivalentes, por medio de la tabla de verdad: A : Si Pedro aprob el curso preuniversitario, entonces ingres a la UNL. Simblicamente: p q B: No es el caso que: Pedro apruebe el curso preuniversitario y no ingrese a la UNL Simblicamente : ( p q )

MDULO 2

Desarrollo del pensamiento lgico

27

Luego demostramos que: p q ( p q ) Seguidamente para demostrar que estos dos esquemas son equivalentes, los unimos con la bicondicional as: ( p q ) ( p q ) y construimos una tabla de verdad: p V V F F q V F V F ( p V F V V q ) V V V V ( p V F V V F V F F q )

Dado que el resultado de la tabla es una tautologa, las proposiciones A y B son equivalentes. Otro Ejemplo: P: q p ; Q: ( q p ) p V V F F q V F V F ( q F V V V 1 p ) V V V V ( q p ) F V V F V F V F 3 2

Aqu observamos que la columna 1 y 3 de los operadores principales de las proposiciones P y Q son iguales, por lo tanto son equivalentes. Tambin las proposiciones P y Q son equivalentes porque al unirlas con la bicondicional nos dio una tautologa. Ejercicios: Demostrar que los siguientes esquemas moleculares son equivalentes a) [ p ( q r ) ] [ ( p q ) ( p r )] b) [ p ( q r ) ] [ ( p q ) ( p r )] c) ( p ( q r) (p q ) r d) (p (q r) (p q) r e) ( p q ) ( p q ) f) ( p q ) ( p q ) LEYES DEL LGEBRA PROPOSICIONAL

28

MDULO 2

Desarrollo del

pensamiento lgico En lgica, las tautologas son conocidas con el nombre de leyes o principios lgicos. A continuacin anotamos las principales leyes que vamos a utilizarlos en el futuro y que usted de familiarizarse: L- 1: Leyes de Idempotencia para y para Si p es una proposicin simple o compuesta, entonces: a. (p p) p b. (p p) p Segn estas leyes, las proporciones ( p p) o (p p) pueden sustituirse por p. L 2: Leyes de Identidad para y para Si p es una proposicin simple o compuesta, entonces: a) p ( V ) ( V ); es decir, cuando formamos la disyuncin de una proporcin p, cuyo valor de verdad es desconocido, con otra cuyo valor de verdad de ( V ), el resultado es ( V ), ya que la disyuncin es ( V ) cuando al menos una de las proposiciones dadas es verdadera. b) p ( F ) p; es decir, el valor de verdad de la disyuncin de una proposicin p, cuyo valor de verdad no conocemos, con otra cuyo valor de verdad es ( F ), depende del valor de p. c) p ( V ) p; en este caso el anlisis es similar a la parte b), teniendo en cuenta que aqu el conector es d) p ( F ) ( F ); el anlisis es similar al de la parte a), teniendo en cuenta aqu que el conector es L- 3: Leyes Conmutativas y para Si p y q son proposiciones, entonces: a) ( p q ) ( q p ) b) (p q ) (q p), es decir, dos proporciones conectadas con pueden escribirse en cualquier orden. L - 4: Leyes Asociativas Si p, q, , son proposiciones cualesquiera, entonces: g) ( p ( q r) (p q ) r h) (p (q r) (p q) r L 5: Leyes Distributivas:

MDULO 2

Desarrollo del pensamiento lgico Si p, q, r son proposiciones cualesquiera, entonces. i) [ p ( q r ) ] [ ( p q ) ( p r )] j) [ p ( q r ) ] [ ( p q ) ( p r )]

29

Estas leyes son similares a las que conocemos en el lgebra para la suma y la multiplicacin. Recordemos que: 4( x + y ) = (4x) + ( 4y) L 6: Ley de la Doble Negacin: Si p es una proposicin simple cualquiera, entonces: (p) p Al negar dos veces una proposicin obtenemos una afirmacin. L 7: Ley del Tercer Excluido: Si p es una proposicin cualesquiera, entonces: ( p p) ( V ) Esta propiedad establece que independientemente del valor de verdad que tenga p, la proposicin: (p p) siempre es verdadera. Por tanto, en un esquema lgico complejo podemos reemplazar (p p), (q q), (r r), (a b) (a b), etc., por ( ). L 8: Ley de Contradiccin: Si p es una proposicin cualesquiera, entonces: ( p p ) ( F ) Esquemas como (p p), (q q), (r r) pueden remplazarse por (F) L 9: Leyes de De Morgan: Si p, q son proposiciones simples o compuestas, entonces: k) ( p q ) ( p q ) l) ( p q ) ( p q ) Estas leyes nos indican cmo negar una disyuncin y una conjuncin. La parte: a) establece que para negar una conjuncin es necesario cambiar la conjuncin por disyuncin (por y negar las proposiciones dadas. ) La parte b) establece que para negar una disyuncin debemos cambiar la disyuncin por la conjuncin (la por y negar las proposiciones dadas. ) Ejemplo: Negar la proposicin: 7 es un nmero primo y 30 es divisible por 5. Solucin:

30

MDULO 2

Desarrollo del

pensamiento lgico Cambiamos y por o y negamos las proposiciones simples que forman el enunciado, as: 7 no es un nmero primo o 30 no es divisible por 5. L 10: Ley de la condicional: Usando tablas de verdad podemos verificar que: p q equivale a p q . La proposicin p q es una abreviacin de la proposicin p q; es decir: ( p q ) ( p q) NOTA: Son muchos los esquemas lgicos que ofrecen alguna complejidad y pueden simplificarse utilizando esta definicin alterna del condicional. Ejemplo 1: Escribamos sin condicional las proposiciones siguientes: a. ( p q) r b. p ( q ) c. p q SOLUCIN: a. [ (p q ) r ] ( p q ) r b. [ p ( q r ) ] p ( q r ) c. ( p q ) ( p ) q p ( q ) Ejemplo 2: Escribamos una proposicin equivalente a: Si X es par entonces x es divisible por 2 SOLUCIN: Usando la definicin alterna de la implicacin tenemos: x no es par o x no es divisible por 2 Ejemplo 3: Comprobemos que ( p q) ( p q) SOLUCIN: Elaboramos la tabla de verdad: p V V F F q V F V F p F F V V ( p V F V V (1) L- 11 Ley de la Bicondicional q) V V V V (3) ( p q) V F V V (2)

MDULO 2

Desarrollo del pensamiento lgico p q ( p q ) ( q p )

31

L- 12 Conjuncin Negativa.p q p q L-13 Disyuncin Exclusiva.p q ( p q ) ( p q ) Ejercicios: Demuestre las leyes mediante el uso de las tablas de verdad. APLICACIONES DE LAS LEYES DEL ALGEBRA PROPOSICIONAL Las leyes nos pueden servir para demostrar que un esquema es equivalente a otro, tambin podemos utilizar en la simplificacin de proposiciones etc. Ejemplo 1: Probemos que ( p q ) [ p q )] SOLUCIN: 1. ( P Q ) [( p ) q ] Definicin alterna de implicacin ( p) ( q ) Ley de De Morgan para p ( q) Ley de la Doble Negacin Luego: ( p q ) [ p (q)] Ejemplo 2: Probemos que la proposicin ( p q) p es una tautologa. SOLUCIN: 1. [ ( p q ) p ] ( p q ) p Definicin alterna de 2. ( p q) p Ley de De Morgan para 3. ( p p ) ( q) Ley Asociativa de la 4. ( V ) ( q ) Ley del Tercer excluido 5. ( V ) Ley Idntica de la Por lo tanto, al ser [( p q ) p] ( V ), concluimos que es una tautologa. Ejemplos: 1. Probemos que la proposicin [ ( p q) ( q)] ( p) es una tautologa. 2. Probemos que la siguiente proposicin es una contradiccin: [ ( p q ) ( p q ) ] [ ( p q ) ] ( p q )

2. 3.

32

MDULO 2

Desarrollo del

pensamiento lgico Elaborar la tabla de verdad de las siguientes proposiciones y decir en cada caso si se trata de una tautologa, una contradiccin o una determinacin. a) b) c) d) e) f) g) h) ( p q) ( p q ) ( p q) ( p q) p ( q r ) p ( p q) ( p q ) ( p q) ( p q ) p ( q r ) ( q r) ( r r ) r

Los siguientes ejercicios deben resolverse aplicando las Leyes del lgebra proposicional y no por tablas de verdad.Probar que las proposiciones siguientes son tautologas: a) b) c) d) e) [ q ( p q ) ] ( p ) [ ( p q ) q ] ( p ) [ ( p ( q r ) ] [ ( p q ) r ] [ p ( p q ) ] q p ( p q )

Simplificar las siguientes proposicin utilizando leyes: a) b) c) d) e) ( p q ) ( p q ) p ( p q ) m ( m n ) [ t ( m t ) ] [ ( p q ) ( p q ) ]

INFERENCIA LGICA: La inferencia es el paso de un conjunto de premisas a la conclusin. Simblicamente se lo representa as: P1 P2 P3 . . . Pn ______ C

MDULO 2

Desarrollo del pensamiento lgico

33

Al unir cada una de las premisas por el operador conjuntivo y estas a la vez con la conclusin por medio del condicional, se obtiene la siguiente frmula inferencial: P1 P2 P3 Pn C Como las premisas y la conclusin estn constituidas por proposiciones, podemos decir que la inferencia es una estructura de proposiciones, donde a partir de una o ms proposiciones llamadas premisas se obtiene otra proposicin llamada conclusin: 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. 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. 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:

34 pensamiento lgico

MDULO 2

Desarrollo del

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 q) V V V F F V V V ( p q ) F V V V

p V V F F

q V F V F

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:

MDULO 2

Desarrollo del pensamiento lgico 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

35

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:

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

MDULO 2

Desarrollo del

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. Reglas de inferencia: Para inferir un razonamiento a partir de otros se requiere de un proceso en el que se aplican propiedades o leyes fijadas de antemano y que no hayan sido obtenidas de casos particulares o para casos particulares. Estas leyes dan la certeza de que solo es posible obtener conclusiones ciertas de premisas ciertas. 1.- MODUS PONENDO PONENS ( REGLA DE SEPARACIN): Su abreviatura es PP. Simblicamente tenemos: p q (1) p (1) _______ q (1) Su frmula inferencial es: [ ( p q ) p ] q Si una proposicin condicional es verdadera y si verdadero el antecedente, entonces necesariamente ser verdadero el consecuente. Ejemplo: Premisa 1: Si l est en el partido de ftbol, entonces l est en el estadio.

MDULO 2

Desarrollo del pensamiento lgico Premisa 2: El est en el partido de ftbol Conclusin: El est en el estadio. Se simboliza de la siguiente manera el ejercicio anterior p q p _______ q Ejercicios: (1) (1) (1)

37

A. Qu conclusin se puede sacar de cada uno de los siguientes conjuntos de premisas? Es decir qu proposicin lgica se sigue de las premisas? 1) Si usted est en Madrid, entonces su reloj seala la misa hora que en Barcelona. Usted est en Madrid. 2) Si no nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos despedimos ahora. 3) Si vivo en la capital del Ecuador, entonces no vivo en ninguno de las 21 provincias del Ecuador. Vivo en la capital del Ecuador. B. Utilizando Modus Ponendo Ponens sacar una conclusin de cada uno de los conjuntos de premisas siguientes. Escribir la conclusin en la lnea (3) 1) 2) 3) 1) 2) 3) 1) 2) p q r p q p r p r r q p

C. Poner una C junto a cada ejemplo en el que la conclusin es correcta segn el Modus Poniendo Ponens. Poner una I junto a cada conclusin incorrecta. 1. 2. 3. 4. 5. Premisas: s y s t: conclusin: t Premisas: t v y t: conclusin v Premisas: p q y q: conclusin r Premisas: s y r s Premisas: r y r s

2. DOBLE NEGACIN. La regla de doble negacin es una regla simple que permite pasar de una premisa nica a la conclusin.

38 pensamiento lgico Simblicamente tenemos: p (1) ________ p (1) Ejemplo: No ocurre que Mara no es estudiante Simbolizando el ejemplo anterior tenemos: p (1) ________ p (1) La conclusin es que Mara es estudiante. p (1) _______ p (1)

MDULO 2

Desarrollo del

Ejercicios: A. Qu conclusin podemos sacar de cada una de las proposiciones siguientes por la doble negacin: 1. Todos los mamferos son animales de sangre caliente 2. El granito es un tipo de mineral gneo 3. No ocurre que un quinto no es el veinte por cierto B. Demostrar que las conclusiones son consecuencia de las premisas dadas: 1. Demostrar: t 2. Demostrar: b (1) s t (1) a (2) s (2) a b (3) (3) (4) (4) 3.- MODUS TOLLENDO TOLLENS. Su abreviatura es TT. Simblicamente tenemos: p q q (1) (1)

p (1) Su frmula es: [ ( p q ) q ] p Si una proposicin condicional es verdadera y si es verdadera la negacin del consecuente, entonces necesariamente ser verdadera la negacin del antecedente. Ejemplo: Premisa 1: Si tiene luz propia, entonces el astro es una estrella Premisa 2: El astro no es una estrella.

MDULO 2

Desarrollo del pensamiento lgico Conclusin: Por tanto no tiene luz propia Se simboliza de la siguiente manera el ejercicio anterior p q q Ejercicios: A. 1) P P p TT 1, 2

39

Qu conclusin se puede deducir de cada uno de los conjuntos de premisas siguientes utilizando TT? Escribir las conclusiones es castellano. Si la luz fuera simplemente un movimiento ondulatorio continuo, entonces la luz ms brillante dar lugar siempre a una emisin de electrones con mayor energa que los originados por luz ms tenue. La luz ms brillante no siempre emite electrones con mayor energa que los originados. Si un ngulo de un tringulo es mayor de 90 grados, entonces la suma de los otros dos ngulos es menor de 90 grados. La sima de los otros dos ngulos no es menor de 90 grados. Si el arriendo se mantiene vlido, entonces el dueo es responsable de las reparaciones. El dueo no es responsable de las reptaciones. Deducir una conclusin de cada uno de los conjuntos de premisas siguientes, aplicando la regla del Modus Tollendo Tollens. 1. (1) q r (2) r (3) 2. (1) q r (2) r (3) 3. (1) ( p q) r (2) r (3)

2)

3) B.

C.

Demostrar que las conclusiones son consecuencia de las premisas dadas. Indicar la demostracin completa. Demostrar: c (1) b (2) a b (3) a c Demostrar: r s (1) p q (2) q (3) p r s Demostrar: (1) f (2) e f

4.- MODUS TOLLENDO PONENS. Su abreviatura es: MTP Simblicamente tenemos: p q p p q q (1) (1) q (1) (1)

40 pensamiento lgico

MDULO 2

Desarrollo del (1) (1)

p Sus frmulas son: [ (p q ) p ] q [ (p q ) q ] p

Si una proposicin disyuntiva es verdadera y si es verdadera la negacin de una de sus componentes, entonces necesariamente ser verdadera la otra componente de la disyuncin. Ejemplo: Supngase que se tiene como premisa: O esta sustancia contiene hidrgeno o contiene oxgeno La segunda premisa dice: Esta sustancia no contiene oxgeno Por medio del Modus Tollendo Ponens se puede concluir: Esta sustancia contiene oxgeno Para aclarar la forma de esta inferencia, se puede simbolizar el ejemplo: p: Esta sustancia contiene hidrgeno q: Esta sustancia contiene oxgeno La demostracin de la conclusin es: p q p P P q Ejercicios: A. Qu conclusin, en forma de proposicin escrita en castellano, se puede deducir de cada uno de los conjuntos de premisas siguientes utilizando la regla TP? 1. Este hombre o es un abogado o es un poltico. No es un abogado. 2. Juan o ha terminado el libro o no ha ido a devolverlo hoy a la biblioteca. 3. Juan no ha terminado el libro. B. Deducir una conclusin de cada uno de los siguientes conjuntos de premisas usando el Modus Tollendo Ponens. (1) q r (2) r P P (1) t ( p q) (2) t P P (1) (s t) r (2) (s t) P P TP 1, 2

MDULO 2

Desarrollo del pensamiento lgico C. Demostrar que las conclusiones son consecuencia de las premisas dadas en los Ejercicios que siguen. Dar una demostracin completa. 1) Demostrar: p (1) p q P (2) t P (3) q t P 2) Demostrar a b (1) a b P (2) a e P (3) e P 3) Demostrar: p (1) t p q P (2) t (3) q P

41

5.- TAUTOLOGA SIMPLIFICATIVA Simblicamente tenemos: p q p p q q Su frmula es: (p q) p (p q) q Si una conjuncin de proposiciones es verdadera entonces necesariamente ser verdadera cada una de sus componentes. Ejemplo: Apruebo los talleres y apruebo el mdulo 2 Premisa 1: apruebo los talleres Premisa 2: apruebo el mdulo 2 Conclusin: 1) apruebo los talleres Conclusin: 2) apruebo el mdulo 2 6.- TAUTOLOGA ADJUNCIN Simblicamente tenemos: p q p q Su frmula es: [ ( p ) ( q ) ] ( p q) Si dos proporciones cualesquiera son verdaderas, entonces necesariamente ser verdadera la conjuncin que con dichas proposiciones se forme. Ejemplo:

42 pensamiento lgico Sal bien en el examen y tengo 10 p: sal bien en el examen q: tengo 10 ( p q ) : sal bien en el examen y tengo 10 7. TAUTOLOGA ADICIN Simblicamente tenemos: p p q Su frmula es: p [ p q]

MDULO 2

Desarrollo del

Si una proposicin cualesquiera es verdadera, entonces necesariamente ser verdadera la disyuncin que se forme con dicha proposicin y cualquier otra. Ejemplo: Estudio con responsabilidad o pierdo el mdulo p: estudio con responsabilidad q: pierdo el mdulo p q: estudio con responsabilidad o pierdo el mdulo. 8. SILOGISMO HIPOTTICO (LEY TRANSITIVA). Su abreviatura es HS Simblicamente tenemos: p q q r p r Su frmula es: [( p q ) ( r s ) ( p r )] (q s) Si una proposicin condicional es verdadera y si es verdadera otra condicional que tenga como antecedente el consecuente de la primera, entonces necesariamente ser verdadera otra condicional que tenga por antecedente el de la primea y por consecuente el consecuente de la segunda. Ejemplo: (1) Si hace calor, entonces Juana va a nadar (2) Si Juana va a nadar, entonces arregla la casa despus de comer. Se puede concluir: (3) Si hace calor, entonces arregla la casa despus de comer.

MDULO 2

Desarrollo del pensamiento lgico Ejercicios:

43

En los ejemplos siguientes de la ley del silogismo hipottico obsrvese que algunos de los antecedentes y consecuentes son proposiciones moleculares. La forma, sin embargo es la misma. a. (1) p q (2) q r (3) p r P P HS 1,2 P P HS 1,2

b. (1) (p q) r (2) r (q t ) (3) (p q) ( q t ) A.

Qu conclusiones se puede sacar, si se puede sacar alguna, por la ley de silogismo hipottico de los conjuntos de proposiciones siguientes? 1. Si el agua se hiela, entonces sus molculas forman cristales. Si las molculas forman cristales, entonces el agua aumenta de volumen. 2. Si un haz fino de fotones penetran en un gas en una cmara de niebla, entonces los fotones expulsan electrones de lo s tomos del gas. Si los fotones expulsan electrones de tomos de gas, entonces la energa de la luz se convierte en energa cintica de los electrones.

B. Traducir los razonamientos del ejercicio A en smbolos lgicos y demostrar que su conclusin es consecuencia lgica de las premisas. C. Utilizar la ley del silogismo hipottico conjunto de premisas. 1. (1) q p 2. (1) s t r q (2) p r (2) r q p y obtener una conclusin del siguiente

D. Indicar una deduccin formal de las siguientes conclusiones a partir de las premisas dadas. 1. Demostrar: t (1) ( q r) p (2) r t (3) ( q r ) t 2. Demostrar: q (1) r s (2) s p q (3) r t (4) t

9.- SILOGISMO DISYUNTIVO (LEY DEL DILEMA). Su abreviatura es DS Simblicamente tenemos: p q

44 pensamiento lgico r s p r q s Su frmula es: [(p q) (r s ) (p q)] (q s)

MDULO 2

Desarrollo del

Si dos proposiciones condicionales son verdaderas y si es verdadera la disyuncin que se forme con los antecedentes de dichas condicionales, entonces necesariamente ser verdadera la disyuncin que se forme con los consecuentes. Ejemplo: O llueve o el campo est seco Si llueve, entonces jugaremos dentro. Si el campo est seco, entonces jugaremos al baloncesto Qu conclusin se puede sacar de estas proposiciones? La conclusin es que o jugaremos dentro o jugaremos el baloncesto. La conclusin es otra disyuncin. Simbolizamos: r: d: p: b: llueve el campo est seco jugaremos dentro jugaremos al baloncesto

Esto se simboliza as: (1) r d P (2) r p P (3) d b P (4) p b D S1, 2, y 3 Ejercicios: A. Qu conclusin se puede sacar de cada uno de los siguientes conjuntos de premisas, por la ley del silogismo disyuntivo? Dar como conclusin una proposicin en lenguaje corriente. 4) 5) O Juan tiene mayora o Pedro tiene mayora. Si Juan tiene mayora. Pedro ser el tesorero. Si Pedro tiene mayora, entonces Juan ser el tesorero. O la planta es un aplanta verde o es una planta no verde. Si es una planta verde, entonces fabrica su propio elemento. Si es una planta no verde, entonces depende de las materias de otras plantas para su alimento.

B. Simbolizar los razonamientos de los ejemplos anteriores y demostrar que las conclusiones son consecuencia lgica de las premisas.

MDULO 2

Desarrollo del pensamiento lgico

45

C. Utilizar la ley del silogismo disyuntivo (DS) para obtener una conclusin de cada uno de los siguientes conjuntos de premisas. 1. (1) p q (2) q r (3) p s 2. (1) t s (2) s p (3) t q

D. Dar una deduccin completamente formal de las siguientes conclusiones a partir de las premisas dadas. 1. Demostrar: r (p q ) 2. Demostrar: q s (1) p q (1) s r (2) q r (2) r t (3) p t (3) q t (4) t 10. CONMUTATIVA Simblicamente tenemos: p q _______ q p Su frmula es: (p q ) (q p) Ejemplo: Pedro trabaja y estudia Por lo tanto: Pedro estudia y trabaja p q q p p q ______ q p (p q) ( q p)

11. SIMPLIFICACION DISYUNTIVA: Simblicamente tenemos: pp ________ p Su frmula es: (p p) p Ejemplo: Pedro trabaja o Pedro trabaja Se concluye: que Pedro trabaja. 12. LAS LEYES DE DE MORGAN: Simblicamente tenemos: p p

46 pensamiento lgico a) (p q) ________ p q Ejemplos: a) No ocurre a la vez que: hace calor o que hace fro (p q) Se puede tambin expresar: No hace calor y no hace fro b) No llueve y no hace sol Se puede tambin expresar: No ocurre que: llueve o haga sol (p q) Ejercicios: p q p q b)

MDULO 2

Desarrollo del p q ________ (pq)

A. Que se puede concluir de las premisas siguientes utilizando las leyes de De Morgan? 1. O los arcnidos no son insectos o no tienen ocho patas 2. No ocurre que o el aire es un buen conductor del calor o el agua es un buen conductor del calor. 3. No ocurre que los murcilagos son pjaros o que las focas son peces B. Aplicar las leyes de De Morgan para deducir conclusiones: 1. ( p q) 2. r t 3. ( r s) 4. g h C. Indicar una demostracin formal completa para cada uno de los razonamientos simbolizados siguientes: 1. Demostrar: s (1) (p q) (2) q t (3) p t (4) s t 2. Demostrar: r q (1) s ( p t) (2) t (q r) (3) s

D. Dar una demostracin formal completa para cada uno de los razonamientos siguientes:

MDULO 2

Desarrollo del pensamiento lgico 1. Demostrar: x = 1 (1) (z < 3) ( x > y) y = 2 (2) x < y x = 1 (3) x > z x > y (4) x > z x < y 13.- REGLA DE LA BICONDICIONAL. Su abreviatura es LB Simblicamente tenemos: p q ___________________ (p q ) (q p) p q q p ____________ p q

47

Ejercicios: A. Simbolizar las siguientes proposiciones y dar una deduccin formal: 1. Esta ley ser aprobada en esta sesin si y solo si es apoyada por la mayora. O es apoyada por la mayora o el gobernador se opone a ella. Si el gobernador se opone a ella, entonces ser pospuesta en las deliberaciones del comit. Por tanto o esta ley ser aprobada en esta sesin o ser pospuesta en la deliberacin del comit. 2. 3 x 5 = 12 5 +5 +5 = 12 4 x 4 13 5 +5 +5 = 12 4 x 4 = 13 Por lo tanto: 3 x 5 12 B. Dar una demostracin formal completa siguientes: 1. Demostrar: 2 x 5 = 5 + 5 2 x 4 = 4 + 4 (1) 2 x 4 = 4 + 4 2 x 5 = 5 + 5 2. Demostrar: x = 4 3x + 2 = 14 (1) 3x + 2 = 14 3x = 12 (2) 3x = 12 x = 4 14. CONJUNCIN NEGATIVA Simblicamente: p q _________ p q Su frmula es: (p q) ( p q) Ejemplo: de cada uno de los razonamientos

48 pensamiento lgico Ni Luis estudia ni Juan trabaja Se concluye que: Luis no estudia y Juan no trabaja. 15. DISYUNCIN EXCLUSIVA Simblicamente: pvq _____________ (p q ) ( p q) Ejemplo: Ins es hija de Pedro o hija de Luis pvq p q p q

MDULO 2

Desarrollo del

Se concluye: Ins es hija de Pedro o Ins es hija de Luis y no es cierto que: Ins es hija de Pedro y de Luis PROCESOS DE DEDUCCIN De un conjunto de premisas dadas, que se puede deducir: 1. Determinar el valor de verdad de las premisas. Si alguna de ellas es falsa no es posible inferir nada de ellas. Ejemplo: que se puede deducir de: 2 + 3 = 5 3 = 3 4 + 2 = 7 9 + 2 = 11 4+2=7 2=2 Determinamos el valor de verdad 2 + 3 = 5 3 = 3 4 + 2 = 7 9 + 2 = 11 V 4+2=7 2=2 V F

De este conjunto de premisas no se puede concluir nada. 2. Determinar si las premisas son inconsistentes o no. a. Si las premisas no son consistentes (inconsistentes) no se puede inferir nada de ellas. b. Si las premisas son consistentes es posible deducir una conclusin utilizando las reglas de inferencia. Ejemplo: que se deduce de:

MDULO 2

Desarrollo del pensamiento lgico Si 3 + 2 = 5, 6 4 = 2 Si 6 4 = 2, 6 = 3 + 3 1. Determinamos el valor de verdad de las premisas: 3+2=5 64=2 V 64=2 6=3+3 V 2. Determinamos la conclusin: 3 + 2 = 5 6 = 3 + 3 Ejemplo: Considerando que las premisas son verdaderas, que se puede deducir de: p q r p q r p q P1 r p P2 q r P3 r C1 de P2 (Regla de la simplificacin) q C2 de P3 y C1 (M T.T) p C3 de P1 y C2 (M. T.T) p C4 de P2 (Regla de la simplificacin) p p C5 de C3 y C4 (Regla de adjuncin) Las premisas son inconsistentes, en consecuencia nada se puede deducir de ellas Ejercicios: Que se puede deducir de: 1. 4 + 3 = 7 2 = 2 3 + 2 = 6 4 + 3 = 7 3 + 2 6 2 2 p q p s q 4. 3. q vr q p r ( s t) q [ s (r p) ]

49

2.

p q

MTODOS DE DEMOSTRACIN Los mtodos de demostracin pueden ser: directo, condicional e indirecto. La demostracin de una proposicin tiene por objeto establecer que es verdad, infirindola de verdades conocidas o ya demostradas. MTODO DIRECTO:

50 pensamiento lgico

MDULO 2

Desarrollo del

Consiste en inferir una conclusin, partiendo nicamente de un conjunto de premisas. Ejemplo: Demostrar: s; de p q p s q s p q p s q s s s P1 P2 P3 C1; de P1, P2 y P3 C; de C1

(Regla del Silogismo Disy.) (Simplificacin Disyuntiva)

REGLA DE DEMOSTRACIN CONDICIONAL: (R.D.C) Si de un conjunto de premisas y de p se deduce q, entonces de tal conjunto de premisas se deduce p q. La premisa p, puede ser introducida en cualquier momento del proceso deductivo . Ejemplo: Demuestre: q s; de: p q p s No existe regla alguna que nos permita inferir la conclusin pedida, sin embargo por la regla de la demostracin condicional si podemos concluir as: p q p s q p s q s P1 P2 P C1; P1 y P C2; P2 y C1 C,

(Modus T.P.) (Modus P. P) (R.D.C)

DEMOSTRACIN INDIRECTA: Esta demostracin se la denomina tambin demostracin por contradiccin o reduccin al absurdo. Segn el Modus Tollens, se puede deducir la negacin del antecedente de una condicional cuando se sabe que el consecuente es falso. Si el consecuente es una contradiccin se sabe que es lgicamente falso. As de p ( q q), se puede deducir p. (Ley del Absurdo) Ejemplo: Demuestre: s, de: q s P1 p q P2 p r P3

MDULO 2

Desarrollo del pensamiento lgico s r P4 r s C1; P2, P1 y P3 s P r C2; C1 y P r C3; P4, y P r r C4; de C2 y C3 s ( r r) C5; de P y C4 s C; de C5 (Silogismo disyuntivo) (Doble Neg. Y M.T.P) (M.P.P) (Regla de Adjuncin) (Regla de contradiccin.) Ley del absurdo

51

REGLA DE LA DEMOSTRACIN CONTRA RECIPROCA (R. C. R) Si de un conjunto de premisas, se infiere q p, de dicho conjunto se infiere tambin: p q. (que es la contra recproca) Ejemplo: Demostrar: q (p r) de: p q rq Demostraremos: (p r ) q de: p q P1 r q P2 p r P p C1, de P r C2, de P q C3, de C1 y P1 (p r) q C4, de P y C3 q (p ) C. de C4

(Simplificativa) (Simplificativa) (M.P.P) (R.D. C) (R. C. R)

Tarea: Resolver ejercicios, aplicando los mtodos y reglas antes indicadas. CIRCUITOS LGICOS El valor de verdad de una proposicin puede asociarse al pasaje de corriente en un circuito elctrico controlado por un interruptor. En efecto, para representar un interruptor mediante una proposicin p, se tiene: p Circuito cerrado p Circuito abierto

Es decir, el interruptor est cerrado (pasa corriente) si V(p) = V, y est abierto (no pasa corriente) si V(p) = F. De aqu establecemos una identificacin entre las proposiciones y los interruptores de un circuito elctrico. Las operaciones proposicionales (conjuncin, disyuncin, etc.) pueden representarse mediante circuitos con tantos interruptores como proposiciones componentes. Considerando las clases de instalaciones: en serie y

52

MDULO 2

Desarrollo del

pensamiento lgico en paralelo, es factible disear esquemas de circuitos elctricos para representar a proposiciones compuestas o viceversa. CIRCUITOS EN SERIE: Consideremos dos interruptores p y q conectados en serie: p q Se observa que este circuito admite poso de corriente cuando los dos (interruptores p y q estn cerrados, en cualquier otro caso no hay paso de corriente. De aqu tenemos el comportamiento de la conjuncin de las proposiciones p q. Por tanto: a) p q: representa un circuito cerrado en serie, que deja posar corriente solo si los interruptores p y q estn cerrados a la vez. Diremos que solo en este estado p q es verdadera. b) p q: representa un circuito abierto en serie que deja pasar corriente. Diremos entonces que en este estado p q es falsa. p p q Circuitos en paralelo: q p q p q

Consideremos ahora dos interruptores instalados en paralelo: p q Se observa en el circuito que hay paso de corriente cuando uno de los interruptores o ambos estn cerrados; no hay paso de corriente cuando los dos interruptores estn abiertos. Tenemos, entonces, el comportamiento de la disyuncin de las proposiciones p y q. La falsedad de p q, es decir, el hecho de que no pase corriente, solo se verifica en el caso de la falsedad simultnea de p q; Por tanto: a) p q: representa un circuito cerrado en paralelo que deja pasar corriente si por lo menos uno de los interruptores elctricos est cerrado. Diremos que solo en este estado p q es verdadero b) p q: representa un circuito abierto en paralelo que no deja pasar corriente, polo que en este estado p q es falsa. p p q p q q p q

MDULO 2

Desarrollo del pensamiento lgico

53

Las representaciones anteriores nos permiten disear o simbolizar redes de circuitos elctricos conectados en serie y en paralelo, o tambin simplificar circuitos muy complicados haciendo uso de las ya conocidas equivalencias notables. Ejemplo: Disertar circuitos lgicos de las siguientes proposiciones: a) (p q) r Solucin: a) Vemos que (p q) r es la conjuncin de p q y r, que deben estar conectados en serie: p q Pero, p q se representa por: p q Luego sustituyendo en (1), tendremos la representacin pedida, esto es: p q b) Segn la condicional: p q p q Luego, la representacin de p q, es la disyuncin (conexin en paralelo) de p q. Esto es: p q (p q) (q p) ( p q ) ( q p) r r (1) b) p q c) p q

c) De la equivalencia: p q

Entonces, la representacin de p q es conjuncin (conexin en serie) de ( p v q ) y ( q p), esto es:

p q

q p (2) q

Pero p q y q p, se representan, respectivamente, por: p

54 pensamiento lgico q Sustituyendo en (2) se tiene: p q p

MDULO 2

Desarrollo del p (3) q

Pero, segn la equivalencia: p q ( p q ) ( p q) Representando la disyuncin de p q y p q, tendremos: p q p q p p q q

Los circuitos (3) y (4) son representaciones de p q; se dice entonces que (3) y (4) son circuitos equivalentes. Ejercicios: 1. Describir simblicamente el circuito: r p q q 2. . Determinar el circuito equivalente al circuito: p p q q p q 3. Construir el circuito lgico equivalente del esquema: q p q p r

[ ( p q ) p ] [ ( p q ) p ]
p q 4. La proposicin p q (Disyuncin exclusiva) a cules de los siguientes circuitos es equivalente? p q p p p q

MDULO 2

Desarrollo del pensamiento lgico (1) q q (3) p p p q (2) q p (4) q p q q q p

55

5. Qu representa el circuito equivalente a: p q p p q q p q

6. Hallar la menor expresin que representa el circuito: p q r r r q r q q q

7. Sea A el circuito lgico ms simple correspondiente a la proposicin: [ ( p q ) ( p r ) ] [ ( p s ) ( p s ) ] y B el circuito lgico ms simple equivalente a: q p p q q q

Construir el circuito lgico correspondiente a: A B

8. Hallar la proposicin x de manera que sea una tautologa el circuito simplificado siguiente: p p q q p q p q p q

56 pensamiento lgico p q p r r

MDULO 2

Desarrollo del

9. Construir el circuito lgico ms simple equivalente a: p p r s t p q r q s t p

10. Si el costo de cada llave de Instalacin del circuito E de la figura adjunta es $10, cunto se ahorrara si se reemplaza ste por un circuito lgico ms simple equivalente?

B p r p q r q q

p p q

r t q

Continuar.