Pravidlo substitúcie

Z Wikipédie

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 substitucie 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)).

[úprava] Externé odkazy

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


Tento článok z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.

[úprava] Pravidlo - druhy/príklady

pravidlo

pravidlá úspechu

pravidlo akčné

pravidlo generalizácie

pravidlo konštitutívne

pravidlo modus ponens

pravidlo odlúčenia

pravidlo odvodzovacie

pravidlo produkčné

pravidlo správania

pravidlo substitúcie

trópos


[úprava] Pozri aj

pravidlo

algoritmus

druhy/príklady pravidiel

krok

maxima

metóda

postup

poučka

sútra

syntax

systém expertný

výnimka