Hilbertovský kalkulus: Porovnání verzí
Smazaný obsah Přidaný obsah
m Odstranění linku na rozcestník Rovnost s použitím robota - Změněn(y) odkaz(y) na rovnost (matematika) |
|||
Řádek 18:
* Axiom <math>\forall</math>-distribuce: <math>((\forall x )(\varphi \implies \psi)) \implies (\varphi \implies (\forall x) \psi)</math>, není-li [[proměnná]] ''x'' volná ve <math>\varphi</math>.
V případě predikátové logiky prvního řádu s [[rovnost (matematika)|rovnost]]í se k axiomům predikátové logiky prvního řádu přidávají ještě axiomy pro [[rovnost (matematika)|rovnost]].
=== Axiomy rovnosti ===
|