Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).

Transcripción

1 Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos triángulos tienen 3 lados iguales Las proposiciones pueden combinarse de distintas maneras para obtener otras proposiciones: La negación de una proposición P es la proposición que dice que P es falsa, se le denota por P. B : El cielo no es rosa C : Existe vida extraterrestre D : 3 5 E : Ningún triángulo tiene 3 lados iguales Observar que P es verdadera si P es falsa, y P es falsa si P es verdadera. La negación de P consiste de todas las alternativas posibles a P. La negación de la negación de P es P: E : Algunos triángulos tienen 3 lados iguales La conjunción de dos proposiciones P y Q es la proposición que afirma que ambas son verdaderas, se le denota por P Q y se dice P y Q. A B : Las águilas vuelan y el cielo es rosa Observar que P Q es falsa cuando alguna de las dos es falsa. Negar que P y Q sean ciertas equivale a afirmar que alguna de las dos es falsa: (A B) : Las águilas no vuelan o el cielo no es rosa

2 La disyunción de dos proposiciones P y Q es la proposición que afirma que al menos una de ellas es verdadera, se le denota por P Q y se dice P o Q. A B : Las águilas vuelan o el cielo es rosa Observar que P Q es falsa solo cuando las dos son falsas. Negar que P o Q sean ciertas equivale a afirmar que ambas son falsas. (A B) : Las águilas no vuelan y el cielo no es rosa La condicional Si P entonces Q es la proposición P Q que afirma que si se cumple P entonces se cumple Q. A B : Si las águilas vuelan entonces el cielo es rosa B A : Si el cielo es rosa entonces las águilas vuelan Observar que P Q no afirma que P o Q sean verdaderas, únicamente afirma que si P es verdadera entonces Q también lo es, así que P Q es falsa solamente si P es verdadera y Q es falsa. Negar que si ocurre P entonces ocurre Q equivale a afirmar que ocurre P pero no ocurre Q. (A B) : Las águilas vuelan y el cielo no es rosa (B A) : El cielo es rosa y las águilas no vuelan (B A) : El cielo no es rosa o las águilas vuelan Recordar que la negación de la negación debe ser igual a la proposición original, así que las tres proposiciones siguientes deben significar lo mismo: A B : Si las águilas vuelan entonces el cielo es rosa A B : Las águilas no vuelan o el cielo es rosa B A : Si el cielo no es rosa entonces las águilas no vuelan La doble condicional P si y solo si Q es la afirmación que dice que si P es cierta entonces Q es cierta y que si Q es cierta entonces P es cierta. Se le denota por P Q. A B : Las águilas vuelan si y solo si el cielo es rosa Negar la doble condicional es afirmar que puede ocurrir alguna sin que ocurra la otra. (A B) : Las águilas vuelan y el cielo no es rosa o Las águilas no vuelan y el cielo es rosa

3 Significados y cuantificadores El lenguaje cotidiano puede ser ambiguo. Al considerar una afirmación su significado debe quedar totalmente claro. Todos los perros no ladran no es claro: podría interpretarse como No todas los perros ladran o como Ningún perro ladra Los perros tienen 4 patas puede querer decir que como especie los perros tienen 4 patas (lo que es cierto) o que cada perro individualmente tiene 4 patas (lo que es falso). En lógica y en matemáticas las palabras tienen significados muy precisos, que pueden diferir del que se les da en el lenguaje común. Al afirmar algo estamos diciendo que es cierto sin excepciones, a menos que lo aclaremos explícitamente Para eso se usan los cuantificadores todos, algunos, existen y ningún que significan exactamente lo siguiente: todos = no existe ninguno que no se escribe algunos = existe al menos uno ningún = no existe ninguno Los mamíferos vuelan = Todos los mamíferos vuelan = No existen mamíferos que no vuelen Todos los marcianos son verdes = No existen marcianos que no sean verdes Al afirmar que todos los marcianos son verdes NO afirmamos que los marcianos existen! Algunas estrellas brillan = Existen estrellas que brillan = Al menos una estrella brilla Al afirmar que algunas estrellas brillan NO afirmamos que algunas estrellas no brillen! Observar ahora como son las negaciones de algunas proposiciones: A : Todas las aves vuelan A : Algunas aves no vuelan B : Ningún mamífero vuela C : Algunas estrellas brillan B : Algunos mamíferos vuelan C : Ninguna estrella brilla D: Los polígonos de mas de 3 lados tienen un ángulo interno 90 D : Existen poligonos de mas de 3 lados que no tienen ningun ángulo interno 90

