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é.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 31. 8. 2006
Autor: -red-

Odkazující hesla: substituce.

Reklama: