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