Regresívna dedukcia

z Wikipédie, slobodnej encyklopé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.

Externé odkazy[upraviť | upraviť zdroj]

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