Logické výroky slovy

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.

V rámci systémů Umíme je hlavní pokrytí logiky zařazeno pod matematikou: logika na Umíme matiku. Tam najdete matematické značení logických operací, úpravy logických výrazů, kvantifikátory, důkazy a další témata.

V rámci Umíme informatiku se zaměřujeme na ty partie logiky, které mají blízko k programování a řešení problémů:

• Logické úlohy na mřížce – logické úlohy se symboly a čísly (Sudoku, Ploty).
• Logické spojky a pravdivostní tabulky – základní logické spojky (and = a zároveň, or = nebo) a jejich použití.
• Logické výroky – tvrzení zapsaná slovy a jejich vyhodnocování.
• Negace tvrzení – tvorba tvrzení s opačnou pravdivostní hodnotou.
• Logické odvozování – vyvozování závěrů z několika tvrzení, řešení logických úloh s texty.