![Obrázok:Commons-logo.svg [sk]](/sk/wiki/Obrázok:Commons-logo.svg.html){kind=link}
![Obrázok:Astronomy Amateur 3.jpg [sk]](/sk/wiki/Obrázok:Astronomy_Amateur_3.jpg.html){kind=link}
![Obrázok:Physical world.jpg [sk]](/sk/wiki/Obrázok:Physical_world.jpg.html){kind=link}
![Obrázok:Chemistrylogo.svg [sk]](/sk/wiki/Obrázok:Chemistrylogo.svg.html){kind=link}
Konštruktivistická logika
z Wikipédie, slobodnej encyklopédie
Konštruktivistická logika je smer v logike, ktorý pripúšťa existenciu objektov len vtedy, ak sa dajú (podľa určitých pravidiel) skonštruovať. Konštruktivistická logika neuznáva nepriamy dôkaz (zákon vylúčenia tretieho) v nekonečných množinách.
[upraviť] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok