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 potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.
[úprava] Pravidlo - druhy/príklady
pravidlá úspechu
pravidlo akčné
pravidlo konštitutívne
pravidlo odvodzovacie
pravidlo produkčné
pravidlo substitúcie
[úprava] Pozri aj
druhy/príklady pravidiel
systém expertný