Progresívna dedukcia: Rozdiel medzi revíziami

z Wikipédie, slobodnej encyklopédie
Otm (diskusia | príspevky)
filit
Otm (diskusia | príspevky)
d Dedukcia progresívna premiestnená na Progresívna dedukcia: invert
 
(Žiaden rozdiel)

Aktuálna revízia z 14:22, 2. október 2006

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.