Wikipedie

Hilbertovský kalkulus: Porovnání verzí

Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
m Robot: nahrazení šablony: Švejdar
m Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap
Řádek 22:
=== Axiomy rovnosti ===
* <math>(\forall x) (x=x)</math>
* <math>(x_{1}=y_{1} \andland ... \andland x_{n}=y_{n}) \implies (R(x_{1},...,x_{n}) \implies R(y_{1},...,y_{n}))</math>, kde R je libovolný relační symbol jazyka L.
* <math>(x_{1}=y_{1} \andland ... \andland x_{n}=y_{n}) \implies (F(x_{1},...,x_{n})=F(y_{1},...,y_{n}))</math>, kde F je libovolný funkční symbol jazyka L.
 
=== Odvozovací pravidla ===
Citováno z „https://cs.wikipedia.org/wiki/Hilbertovský_kalkulus“