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.