Preskočiť na obsah

Progresívna dedukcia

z Wikipédie, slobodnej encyklopédie

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.