Klasyczny rachunek logiczny to system logiczny, na który składają się rachunek zdań oraz rachunek predykatów pierwszego rzędu (czyli rachunek kwantyfikatorów). Klasyczny rachunek logiczny jest narzędziem w pełni wystarczającym do formalnej weryfikacji większości rozumowań występujących praktycznie w teoriach matematycznych.

Klasyczny rachunek logiczny stanowi podstawową część logiki matematycznej. Inne jego nazwy to klasyczny system logiki oraz logika elementarna.

Zobacz też

• przegląd zagadnień z zakresu matematyki
• rachunek zdań

Logika | Prädikatenlogik | First-order predicate calculus | Lógica de primer orden | Calcul des prédicats | Elsőrendű nyelv | Логика первого порядка | Predikatlogik