Verze z 2. 4. 2007, 12:08 editovat Glivi (diskuse \| příspěvky) 3 556 editací m →‎Axiomy pro predikátovou logiku: typo ← Přejít na předchozí porovnání		Verze z 2. 4. 2007, 12:09 editovat zrušit editaci Glivi (diskuse \| příspěvky) 3 556 editací m →‎Odvozovací pravidla: typo Přejít na další porovnání →
Řá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~~''modus ~~Ponens~~ponens'': Z <math>\,\varphi , \varphi \implies \psi</math> odvoď<math>\, \psi</math~~>.<br /~~> * Pravidlo ''generalizace'': Z<math>\ \varphi</math> odvoď <math>(\forall x) \varphi</math>. == Důkaz v hilbertovském kalkulu ==

Hilbertovský kalkulus: Porovnání verzí