System logiczny

System logiczny to formalny system przeznaczony do rozumowania i logicznych dedukcji. Składa się :

• zbioru formuł, w tym zbioru aksjomatów podanych jako prawdziwe i jako punkt wyjścia do rozumowania;
• zbiór reguł odliczeń umożliwiających zdefiniowanie rodzaju rozumowania obowiązującego w tym systemie;
• interpretacją formuł, dzięki czemu możliwe jest określenie znaczenia formułach. Pierwsze dwie pozycje tej listy czynią system logiczny systemem formalnym, ta trzecia pozycja jest specyficzna dla systemów logicznych.

Istnieje wiele systemów logicznych, w szczególności system naturalnej dedukcji . W logice klasycznej interpretacja jest funkcją, która przyjmuje wartości z binarnego zbioru wartości prawdy, na przykład {Prawda, Fałsz}, jako funkcję wartości prawdziwości zmiennych formuł.