Pravidlo substitúcie - Biblioteka.sk

Upozornenie: Prezeranie týchto stránok je určené len pre návštevníkov nad 18 rokov!
Zásady ochrany osobných údajov.
Používaním tohto webu súhlasíte s uchovávaním cookies, ktoré slúžia na poskytovanie služieb, nastavenie reklám a analýzu návštevnosti. OK, súhlasím


Panta Rhei Doprava Zadarmo
...
...


A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

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

Externé odkazy

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
Zdroj:
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Zdroj: Wikipedia.org - čítajte viac o Pravidlo substitúcie





Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky použitia.

Your browser doesn’t support the object tag.

www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk