Logo
Úniapédia
Komunikácia
Teraz na Google Play
Nový! Na stiahnutie Úniapédia na Android ™!
Inštalovať
Rýchlejšie ako prehliadači!
 

Konštruktivistická logika

Index Konštruktivistická logika

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ť.

3 vzťahy: Nekonečná množina, Nepriamy dôkaz, Zákon vylúčenia tretieho.

Nekonečná množina

Nekonečná množina je množina, ktorá má nekonečne veľký počet prvkov (napr. množina všetkých celých kladných čísel).

Nový!!: Konštruktivistická logika a Nekonečná množina · Pozrieť viac »

Nepriamy dôkaz

Nepriamy dôkaz môže byť.

Nový!!: Konštruktivistická logika a Nepriamy dôkaz · Pozrieť viac »

Zákon vylúčenia tretieho

Zákon vylúčenia tretieho (lat. exclusi tertii principium) je logický zákon, podľa ktorého z dvoch výrokov, a to takých, že v jednom sa popiera to, čo sa tvrdí v druhom, je jeden určite pravdivý.

Nový!!: Konštruktivistická logika a Zákon vylúčenia tretieho · Pozrieť viac »

Presmerovanie tu:

Konštruktívna logika.

VychádzajúcePrichádzajúce
Hej! Sme na Facebooku teraz! »