Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina.

En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del lgebra. Previamente ya se hicieron algunos intentos de tratar las operaciones lgicas formales de una manera simblica por parte de algunos filsofos matemticos como Leibniz y Lambert, pero su labor permaneci desconocida y aislada. Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemtico para modelar operaciones lgicas. La lgica tradicional aristotlica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemtica. El tradicional desarrollo de la lgica enfatizaba su centro de inters en la forma de argumentar, mientras que la actual lgica matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintctico (por ejemplo, el envo de una cadena de smbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una mquina), como a un nivel semntico, construyendo modelos apropiados (teora de modelos). La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. SENTENCIAS DECLARATIVAS Y PROPOSICIONES LOGICAS De entre las oraciones verbales se distingue a las sentencias declarativas, o enunciados, que se caracterizan por afirmar algo respecto de algo; a las cuales puede aplicarse con sentido uno y slo uno de los calificativos verdadero, falso. En lgica simblica, se define una Proposicin Lgica como una letra p, q, r, que representa a un cierto enunciado declarativo, de este modo se evita que un enunciado sea analizado interiormente al nivel de la Lgica de Proposiciones. Si una proposicin es verdadera, diremos que su valor de verdad, o valor veritativo, es V. Y si es falsa, su valor veritativo es F. CONECTIVOS LOGICOS: Llamaremos modificador o conectivo lgico a los vocablos que afectan o vinculan enunciados declarativos ms simples produciendo nuevos enunciados cuyo valor de verdad se determina, mediante reglas invariantes, a partir del valor de verdad de los enunciados que ellos conectan o alteran. Cada conectivo es constante en su significacin y se designa con un smbolo propio. El primero de ellos es el modificador de negacin que se lee no, es falso que, etc. y denotaremos con el smbolo . Al aplicar el modificador a una proposicin lgica p, la nueva proposicin p, cuyo valor de verdad resulta de cambiar el valor de verdad de p, de V a F o de F a V.