Lógica Matemática
2,591 Followers
Recent papers in Lógica Matemática
Recordemos que los sistemas axiomaticos formales de la matematica son mas bien estáticos, ya que todo lo que se diga ya estaba implícitamente dicho en las reglas y axiomas originales, solo que al demostrar los teoremas o ecuaciones lo... more
Material del profesor: Pablo Barceló
INTRODUCCIÓN -CAPÍTULO I. ESTADO DE LA CUESTIÓN. ESCRITOS QUE SE REFIEREN A LA OBRA DE ELI DE GORTARI 1.1 LA OBRA DE ELI DE GORTARI EN LA HISTORIA DE LA HISTORIOGRAFÍA Y LA TEORÍA DE LA HISTORIA 1.2 ESCRITOS REFERENTES A LA FILOSOFÍA... more
Lógica Matemática o simbólica. -Lógica Proposicional: Método tablas de verdad; método del condiconal asociado; método derivativo (o demostrativo); método de árboles lógicos. -Lógica de Predicados (o Cuantificacional o de Funciones):... more
Libro de Favio Miranda y Elisa Viso, de la Facultad de Ciencias de la UNAM
Tablas de verdad para aplicar al método de tablas de verdad (MTV). Reglas y leyes lógicas para aplicar al método demostrativo o derivativo (MD). Reglas para aplicar al MD en la lógica de predicados. Reglas de aplicación para el método de... more
Librazo de la Teoría de Conjuntos
Dejas de ser un fanático de la matemática formal: cuando al conocer otras grandes manifestaciones del intelecto humano éstas logran impresionarte a tal grado que no dudas en afirmar o concluir: ”las matemáticas NO es el prototipo de la... more
Na primeira unidade, com o título: “Introdução à Lógica Computacional”, veremos os principais assuntos de Lógica Proposicional, pré-requisitos em concursos e no curso de computação. Veremos os que são sentenças e proposições, bem como a... more
Libro de Regino Criado y Roberto Muñoz
Pretendemos, en esta parte, primeramente establecer una caracterización de la Lógica Matemática por comparación con la Lógica Clásica. Así hablaremos de la Lógica Matemática como una ciencia positiva, de su hiperformalismo, como de su... more
Tautologia Contradição e Contingencia
La siguiente ponencia-taller tiene por finalidad explicar cómo podría aplicarse el Método de George Polya para resolver problemas (matemáticos) en el contexto de la Lógica Matemática, especialmente en la lógica Matemática elemental (la... more
1. Introducción "Dada una ecuación Diofántica (i.e ecuación algebraicaó polinómica de varias variables con coeficientes en Z y soluciones en Z) idear un proceso con el cual se pueda determinar, en un número finito de operaciones, si la... more
"Índice de Fake" como un acercamiento al tratamiento matemático simple para detectar un posible caso falso, a partir de ciertos parámetros. En el documento se explora el universo de la falsedad, la mentira, el fake, la estafa, bulos.... more
In this research, I have tried to summarize the cuts of Dedekind in the most concise way possible. I begin with a historical instruction with which I intend to place Dedekind's works in the history of mathematics. To introduce the concept... more
Colección de ejercicios de lógico-matemática
Objetivo Específico: Identificar conceptos y nociones más importantes que forman parte de la lógica.
Es un tema harto remanido el origen neo-positivista de la Lógica Matemática (y nosotros no la impugnamos por eso, pero somos conscientes que su mala prensa en ambientes realistas tiene allí su origen), sus exponentes actuales no suelen... more
Este Comentário Número 9 à Teoria da Objetividade tem como objetivo demonstrar a quantidade de lados que compõem o ponto esférico que ocorria antes do surgimento do Universo e confirmar que não é possível a construção de uma esfera... more
RESUMEN En la primera parte de este artículo se realiza una revisión de las principales causas que han dado lugar a la vinculación exclusiva del álgebra con el lenguaje simbólico y los niveles medios y superiores de escolarización: se... more
Ponencia en 1er Congreso Latinoamericano de Psicología e innovación para el cambio social. El psicoanalisis ha sido confundido como una rama de la psicologia. Veremos como el analisis trabaja con la lógica sobre lo que se produce por la... more
¿Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964)? Intentos de responder esta pregunta pueden encontrarse en los artículos de José Alfredo Amor (1946-2011), "El Problema del continuo después... more
Excelente libro Max Fernández de Castro, Asunción Preisser, Luis Felipe Segura y Yolanda Torres Falcón, de la UAM.
En este artículo se presentan dos demostraciones del teorema de interpolación: Una para la lógica proposicional y otra para la lógica de primer orden. Ambas se realizan en el contexto de la teoría de modelos. El teorema de interpolación... more
Resumen: MARLO'S LOGICAL DIAGRAMS FOR VISUAL AND HETEROGENEOUS REASONING: VALID IN MATHEMATICAL AND ARISTOTHELIC LOGIC.
Dejas de ser un fanático de la matemática formal: cuando al conocer otras grandes manifestaciones del intelecto humano éstas logran impresionarte a tal grado que no dudas en afirmar o concluir: ”las matemáticas NO es el prototipo de la... more
La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático,... more
Lógicas no clásicas. Una introducción de Antonio Benítez funciona como una elegante introducción formal al estudio riguroso y sistemático de las lógicas no clásicas más llamativas desde el siglo pasado. Esta obra, a la que vamos a pasar... more
Tipo de publicación: Reseña Titulo del trabajo: “Sáenz, Jorge; Gil, Fanny; López, Belkis; Romero; Neptalí; Bethelmy, José. Fundamentos de la matemática, Editorial Hipotenusa, Barquisimeto, 2006, 414 pp.” Titulo de la revista: Episteme NS... more
Libro de Pablo Fernández Gallardo y José Luis Fernández Pérez
Presentación brindada en la cuarta escuela de lógica y conjuntos.
Se brinda una implementación del algoritmo Davis–Putnam–Logemann–Loveland (DPLL) en el asistente de pruebas de Coq, así como la demostración de la correctud del algoritmo.
Se brinda una implementación del algoritmo Davis–Putnam–Logemann–Loveland (DPLL) en el asistente de pruebas de Coq, así como la demostración de la correctud del algoritmo.
Resumen. En este artículo analizamos la noción de objeto matemático que tenían en la antigüedad clásica griega Platón y Aristóteles. En particular tratamos de probar que es erróneo interpretar la doble connotación que dicha noción exhibe... more
En el ámbito de la lógica matemática existe un problema sobre la relación lógica entre dos versiones débiles del Axioma de elección (AE) que no se ha podido resolver desde el año 2000 (aproximadamente). Tales versiones están relacionadas... more
The aim of this work is to study the notion of negation.In order to acomplish our goal first we analyse the idea of negation as a philosophical one that requires other philosophical notions as analogy, category, sincategorematic, ...... more
Ejercicios de lógica matemática para el razonamiento humano.
Libro de Carlos Ivorra Castillo