FILIT
Obsah Chronológia Registre Diskusia Správa Zoznam L |
Logika konštruktivistickálogika konštruktivistická - 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.
|