todo sobre qué es la lógica matemática clase 2
TRANSCRIPT
![Page 1: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/1.jpg)
¿Qué ES LA LÓGICA
MATEMÁTICA?
HISTORIA
![Page 2: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/2.jpg)
VIDEO (Play)
LIBRO(scrib)
![Page 3: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/3.jpg)
¿Qué es Lógica?
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida.
![Page 4: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/4.jpg)
¿Qué es Lógica?
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida.
Las ciencias formales son aquellas ciencias
que establecen el razonamiento lógico y
trabajan con ideas creadas por la mente
![Page 5: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/5.jpg)
¿Qué es Lógica?
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida.
Se llamaba inferencia a la figura lógica que
permite obtener una conclusión
directamente, a partir de una única premisa.
![Page 6: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/6.jpg)
La palabra lógica deriva del griego antiguo λογική (logike), que significa "dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de λόγος (logos), "palabra, pensamiento, idea, argumento, razón o principio".
![Page 7: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/7.jpg)
Lógica
Logike
Logos
![Page 8: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/8.jpg)
Sistemas Lógicos
En el siglo XX se desarrollo no uno, sino varios sistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural.
![Page 9: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/9.jpg)
Un sistema lógico esta compuesto por:
Conjunto de símbolos primitivos. Conjunto de reglas de formación. Conjunto de axiomas. Conjunto de reglas de inferencia. Interpretación formal.
![Page 10: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/10.jpg)
Un sistema lógico esta compuesto por: Conjunto de símbolos primitivos. Conjunto de reglas de formación. Conjunto de axiomas. Conjunto de reglas de inferencia. Interpretación formal.
Alfabeto o vocabulario
![Page 11: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/11.jpg)
Un sistema lógico esta compuesto por: Conjunto de símbolos primitivos. Conjunto de reglas de formación. Conjunto de axiomas. Conjunto de reglas de inferencia. Interpretación formal.
Gramática
![Page 12: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/12.jpg)
Un sistema lógico esta compuesto por: Conjunto de símbolos primitivos. Conjunto de reglas de formación. Conjunto de axiomas. Conjunto de reglas de inferencia. Interpretación formal.
Verdad evidente que no requiere demostración
![Page 13: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/13.jpg)
Un sistema lógico esta compuesto por: Conjunto de símbolos primitivos. Conjunto de reglas de formación. Conjunto de axiomas. Conjunto de reglas de inferencia. Interpretación formal.
Reglas o pasos
![Page 14: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/14.jpg)
Un sistema lógico esta compuesto por: Conjunto de símbolos primitivos. Conjunto de reglas de formación. Conjunto de axiomas. Conjunto de reglas de inferencia. Interpretación formal.
En los lenguajes naturales, una misma
palabra puede significar diversas
cosas dependiendo de la interpretación que se
le dé.
![Page 15: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/15.jpg)
Los sistemas lógicos son:
Lógicas Clásicas. Lógicas no Clásicas. Lógicas Modales.
![Page 16: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/16.jpg)
SISTEMA LOGICO CLASICO
El mas usado es el sistema lógico clásico o formal, el cual se encuentra formado por tres principios:
Principio del tercero excluido Principio de no contradicción Principio de explosión
![Page 17: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/17.jpg)
Principio del tercero excluido:
La disyunción de una proposición y su negación es SIEMPRE verdadera.
(A v ¬A)
![Page 18: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/18.jpg)
Principio de no contradicción:
Una proposición y su negación no pueden ser ambas verdaderas «al mismo tiempo y en el mismo sentido»
¬(A^ ¬A)
![Page 19: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/19.jpg)
Principio de explosión:
De una proposición CONTRADICTORIA se puede deducir cualquier otra proposición.
![Page 20: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/20.jpg)
SISTEMA LOGICO NO CLASICO
Este sistema lógico rechaza uno o varios de los principios de la lógica clásica:
Lógica difusa: rechaza el principio del tercero excluido.
Lógica relevante: rechaza el principio de explosión.
Lógica cuántica: rechaza la propiedad distributiva
![Page 21: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/21.jpg)
INVESTIGAR
¿Que es el Sistema Lógico modal?
![Page 22: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/22.jpg)
¿Qué estudia la lógica?
![Page 23: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/23.jpg)
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido o no.
![Page 24: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/24.jpg)
Ejemplo de reglas y técnicas:
¿Como se escribiría una frase en ingles, en tiempo futuro?
![Page 25: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/25.jpg)
Sujeto + will + verbo + complemento Sujeto + verbo en futuro +
complemento
![Page 26: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/26.jpg)
La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física.
![Page 27: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/27.jpg)
En la filosofía, para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto.
![Page 28: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/28.jpg)
En las matemáticas, para demostrar teoremas e inferir resultados matemáticos que puedan ser aplicados en investigaciones.
En la computación para revisar programas.
![Page 29: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/29.jpg)
¿Cuándo se aplica la lógica?
![Page 30: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/30.jpg)
En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lógico que permita ejecutar dicha tarea.
![Page 31: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/31.jpg)
La lógica 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 apoyándose de algunos conocimientos acumulados.
![Page 32: Todo sobre Qué es la lógica matemática clase 2](https://reader035.vdocumento.com/reader035/viewer/2022062216/55c08a3cbb61ebf25a8b465e/html5/thumbnails/32.jpg)
Es importante mencionar que no hay un solo camino para llegar a un resultado. El camino puede ser mas largo o más corto dependiendo de las reglas de inferencia y tautologías que el alumno seleccione, pero definitivamente deberá llegar al resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas estar bien