Z Wikipédie
Regresívna dedukcia je dedukcia, ktorá vychádza z teorém a vedie späť k axiómam. Regresívna dedukcia má povahu dôkazu. Opakom regresívnej dedukcie je progresívna dedukcia.
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok