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