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 »