Z Wikipédie
Progresívna dedukcia je dedukcia, ktorá vychádza z axióm a odvodzovaním postupuje k teorémam. Progresívna dedukcia pripomína vodný tok, ktorý vyteká z prameňa (z axióm).
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok