Tipos de Logica.pptx

logica

1. LÓGICA Lic. Eduardo Gutierrez

2. LÓGICA La palabra “lógica” viene del griego “logos” que puede traducirse de distintas maneras: palabra, pensamiento, argumento, principio o razón son algunas de las principales. En este sentido la lógica es el estudio de los principios y de los razonamientos. Dicho estudio tiene la finalidad de comprender distintos criterios de inferencias y cómo es que llegamos a demostraciones válidas, en contraste a las demostraciones no válidas. Así pues, la pregunta básica de la lógica es ¿cuál es el pensamiento correcto y cómo podemos diferenciar entre un argumento válido y una falacia?

3. criterios En términos generales, para considerar a un sistema como lógico, deben cumplir tres criterios: Consistencia  (no hay contradicción entre los teoremas que componen el sistema) Solidez  (los sistemas de prueba no incluyen falsas inferencias) Completud  (todas las oraciones verdaderas deben poder probarse)

4. Tipos de lógica  Tradicionalmente se reconocen cuatro grandes tipos de lógica, cada uno de ellos con algunos subtipos y especificidades. Veremos a continuación de qué se trata cada uno.

5. Lógica formal o científica También conocida como lógica tradicional o lógica filosófica,  se trata del estudio de las inferencias con contenido puramente formal y explícito . Se trata de analizar los enunciados formales (lógicos o matemáticos), cuyo significado no es intrínseco sino que sus símbolos tienen sentido por la aplicación útil que se les da. La tradición filosófica de la cual deriva esto último se llama precisamente “formalismo”.

6. A su vez, un sistema formal es aquel que se utiliza para extraer una conclusión de una o más premisas. Estas últimas pueden ser axiomas (proposiciones evidentes por sí mismas) o teoremas (conclusiones de un conjunto fijo de reglas de inferencias y axiomas). Las conclusiones a las que llegamos a través de la lógica formal,  si se basan en premisas válidas y no hay fallos en las operaciones lógicas, son verdades en sí mismas . De hecho, eso hace que exista un debate abierto acerca de si la lógica formal pertenece al mundo de las ciencias o pertenecen a otro ámbito de conocimiento, al no describir la realidad sino sus propias reglas de funcionamiento.

7. Lógica informal – natural - empírica Por su parte, la lógica informal es una disciplina más reciente, que  estudia, evalúa y analiza los argumentos desplegados en el lenguaje natural o cotidiano . De ahí que reciba la categoría de “informal”. Puede tratarse tanto de lenguaje hablado como escrito o bien, cualquier tipo de mecanismo e interacción utilizada para comunicar algo. A diferencia de la lógica formal, que por ejemplo aplicaría para el estudio y desarrollo de los lenguajes informáticos; el lenguaje formal hace referencia a los idiomas y las lenguas.

8. Lógica matemática Dependiendo del autor que la describe, la lógica matemática puede considerarse un tipo de lógica formal. Otros consideran que la lógica matemática incluye tanto la aplicación de la lógica formal a las matemáticas, como la aplicación de los razonamientos matemáticos a la lógica formal. A grandes rasgos se trata de la aplicación del lenguaje matemático en la construcción de sistemas lógicos hace posible reproducir la mente humana. Por ejemplo esto ha estado muy presente en el desarrollo de la inteligencia artificial y en los paradigmas computacionales del estudio de la cognición.

9. Suele dividirse en dos subtipos: Logicismo : se trata de la aplicación de la lógica en las matemáticas. Ejemplos de este tipo son la teoría de la prueba, la teoría de modelos, la teoría de conjuntos y la teoría de la recursión. Intuicionismo : sostiene que tanto la lógica como las matemáticas son métodos cuya aplicación es consistente para realizar construcciones mentales complejas. Pero, dice que en sí mismas, la lógica y las matemáticas no pueden explicar propiedades profundas de los elementos que analizan.

10. Lógica simbólica Tal como su nombre lo indica, lógica simbólica analiza las relaciones entre símbolos. En ocasiones se sirve del lenguaje matemático complejo, ya que se encarga de estudiar problemas que la lógica formal tradicional encuentra complicados o difíciles de abordar. Suele dividirse en dos subtipos: Lógica predicativa o de primer orden : se trata de un sistema formal compuesto por fórmulas y variables cuantificables Proposicional : se trata de un sistema formal compuesto por proposiciones, que son capaces de crear otras proposiciones a través de conectores llamados “conectivas lógicas”. En este casi no hay variables cuantificables.

11. Lógica proposicional Proposición: La proposición es el significado de una idea, enunciado, conjunto de palabras o letras a las que se les puede asignar uno y solo uno de los valores de verdad, que pueden ser: verdadero (v) o falso (F), pero no ambos a la vez.

12. Por lo general, a las proposiciones se las representa por las letras del alfabeto desde la letra p, es decir, p, q, r, s, t, u, …etc. Así por ejemplo, podemos citar las siguientes proposiciones y su valor de verdad.: p: La Universidad de Occidente Sede Huehuetenango está en la zona 5 (V) r: Huehuetenango es un departamento de Guatemala (V) s: Un quetzal es equivalente a 8 dólares (F)

13. Expresiones no proposicionales Expresiones exclamativas Expresiones interrogativas Expresiones imperativas Sentimientos Emociones Opiniones Entre otros.

14. ejercicio Escribe 5 proposiciones Escribe 3 expresiones de cada una que no son proposiciones Exclamativas Interrogativas Imperativas Sentimientos Emociones Opiniones

15. Tipos de proposiciones Simples: aquellas que se les puede representar por una sola variable. Se llaman proposiciones atómicas o simples. Solamente nos brinda una sola información.: P: el litro es una medida de capacidad Q. El metro es mayor que la yarda Compuestas: aquellas que constan de dos o más enunciados simples, se les llama proposicion molecular o compuesta. Resulta de la unión de dos o más proposiciones simples y a su vez nos da más de una información: Huehuetenango es un departamento de Guatemala y pertenece a Centroamérica.

16. ejercicio Escribe 5 proposiciones simples. Escribe 5 proposiciones compuestas.

17. Conectivos lógicos Los conectivos lógicos son símbolos que se utilizan para unir dos o más proposiciones simples o compuestas.

18. negación Representa la negación de una proposición original, se lee “no” o simplemente “negación de”, y le asigna el valor de verdad opuesto a la proposición original Si el Valor de P es verdadero, la negación de p tendrá un valor de verdad Falso, por el contrario, si el valor de p es Falso, su negación será verdadero. p -p V F F V

19. ejercicios Realizar 5 proposiciones simples y negarlas.

20. Conjunción Conectivo lógico que se utiliza para unir dos o más proposiciones simples. Y se representa por el símbolo “ ^ ”. Y se lee como “ y “. Esta operación establece que la conjunción es Verdadera ÚNICAMENTE cuando todas las proposiciones son verdaderas. p q p^q V V V V F F F V F F F F

21. EJEMPLOS: La Monja Blanca es la flor nacional de Guatemala y el Quetzal es el ave símbolo nacional. Esta proposición está compuesta de dos proposiciones a las que llamaremos p y q: P: La Monja Blanca es la flor nacional Valor de Verdad (V) Q: El Quetzal es el ave símbolo nacional Valor de Verdad (V) La conjunción de ellas es: la proposición compuesta es: p ^ q y tiene un valor de verdad: V ^V = V

22. disyunción Éste es otro conectivo lógico en el que se unen dos proposiciones y se representa con el símbolo “ v “ , y se lee como “ o “, “disyunción de…” Esta operación establece que la disyunción es FALSA UNICAMENTE cuando las proposiciones simples que la componen son FALSAS. p q p v q V V V V F V F V V F F F

23. EJEMPLO Miguel Ángel Asturias escribió la novela El Señor Presidente o el Tigre. Está proposición esta compuesta por dos proposiciones a las que llamaremos r, s. r: Miguel Ángel Asturias escribió la novela El Señor Presidente Valor de Verdad (V) s: Miguel Ángel Asturias escribió la novela El Tigre Valor de Verdad (F) La proposición compuesta: r v s y tiene un valor de verdad: V v F = V Basta que uno de los enunciados simples sea verdadero para que la disyunción sea verdadera.

