UTN 1 FRC 2 ISI 3 LED 4 L5gica Matem6tica

Apuntes

UTN – FRC – ISI – LED – Lógica Matemática JCV – 1 Lógica Matemática • Historia • Aristóteles III A.C. Establece los principios de la Lógica Clásica • Leibniz XVII/XVIII D.C. Propone que se utilicen símbolos y el sistema binario • Boole / DeMorgan / Frege / Peano / Peirce / Cantor ... XIX D.C. George Boole inicia formalmente la Lógica Simbólica, utilizando símbolos para hablar de lógica, al estilo matemático en 1854. • Russell / Whitehead / Hilbert / Gödel / Sadeh XX D.C. Bertrand Russel y Albert N. Whitehead a principios del siglo XX presentan Principia Mathematica tratado completo de lógica que además, elimina ciertas paradojas que se habían presentado en lógica de Frege. David Hilbert presenta un programa mundial para deducir toda la matemática desde la lógica simbólica. Kurt Gödel da por tierra con esta idea, con su Teorema de Incompletitud. Fig . 1 . 1 : Aristóteles Lógica Matemática • Historia • Objetivos • Proposición lógica • Conectivos lógicos • Relaciones entre proposiciones • Leyes lógicas • Demostración de equivalencias • Razon . Deductivo • Reglas para inferir • Teorema, lema y corolario. Demos. UTN ...