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

• FILIT – zdroj, z ktorého pôvodne čerpal tento článok.