Sistema lógico

Um sistema lógico é um sistema formal dedicado ao raciocínio e deduções lógicas. Consiste em:

• de um conjunto de fórmulas, incluindo um conjunto de axiomas dados como verdadeiros e como um ponto de partida para o raciocínio;
• um conjunto de regras de dedução que permite definir o tipo de raciocínio aplicável neste sistema;
• uma interpretação das fórmulas, permitindo especificar o significado das fórmulas. Os primeiros dois itens desta lista fazem de um sistema lógico um sistema formal; este terceiro item é específico para sistemas lógicos.

Existem muitos sistemas lógicos, notadamente o sistema de dedução natural . Na lógica clássica , a interpretação é uma função que obtém seus valores de um conjunto binário de valores verdade, {Verdadeiro, Falso} por exemplo, como uma função dos valores verdade das variáveis ​​das fórmulas.