Formule (logika): Porovnání verzí

Ří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''. Je-li ''x'' proměnná, ''t'' term a <math>\varphi</math> formule, <math>\varphi(x/t)</math> značí formuli, která vznikne nahrazením (substitucí) termu ''t'' za každý volný výskyt proměnné ''x'' v <math>\varphi</math>.

 

{{Portál matematika}}

* [[Výroková formule]]