Progresívna dedukcia: Rozdiel medzi revíziami
filit |
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.