Lógica Matemática



Conjunto de disciplinas matemáticas (como álgebra booleana, cálculo predicado y cálculo preposicional) empleadas para reducir las reglas de la lógica formal a las reglas del álgebra. Su principal objetivo es eliminar las ambigüedades causadas por el uso de las lenguas naturales. La lógica simbólica tiene sus orígenes en las obras de dos matemáticos alemanes, Gottfried Wilhelm Leibniz (1646-1716) y Friedrich Ludwig Gottolob Frege (1848-1925). El equipo de matemático-filósofo del Reino Unido de Alfred North Whitehead (1861-1947) y Bertrand Arthur William Russell (1872-1970) lo desarrolló aún más en su libro de 1910′ Principia Mathematica’. También llamada lógica simbólica.


Definición de Lógica Matemática

Término en inglés: Mathematical Logic


Más términos de la categoría l




Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.