19 vztahy: Aztécká říše, Důkaz sporem, Existenční kvantifikátor, Hilbertovský kalkulus, Intuicionistická logika, Lidská oběť, Logika, Matematická indukce, Matematická logika, Matematika, Náboženství, Negace, Nepřímý důkaz, Obecný kvantifikátor, Přímý důkaz, Právní předpis, Racionální číslo, Výklad práva, Zákon o vyloučení třetího.
Aztécká říše
Aztécká říše, přesněji Aztécký trojspolek (nahuatl Ēxcān Tlahtōlōyān), byl státní útvar předkolumbovské Ameriky, který se rozkládal na území Mezoameriky (dnešního Mexika), respektive konfederace tří městských států México-Tenochtitlánu, Texcoca a Tlacopánu.
Nový!!: Důkaz sporem a Aztécká říše · Vidět víc »
Důkaz sporem
Důkaz sporem (reductio ad absurdum) je typ logického důkazu, ve kterém se prokáže, že předpoklad vede k nesmyslnému výsledku (ke sporu), což znamená, že předpoklad je nepravdivý, a tedy platí jeho negace.
Nový!!: Důkaz sporem a Důkaz sporem · Vidět víc »
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ý!!: Důkaz sporem a Existenční kvantifikátor · Vidět víc »
Hilbertovský kalkulus
Hilbertovský kalkulus (také hilbertovský klasický kalkulus) je jeden z logických kalkulů, kterými se zabývá logika.
Nový!!: Důkaz sporem a Hilbertovský kalkulus · Vidět víc »
Intuicionistická logika
Intuicionistická logika je druh logiky, který nepoužívá princip vyloučeného třetího.
Nový!!: Důkaz sporem a Intuicionistická logika · Vidět víc »
Lidská oběť
incké dívky, která byla obětována na vrcholku posvátné hory Llullaillaco Aztékové prováděli lidské oběti pro boha Huitzilopochtli každý den při východu slunce Mořeplavec James Cook byl roku 1773 svědkem lidských obětí na Tahiti Lidská oběť je rituální obětování člověka bohu či bohům ukončením jeho života.
Nový!!: Důkaz sporem a Lidská oběť · 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ý!!: Důkaz sporem a Logika · Vidět víc »
Matematická indukce
Matematická indukce je metoda dokazování matematických vět a tvrzení, která se používá, pokud chceme ukázat, že dané tvrzení platí pro všechna přirozená čísla, případně jinou, předem danou nekonečnou posloupnost.
Nový!!: Důkaz sporem a Matematická indukce · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Důkaz sporem a Matematická logika · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Důkaz sporem a Matematika · Vidět víc »
Náboženství
Různé náboženské symboly Argentině Anglikánské procesí ve Walsinghamu Karmelitánská jeptiška v náboženské koncentraci tibetského buddhismu v Bódhgaja Indie Náboženství, religie je moderní souhrnný pojem pro velmi rozmanité soustavy jednání, symbolů a představ, jimiž různá společenství a církve vyjadřují reálný, životní, osobní vztah k transcendentní (smyslové vnímání přesahující) zkušenosti či transcendentním představám.
Nový!!: Důkaz sporem a Náboženství · Vidět víc »
Negace
Logická negace (používá se pro ni symbol \neg nebo \mathrm, popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda.
Nový!!: Důkaz sporem a Negace · Vidět víc »
Nepřímý důkaz
Nepřímý důkaz se v matematice používá k dokázání matematických vět tvaru implikace P \rightarrow T, tj.
Nový!!: Důkaz sporem a Nepřímý důkaz · 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ý!!: Důkaz sporem a Obecný kvantifikátor · Vidět víc »
Přímý důkaz
Přímý důkaz se v matematice používá k dokázání výroku, který má tvar implikace, kde A je výchozí předpoklad a B je výrok, který má být dokázán resp.
Nový!!: Důkaz sporem a Přímý důkaz · Vidět víc »
Právní předpis
Právní předpis je pramen práva, označovaný také jako normativní právní akt, který je jednostranně vydán orgánem veřejné moci a který obsahuje jednu, zpravidla ale více právních norem jako obecně závazných pravidel chování nebo jejich složek.
Nový!!: Důkaz sporem a Právní předpis · Vidět víc »
Racionální číslo
Racionální číslo je číslo, které lze vyjádřit jako zlomek, tedy podíl dvou celých čísel, většinou zapsaný ve tvaru \frac nebo a/b, kde b není nula.
Nový!!: Důkaz sporem a Racionální číslo · Vidět víc »
Výklad práva
Výklad neboli interpretace právních předpisů je velmi důležitou právní disciplínou, neboť ze samotného znění textu právních předpisů nelze ve složitějších případech jednoznačně vyčíst, jaké právní normy na daný případ dopadají a pokud ano, tak jak přesně jim v daném kontextu porozumět.
Nový!!: Důkaz sporem a Výklad práva · Vidět víc »
Zákon o vyloučení třetího
#PŘESMĚRUJ Zákon vyloučeného třetího.
Nový!!: Důkaz sporem a Zákon o vyloučení třetího · Vidět víc »
Přesměrování zde:
Argumentum reductionis ad absurdum, Logický spor, Reductio ad absurdum, Spor (logika), Spor (matematika).