Regresívna dedukcia

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