Loading AI tools
Z Wikipedii, wolnej encyklopedii
Rachunek zdaniowy – system formalny w zbiorze formuł pewnego języka zdaniowego.
Rachunek zdaniowy jest inwariantny, jeśli
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.