Pravidlo substitúcie je pravidlo, ktoré udáva, aké druhy dosadzovania do logického výrazu daného logického kalkulu sú prípustné. Pravidlo substitúcie udáva, ako z daných všeobecne splniteľných výrazov vyplývajú iné všeobecne splniteľné výrazy.
Pri pravidle substitúcie z výrokovej formuly í odvodzujeme výrokovú formulu vznikajúcu z í nahradením všetkých výskytov nejakej výrokovej premennej vo í ľubovoľnou výrokovou formulou. Napr. z formuly p => (q => p) dostaneme nahradením premennej p formulou p => q formulu (p => q) => (q => (p => q)).
Pozri aj pravidlo pravidlo generalizácie konštitutívne pravidlo pravidlo modus ponens pravidlo odlúčenia odvodzovacie pravidlo produkčné pravidlo pravidlo správania trópos algoritmus krok maxima metóda postup poučka sútra syntax expertný systém výnimka
Externé odkazy
Kategória:Matematika