Hilbertovský kalkulus: Porovnání verzí
Smazaný obsah Přidaný obsah
m →Odvozovací pravidla: typo |
m →Odvozovací pravidla: one more typo |
||
Řádek 27:
=== Odvozovací pravidla ===
Velkou roli v axiomatizaci [[logika|logiky]] hrají takzvaná odvozovací pravidla, která nejsou žádným druhem axiomů, ale pro svůj blízký vztah k nim se mezi ně někdy zařazují. Odvozovací pravidla jsou dvě, jedno pro výrokovou i predikátovou logiku (Modus Ponens), druhé jen pro predikátovou logiku.
* Pravidlo ''modus ponens'': Z <math>\varphi , \varphi \implies \psi</math> odvoď <math>\,\psi</math>
* Pravidlo ''generalizace'': Z <math>\varphi</math> odvoď <math>(\forall x) \varphi</math>.
== Důkaz v hilbertovském kalkulu ==
|