pravidlo substituce
[Substytuce], logika, jedno ze základních pravidel odvozování v axiomatických soustavách. Ve výrokovém kalkulu: pravdivostní hodnota formule se nezmění, jestliže je v ní libovolná proměnná nahrazena libovolnou správně utvořenou formulí na všech místech výskytu této proměnné. V predikátovém kalkulu lze nahrazovat pouze volné proměnné.
Vytvořeno:
14. 3. 2000
Aktualizováno:
31. 8. 2006
Autor: -red-
Odkazující hesla: substituce.
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!