HISTORIA

Lógica matemática fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto de vista de una nueva notación, más abstracta, tomada del álgebra.

Previamente ya se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como Leibniz y Lambert, pero su labor permaneció desconocida y aislada.

Augustus De Morgan









George Boole











Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemático para modelar operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática.

INFERENCIA

Una inferencia es un acto de pensamiento que emplea un argumento. Es una operación de la mente a través de la cual se acepta que un nuevo símbolo dicente represente un objeto en virtud de su relación con otros símbolos dicentes conocidos que representan a ese mismo objeto.