Verze z 2. 4. 2007, 12:10 editovat Glivi (diskuse \| příspěvky) 3 556 editací m →‎Odvozovací pravidla: one more typo ← Přejít na předchozí porovnání		Verze z 18. 12. 2007, 20:51 editovat zrušit editaci 89.185.230.72 (diskuse) →‎Axiomy pro predikátovou logiku Přejít na další porovnání →
Řádek 13: === Axiomy pro predikátovou logiku === Predikátový hilbertovský kalkulus obsahuje ~~všecny~~všechny výrokové axiomy, dvě odvozovací pravidla – modus ponens a generalizace (viz dále) a také následující predikátové axiomy. Systém těchto axiomů se podobně jako u výrokové verze nazývá souhrnně ''axiomy predikátové logiky (prvního řádu)''. Predikátové axiomy hilbertovského kalkulu jsou: * Axiom substituce: <math>(\forall x)(\varphi (x,y_{1},...,y_{n})) \implies \varphi (x/t,y_{1},...,y_{n})</math>, je-li [[term]] ''t'' substituovatelný za ''x'' do <math>\varphi</math>.

Hilbertovský kalkulus: Porovnání verzí