19 vztahy: Existenční kvantifikátor, Goldbachova hypotéza, Logická operace, Logika, Matematická logika, Matematika, Množina, Nekonečno, Obecný kvantifikátor, Paradox, Predikát (logika), Predikátová logika, Prvočíslo, Russellův paradox, Sčítání, Sudá a lichá čísla, Třída (matematika), Teorie množin, Vlastní třída.
Existenční kvantifikátor
Existenční kvantifikátor (∃) (také malý kvantifikátor) je matematický symbol používaný nejčastěji v predikátové logice.
Nový!!: Kvantifikátor a Existenční kvantifikátor · Vidět víc »
Goldbachova hypotéza
Graf znázorňující počet způsobů, kterými lze dané číslo ''n'' rozložit na součet dvou prvočísel (pro 4≤''n''≤1 000 000) Goldbachova hypotéza je jeden z nejstarších a nejslavnějších dosud nevyřešených problémů matematiky, který spadá do teorie čísel.
Nový!!: Kvantifikátor a Goldbachova hypotéza · Vidět víc »
Logická operace
Logická operace je v matematice taková operace s výroky, jejímž výsledkem je opět výrok, jehož pravdivostní hodnota (PRAVDA nebo NEPRAVDA) závisí na pravdivosti výroků a druhu operace.
Nový!!: Kvantifikátor a Logická operace · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Kvantifikátor a Logika · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Kvantifikátor a Matematická logika · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Kvantifikátor a Matematika · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Kvantifikátor a Množina · Vidět víc »
Nekonečno
∞ jako symbol nekonečna zavedl anglický matematik John Wallis. Nekonečno (∞) je abstraktní pojem, který označuje kvantitu (množství) něčeho, co je tak veliké, že nemá konec (od slova konec je odvozeno slovo konečný), typicky se nedá spočítat, změřit, a pokud ano, tak je větší než každé konečné číslo.
Nový!!: Kvantifikátor a Nekonečno · Vidět víc »
Obecný kvantifikátor
Obecný kvantifikátor (∀) (také univerzální kvantifikátor či velký kvantifikátor) je matematický symbol používaný nejčastěji v predikátové logice.
Nový!!: Kvantifikátor a Obecný kvantifikátor · Vidět víc »
Paradox
Paradox (z řeckého paradoxos – nepodobný, náhlý, neočekávaný) je tvrzení, které spojuje pojmy nebo výroky v běžném slova smyslu si odporující v neočekávaný, překvapivý, ale smysluplný celek.
Nový!!: Kvantifikátor a Paradox · Vidět víc »
Predikát (logika)
Predikát je v logice takové jazykové sdělení (výraz), o němž má po obsahové stránce smysl tvrdit, že je buď pravdivé (označuje se slovem true nebo číslicí 1), nebo nepravdivé (označuje se slovem false nebo číslicí 0).
Nový!!: Kvantifikátor a Predikát (logika) · Vidět víc »
Predikátová logika
V matematice a logice se pojmem predikátová logika označuje formální odvozovací systém používaný k popisu matematických teorií a vět.
Nový!!: Kvantifikátor a Predikátová logika · Vidět víc »
Prvočíslo
Prvočíslo je přirozené číslo větší než 1, které je beze zbytku dělitelné jen dvěma děliteli: jedničkou a samo sebou.
Nový!!: Kvantifikátor a Prvočíslo · Vidět víc »
Russellův paradox
Russellův paradox (též Russellova antinomie) je paradox, objevený v roce 1901 Bertrandem Russellem, který ukazuje, že Cantorova intuitivní teorie množin (naivní teorie množin) je vnitřně sporná.
Nový!!: Kvantifikátor a Russellův paradox · Vidět víc »
Sčítání
Sčítání je jednou ze základních operací v aritmetice.
Nový!!: Kvantifikátor a Sčítání · Vidět víc »
Sudá a lichá čísla
V matematice je každé celé číslo buď sudé, nebo liché.
Nový!!: Kvantifikátor a Sudá a lichá čísla · Vidět víc »
Třída (matematika)
Třída (někdy také přesněji množinová třída) je matematický pojem z oboru teorie množin používaný pro označení souboru objektů, u kterých lze případ od případu určit, zda do dané třídy náleží nebo nenáleží – soubor tedy musí být dobře popsán z hlediska náležení.
Nový!!: Kvantifikátor a Třída (matematika) · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Kvantifikátor a Teorie množin · Vidět víc »
Vlastní třída
Třída je metajazykový konstrukt používaný v moderní teorii množin k usnadnění komunikace.
Nový!!: Kvantifikátor a Vlastní třída · Vidět víc »