24. Condicional o implicación Conectivo lógico que se representa por el signo “ → “ y se lee como “si… entonces…” La implicación es FALSA solo cuando el antecedente es verdadero y consecuente es falsa. En el caso del ejemplo, se la llamará antecedente a la proposición p y consecuente a la proposición q.   p q p → q V V V V F F F V V F F V

25. En nuestro caso al dejar de cumplirse el antecedente, Pablo es libre de tomar agua sin contradecir la implicación La proposición compuesta: s → t y tiene un valor de verdad: F → V = V

26. Ejemplo: Si la distancia de la cuidad de Guatemala a la Antigua Guatemala es de 42 Km, entonces las ruinas de Tikal están en Huehuetenango. R: S: Proposición compuesta: Valor de verdad:

27. ejercicio Instrucciones: Resuelve lo que se solicita a continuación. Encuentra el valor de verdad de las siguientes proposiciones y niégalas: p: Huehuetenango es un departamento de Guatemala q: El Quetzal es la moneda oficial de Guatemala. r: La Ceiba Pentandra es la Flor Nacional de Guatemala s: A los guatemaltecos les dicen “Aztecas” De acuerdo a las proposiciones anteriores, encuentra el valor de verdad de las siguientes proposiciones compuestas: p → q r → s - r → p - p → - r r → - s

28. Variaciones de la condicional Existen otras proposiciones relacionadas con la implicación p →q . Cualquier proposición condicional se halla conformada por un antecedente y un consecuente. Si se intercambian, se niegan o las dos cosas, se forma una nueva proposición condicional: Dadas las siguientes proposiciones: s: Guatemala es un país. t: Guatemala pertenece a Centroamérica.

29. s → t Si Guatemala es un país entonces pertenece a Centroamérica CONDICIONAL DIRECTA t → s Si Guatemala pertenece a Centroamérica entonces es un país. CONDICIONAL RECÍPROCA ~s → ~t Si Guatemala no es un país entonces no pertenece a Centroamérica CONDICIONAL INVERSA ~t → ~s Si Guatemala no pertenece a Centroamérica entonces no es un país CONDICIONAL CONTRAPOSITIVA

30. ejercicio Instrucciones: ¿cómo quedarían las siguientes proposiciones con sus diferentes variantes? Realiza cada una de las proposiciones según cada una de las variantes de la proposición directa que aparece a continuación: 1. “Si Daniel vive en Sumpango, entones Daniel vive en Sacatepéquez”. s: Guatemala es un país de Centroamérica. v: México es un país Norteamericano.

31. Bicondicional o doble implicación La bicondicicinal de las proposiciones p y q es la proposición p  q (se lee “p si y solo si q” ) y su símbolo es: “ ” La doble implicación o bicondicional establece que SOLAMENTE ES VERDADERA si ambas proposiciones tienen el mismo valor: p q p  q V V V F F V F F

32. ejemplo Una semana tiene 7 días si y solo si un año tiene 12 meses. p: ? q: ? ¿Cuál es el valor de verdad? De: p  q - P  - q

33. Guatemala ira a un mundial sí y solo sí gana todos los partidos de eliminatoria. r: ? s: ? ¡Cómo los negarías? Resuelve: s  r - r  s

34. Ejercicio en clase: S upongamos que “p” tiene un valor de verdad (F), “q” tiene un valor de verdad (V), “r” tiene un valor de verdad (V), “s” tiene un valor de verdad (F), “t” un valor de verdad (V), “u” un valor de verdad (V) y “v” uno (V), encuentra el valor de verdad de las siguientes proposiciones compuestas, deja tu procedimiento. ~ ( ~t v ~ v) ^ { ~ (~t ^ ~u)  (p → ~q)} {(~v ^ t)  ~ (p ^ t)} ^ {(p ^ ~t) v ~ (~ p ^ ~ t)} ~ (u v r) → {~ (~t ^ ~u) → ~ (~v v t)} ~ {~ (~u→ ~ s)  ~ (~t → ~u) → (~p → ~q)} ~ { (~ v ^ t) ^ (~v → ~t)}