Kombinatorická logika

Z Wikipédie

Logika kombinatorická

logika kombinatorická je jeden zo smerov matematickej logiky,zaoberajúci sa ananlýzou pojmov, ktoré sa v rámci klasickej matematickej logiky prijímajú bez ďalšieho skúmania. Patrí k nim pojem premennej, funkcie, pravidla substitúcie atď.

V klasickej matematickej logike sa používajú dva druhy pravidiel. Prvé sa formujú jednoducho a používajú sa bez akýchkoľvek ohraničení. Také je napríklad pravidlo modus ponens.

[ú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}}.