Pravidlo substitúcie

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 
 

Matematika