La lógica simbólica es el área de las matemáticas que estudia las características puramente formales de cadenas de símbolos. El interés en esta área suelta a partir de dos fuentes. Primero, los símbolos usados en lógica simbólica se pueden considerar como representación de las palabras usadas en la lógica filosófica . En segundo lugar, las reglas para los símbolos de manipulación encontrados en lógica simbólica se pueden aplicar en una máquina de computación .

La lógica simbólica se divide generalmente en dos subcampos, la lógica proposicional y la lógica de predicado .

Las áreas matemáticas modernas que se presentan fuera de la lógica formal se agrupan bajo lógica matemática del título.

Lógica proposicional

El área de la lógica simbólica llamó el la lógica proposicional, original llamó el el cálculo proposicional pero no ser confundido con el cálculo del tema de escuela, estudia las características de las oraciones formadas de los constantes, generalmente señalados A, B, C,… y cinco operadores lógicos Y, O, IMPLICAN, los IGUALES y NO. Estos cinco operadores son a veces ., especialmente en el de informática, y por símbolos especiales llamó a veces el casquillo del, la taza del, la flecha del, la flecha doble del, y el tilde del . Todo a menos que NO sean los operadores binarios, NO es un operador unario que precede su operando. Los valores de estos operadores son dados por las tablas de verdad

Lógica de predicado

La lógica de predicado, original llamada el cálculo de predicado del, se amplía en lógica proposicional por la introducción de variables, del generalmente denotado x, del y, del z, o con otras letras minúsculas, y también de oraciones que contengan las variables, llamadas los predicados, denotados generalmente por una mayúscula, seguida por una lista de variables, tales como P ( x ) o Q ( y, z ). Además, la lógica de predicado permite que los cuantificadores supuestos, representen TODOS y EXISTE.