Progresívna dedukcia

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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).

Externé odkazy[upraviť | upraviť zdroj]

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