|
Ten artykuł od 2015-05 wymaga zweryfikowania podanych informacji.Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.Sprawdź w źródłach:
Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu. |
|
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.