Logika

F1O
Zkopírovat krátkou adresu (umime.to/F1O)
Ukázat QR kód

umime.to/F1O


Stáhnout QR kód
Ukázat/skrýt shrnutí

Logika zkoumá způsoby, jak vyvozujeme závěry z předpokladů. Logika původně vznikla jako součást filosofie, později se výrazně rozvinula v matematice. Dnes má důležité uplatnění i v informatice.

Základ matematického pojetí logiky je výroková logika, ve které pracujeme s výroky (tvrzení, která jsou buď pravdivá, nebo nepravdivá) a logickými spojkami (a zároveň, nebo, negace). Rozšířením výrokové logiky je predikátová logika, ve které navíc používáme kvantifikátory (existuje, pro každý).

Přehled témat o logice dostupných na Umíme matiku:

téma obsah
Logické výroky slovní zápis logických výroků
Logika: pojmy a značení zápis výroků pomocí logických spojek \wedge, \vee, \neg, \Rightarrow, \Leftrightarrow
Vyhodnocování logických výrazů vyhodnocování pravdivosti logických výrazů zapsaných pomocí logických operací
Úpravy logických výrazů úprava a zjednodušení logického výrazu podle pravidel práce s logickými operacemi
Kvantifikátory obohacení logických výrazů o existenční a obecný kvantifikátor \exists, \forall
Důkazy exaktní matematické postupy, jak ověřit platnost logických výroků

V rámci systémů Umíme najdete logiku také na informatice: logika na Umíme informatiku. Tam je důraz kladen na logické spojky používané při programování a na řešení logických úloh.

Souhrn mi pomohl
Souhrn mi nepomohl
Souhrn je skryt.

Rozhodovačka

Rychlé procvičování výběrem ze dvou možností.


Logika
Logické výroky
Mořská logika
Logika: pojmy a značení  
Zobrazit souhrn tématu
Vyhodnocování logických výrazů  
Zobrazit souhrn tématu
Úpravy logických výrazů  
Zobrazit souhrn tématu
Kvantifikátory  
Zobrazit souhrn tématu
Logika: mix


Pexeso

Hledání dvojic, které k sobě patří.


Logika
Logika: pojmy a značení  
Zobrazit souhrn tématu


Krok po kroku

Doplňování jednotlivých kroků v rozsáhlejším postupu.


Logika
Úpravy logických výrazů  
Zobrazit souhrn tématu


Porozumění

Čtení textů, odpovídání na otázky testující porozumění textu.


Obrázkové důkazy

Obrázek sice není plnohodnotným důkazem, ale často dokáže velmi výstižně ilustrovat základní myšlenku matematických tvrzení.

Matematická indukce

Zda nabízíme vypracované důkazy matematickou indukcí. Ke každému pak následuje několik otázek kontrolujících porozumění důkazu.



NAPIŠTE NÁM

Děkujeme za vaši zprávu, byla úspěšně odeslána.

Napište nám

Nevíte si rady?

Nejprve se prosím podívejte na časté dotazy:

Čeho se zpráva týká?

Vzkaz Obsah Ovládání Přihlášení Licence