Reporte de investigación sobre lógica matemática
Enviado por Enrique Bravo • 11 de Octubre de 2018 • Trabajo • 273 Palabras (2 Páginas) • 1.263 Visitas
Enrique Isaías Bravo Pérez
Matemáticas computacionales
Reporte de investigación sobre lógica matemática
Haydee Segura Valverde
Calculo de predicados
Se puede definir como un sistema formal, el cual está estructurado para el estudio de los lenguajes con cuantificadores que alcanzan variables de individuos ya sea con argumentos constantes o variables. Nos permite acceder a los componentes de una aserción individual. Un predicado denomina una relación entre cero o más objetos en el mundo.
Tautologías
Una tautología (del griego ταυτολογία, decir lo mismo) es una afirmación obvia, vacía o redundante. Es repetición de un pensamiento expresado de distintas maneras... Una proposición compuesta es una tautología si es verdadera para todas las asignaciones de valores de verdad para sus proposiciones componentes. La tautología es una formula formada de un sistema de lógica proposicional verdadera para cualquier interpretación.
Contradicciones
Se entiende por proposición contradictoria o contradicción, aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es F. En pocas palabras una proposición es una contradicción, si es falsa para todos sus valores de verdad.
Conclusión
La lógica y las matemáticas han estado siempre muy relacionadas aunque han surgido diversas corrientes, que apoyándose en unas teorías u otras, siguen una determinada matemática. Pero lo que no cabe en la duda es que la relación existe y que las matemáticas pueden apoyarse con consistencia en la lógica para demostrar resultados.
Bibliografías
Antonio González Carloman. (2001). lógica matemática teoría de conjuntos. 04/07/2018, de Ecu red Sitio web: https://www.ecured.cu/C%C3%A1lculo_de_predicados
Julián Pérez Porto y Ana Gardey. (2010). Definición de tautología. 04/07/2018, de Definiciones Sitio web: https://definicion.de/tautologia/
Juan Navarro García. (2016). Tautología. 04/07/2018, de Definición ABC Sitio web: https://www.definicionabc.com/?s=Tautolog%C3%ADa
...