Kombinatorická logika

z Wikipédie, slobodnej encyklopédie

Kombinatorická logika je jeden zo smerov matematickej logiky, zaoberajúci sa analý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.

Externé odkazy[upraviť | upraviť zdroj]

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