substituce



Logika, nahrazení nějakého pojmu jiným pojmem. Ve formalizovaných jazycích přechází formule V ve formuli V', substituuje-li se za výraz V na všech místech, v nichž se vyskytuje V, nějaký výraz V'. Viz také pravidlo substituce.

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

Sdílet: Facebook Twitter

Reklama: