Formule (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
značka: editace z Vizuálního editoru |
Opraveno chybné použití interpunkce, které snižovalo srozumitelnost textu. značka: editace z Vizuálního editoru |
||
Řádek 33:
Podformulí formule <math>\varphi</math> je každá formule, která je částí formule <math>\varphi</math>.
Říkáme, že [[proměnná]] ''x'' je vázaná ve formuli <math>\varphi</math>, jestliže existuje podformule formule <math>\varphi</math> ve tvaru <math>(\forall x) \psi(x)</math>. Říkáme, že proměnná ''x'' je volná ve formuli <math>\varphi</math>, jestliže ''x'' má výskyt v nějaké podformuli <math>\,\psi</math>
Říkáme, že [[term]] ''t'' je substituovatelný za proměnnou ''x'' do formule <math>\varphi</math>, jestliže ''x'' není volná v žádné podformuli tvaru <math>(\forall y) \psi</math>, kde proměnná ''y'' má výskyt v termu ''t''. Tedy, pokud náš term ''t'' obsahuje proměnnou ''y'', která je v místě substituce vázaná, musí tam být i ''x'' vázaná.
|