Klasyczny rachunek zdań – najpopularniejszy system formalny logiki matematycznej, w którym formuły reprezentujące zdania logiczne mogą być tworzone z formuł atomowych za pomocą wymienionego niżej zbioru aksjomatów.
Definicja Klasyczny rachunek zdań, KRZ, w wersji inwariantnej – rachunek zdaniowy w języku klasycznego rachunku zdań z regułą odrywania jako jedyną pierwotną regułą wnioskowania oraz aksjomatami następującej postaci: {| cellspacing=25 |Ax | prawo poprzedzania |- |Ax | sylogizm Fregego |- |Ax | prawo opuszczania koniunkcji, 1. |- |Ax | prawo opuszczania koniunkcji, 2. |- |Ax | prawo wprowadzania koniunkcji |- |Ax | prawo wprowadzania alternatywy, 1. |- |Ax | prawo wprowadzania alternatywy, 2. |- |Ax | prawo łączenia implikacji |- |Ax | prawo opuszczania równoważności, 1. |- |Ax | prawo opuszczania równoważności, 2. |- |Ax | prawo wprowadzania równoważności |- |Ax | prawo przepełnienia |- |Ax | prawo redukcji do absurdu |- |Ax | silne prawo podwójnego przeczenia
Związek z intuicjonistycznym rachunkiem zdań W tej formie aksjomatyka ta jest rozszerzeniem aksjomatyki intuicjonistycznego rachunku zdań, którą stanowią formuły o formułę