4 Tautologías Al combinar proposiciones por medio de pueden obtenerse proposiciones que son siempre verdaderas, o que son siempre falsas, sin importar si las proposiciones iniciales eran verdaderas o falsas. Por ejemplo: P P siempre es verdadera, independientemente de P. P P siempre es falsa, independientemente de P. Las combinaciones de proposiciones que siempre son verdaderas se llaman tautologías y son importantes porque son la base de los razonamientos lógicos. Las combinaciones de proposiciones que siempre son falsas se llaman contradicciones. Algunas tautologías útiles son: P Q P P P Q (P Q) P Q P (P Q) Q (P Q) Q P (P Q) (Q R) (P R) (P Q) ( P Q) Problemas 1. Si A : Todos los hombres son mortales B : Ninguna araña tiene 6 patas C : Algunos elementos son radioactivos D: Algunos perros no son mansos escribe las siguientes proposiciones: A B C D (A B) (B C) (A B) 2. Describe las siguientes proposiciones usando únicamente la negación, la conjunción y/o la disyunción. P Q Q P (P Q) (P Q) R 3. Cuales de las siguientes son tautologías, cuales son contradicciones y cuales no son ninguna de las dos? a. (P Q) (P Q) b. (P Q) ( P Q) c. (P Q) ( Q P)

5 Argumentos lógicos Un argumento lógico es uno que a partir de proposiciones verdaderas siempre obtiene conclusiones verdaderas, sin importar que clase de proposiciones sean. Para construir argumentos lógicos usamos las condicionales que son siempre ciertas, llamadas implicaciones, y denotadas por. (P Q) P Q Los perros tienen 4 patas o los gatos tienen 3 patas y los gatos no tienen 3 patas implican Los perros tienen 4 patas (P Q) P Q Si hay injusticia hay enojo y Hay injusticia implican Hay enojo (P Q) Q P Si hay injusticia hay enojo y No hay enojo implican No hay injusticia Pero (P Q) P Q y (P Q) Q P (P Q) (Q R) (P R) Si hay sol hace calor y Si hace calor da sed implican Si hay sol da sed Silogismos Algunas proposiciones con cuantificadores pueden combinarse de maneras mas sutiles para obtener conclusiones validas, que se parecen pero no son realmente iguales a las anteriores. Los pericos son aves y Todas las aves vuelan implican Los pericos vuelan Las iguanas no vuelan y Todas las aves vuelan implican Las iguanas no son aves pero Los pericos son aves y Algunas aves vuelan no implican nada. Los murcielagos no son aves y Todas las aves vuelan tampoco implican nada.

