Sistem logic

Un sistem logic este un sistem formal dedicat raționamentului și deducțiilor logice. Constă :

• a unui set de formule, incluzând un set de axiome date ca adevărate și ca punct de plecare pentru raționament;
• un set de reguli de deducere care să permită definirea tipului de raționament aplicabil în acest sistem;
• o interpretare a formulelor, făcând posibilă specificarea semnificației formulelor. Primele două articole din această listă fac dintr-un sistem logic un sistem formal, acest al treilea element este specific sistemelor logice.

Există multe sisteme logice, în special sistemul de deducție naturală . În logica clasică , interpretarea este o funcție care își ia valorile dintr-un set binar de valori de adevăr, {True, False}, de exemplu, ca o funcție a valorilor de adevăr ale variabilelor formulelor.