pravidlo substituce
pravidlo substituce [-ty-], log. jedno ze zákl. 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é.