6 Los argumentos de este tipo son muy generales y muy útiles. Fueron estudiados por Aristoteles, quien los llamo silogismos. Ejemplos de Silogismos: Todo X es Y y Todo Y es Z Todo X es Z Todo X es Y y Ningún Y es Z Ningún X es Z Algún X es Y y Todo Y es Z Algún X es Z Ningún X es Z y Todo Y es Z Ningún Y es X Pero hay otras combinaciones de las que no podemos concluir nada, por ejemplo: Ningún X es Y y Todo Y es Z Ningun X es Z Ningún X es Y y Ningun Y es Z Ningun X es Z Algún X es Y y Algún Y es Z Algun X es Z Ejemplo. Que conclusiones lógicas pueden obtenerse? Todo triangulo rectangulo cumple el Teorema de Pitagoras y El triangulo de lados 4,7 y 8 no cumple el Teorema de Pitagoras El triangulo de lados 4,7 y 8 no es un triangulo rectangulo (ya que si lo fuera, tendria que cumplir el teorema) Todo triangulo rectangulo cumple el Teorema de Pitagoras y El triangulo de lados 5,12,13 cumple el Teorema de Pitagoras No podemos concluir que el triangulo de lados 5,12,13 sea un triangulo rectangulo (podria haber triangulos que no son rectangulos que cumplen el teorema) Problemas 4. Que conclusiones lógicas pueden obtenerse? (de algunas no puede obtenerse nada) a. Si Ningún reptil tiene pelo y Todas las serpientes son reptiles entonces... Ninguna serpiente tiene pelo b. Si Todos los caballos tienen herraduras y Ningún humano tiene herraduras entonces... Ningun humano es un caballo c. Si Ningun mexicano es europeo y ningun europeo es marciano entonces... No puede concluirse nada d. Si Algunos cuadrilateros son rectangulos y todos los rectangulos son paralelogramos... Algunos cuadrilateros son paralelogramos e. Si Algunas figuras son poligonos y Ningun circulo es un poligono Algunas figuras no son circulos f. Si Algunos animales son mamiferos y Algunos mamiferos vuelan entonces... No puede concluirse nada

7 Es lo mismo o no es lo mismo? Todos los X son Y que Todos los Y son X No es lo mismo: todos los hombres son animales, pero no todos los animales son hombres Algunos X son Y que Algunos Y son X Si es lo mismo: Si Algunos Y son X entonces existe un w tal que w es Y y w es X, entonces w es X y w es Y, por lo tanto algunos X son Y Demostraciones Como podemos estar seguros de que algo es realmente una consecuencia lógica de otras cosas? No podemos confiar mucho en nuestra intuición, porque esta puede engañarnos, y porque los argumentos pueden ser demasiado enredados para no equivocarse. Hay que demostrar que lo que pensamos es cierto. Una demostración es un argumento lógico, en el que cada paso esta plenamente justificado y es una consecuencia lógica inmediata de los anteriores. Ejemplo 1: Si todos los hombres son mortales y todos los griegos son hombres entonces todos los griegos son mortales. H ipotesis 1: H ipotesis 2: Para toda x, si x es hombre entonces x es mortal Para toda y, si y es griego entonces y es hombre Por demostrar: Para toda w, si w es griego entonces w es mortal. Demostracion: Sea x un griego entonces, por la hipotesis 1, x es un hombre como x es hombre entonces, por hipotesis 2, x es mortal. Ejemplo 2: Si algún músico no es poeta y todo músico es actor entonces algún actor no es poeta:

8 H ipotesis 1: H ipotesis 2: Existe x talque x es m usico y x no es poeta Para toda y, Si y es musico entonces y es actor Por demostrar: Existe z tal que z es actor y z no es poeta Demostración: Por la hipotesis 1, existe x tal que x es musico y x no es poeta Como x es musico, entonces por la hipotesis 2, x es actor asi que x no es poeta y x es actor. Ejemplo 3: Ninguna flor es un animal y algunas flores son plantas entonces algunas plantas no son animales H ipotesis 1: H ipotesis 2: Para toda x, si x es f or entonces x no es anim al Existe y tal que y es flor y y es planta Por demostrar: Existe z tal que z es planta y z no es animal. Demostración: Por la hipotesis 2, existe y tal que y es flor y y es planta como y es flor, entonces, por la hipotesis 1, y no es animal Asi que y es planta y y no es animal. Problemas 5. Es lo mismo o no? a. Ningun X es Y que Ningun Y es X b. Algunos X no son Y que Algunos Y no son X 6. Demuestra a. Ningún X es Z y Todo Y es Z implican Ningún Y es X b. Ningún X es Y y Todo Y es Z no implican Ningún X es Z