Sistema lógico

Um sistema lógico ou lógica é uma teoria feita para avaliar a veracidade absoluta ou relativa de fórmulas de uma determinada linguagem formal, com respeito a um determinado contexto ou concepção de verdade. O mesmo é constituído de duas partes: uma gramática e uma teoria. Através da gramática são distinguidas, dentre a coleção de todas as samblagens na linguagem formal adotada, quais são significativas. Através da teoria as fórmulas do sistema são avaliadas quanto à sua veracidade absoluta ou relativa.

Uma teoria para um sistema lógico pode ser dada de três formas: por uma semântica, por um cálculo, ou por um algoritmo de automatização.

Assim como existem diversas linguagens de programação, também existem modernamente várias lógicas ou sistemas lógicos.