Sistema lógico

Un sistema lógico es un sistema formal dedicado al razonamiento y las deducciones lógicas. Consiste :

Hay muchos sistemas lógicos, en particular el sistema de deducción natural . En lógica clásica , la interpretación es una función que toma sus valores de un conjunto binario de valores de verdad, {Verdadero, Falso} por ejemplo, en función de los valores de verdad de las variables de las fórmulas.