Ten artykuł należy dopracować:
Rachunek zdaniowy – system formalny w zbiorze formuł pewnego języka zdaniowego.
Rachunek zdaniowy
jest inwariantny, jeśli

dla
– automorfizm algebry języka.
Reguły spełniające warunek z punktu 2. powyżej, nazywane są regułami inwariantnymi.
Uwaga: Reguła podstawiania
w nietrywialnym języku
nie jest inwariantna!
Przyjrzyjmy się dlaczego.
Niech
będzie dowolnym spójnikiem rozważanego języka i niech
Wówczas
chociaż
Operatory konsekwencji rachunków inwariantnych są strukturalne.
Każdy strukturalny operator konsekwencji wyznaczony jest przez inwariantny rachunek zdaniowy.
Matryca Lindenbauma rachunku inwariantnego jest dla niego adekwatna.