Bájná logika: určování pravdivosti (střední)

QR kód

Kód / krátká adresa

Zkopírujte kliknutím. Zkopírováno!

NMK

umime.to/NMK

Nastavení cvičení

Vysvětlení nezobrazovatVysvětlení zobrazit u špatných odpovědíVysvětlení zobrazit pokud udělám chybu nebo mi to dlouho trváVysvětlení zobrazit vždy, je-li dostupné

Zobrazovat české překlady (překlady se zobrazí vždy u mixážních sad, kde jsou nutné pro jednoznačnost správné odpovědi).

Pozor, nastavení je platné pouze pro toto cvičení a předmět.

umime.to/NMK

Určování pravdivosti

Výrok je věta nebo tvrzení, které je buď pravdivé, nebo nepravdivé. V této sekci se zabýváme právě výroky a jejich jednoduchými kombinacemi a určováním jejich pravdivosti.

Příklady výroků

„Dnes jsem vstal v osm hodin ráno.“
„Mám na sobě červené tričko.“
„Můj bratr je starší než já.“

Příklady vět, které výroky nejsou

„Bude zítra pršet?“
„Běž spát!“
„Proč je tráva zelená?“

Složitější výroky a kombinace výroků

Kromě samotných výroků můžeme také výroky kombinovat. Výsledek takové kombinace je opět buďto pravdivý, nebo nepravdivý.

Základní kombinace a úpravy výroků

První výrok a zároveň druhý výrok → platí oba výroky
První výrok nebo druhý výrok → platí alespoň jeden z výroků
Negace výroku, tedy “Neplatí výrok” → opak platnosti výroku; tedy pokud je výrok pravdivý, tak výsledek pravdivý nebude, a naopak.

Výroky se mohou týkat například porovnání množství nebo takzvané kvantifikace, tedy mluvení o všech objektech nebo o existenci objektu.

Kvantifikátory a jejich negace

Pro všechny objekty platí výrok → existuje objekt, pro který neplatí výrok
Pro alespoň jeden objekt platí výrok/Existuje objekt, pro který platí výrok → pro žádný objekt neplatí výrok/ pro všechny objekty neplatí výrok
Pro žádný objekt neplatí/Neexistuje objekt, pro který platí → Pro alespoň jeden objekt platí

Kvantifikátory: všechny objekty z ničeho

Tvrzení typu všechny objekty ze skupiny mají vlastnost jsou vždy pravdivé, pokud ve skupině žádné objekty nejsou.

Mějme krabici plnou modrých ponožek. Pak je tvrzení „všechny červené ponožky v krabici v sobě mají díru“ pravdivé.

Porovnání množství a jejich negace

Já mám více hraček něž Anička → Já mám nanejvýš tolik hraček co Anička/Já mám stejně nebo méně hraček než Anička
Zmrzlina stojí méně něž auto → Zmrzlina je alespoň tak drahá jako auto/Zmrzlina stojí stejně nebo více než auto
Dneska je alespoň tak hezky, jako bylo včera → Dneska je méně hezky než bylo včera
A je nanejvýš tolik co B → A je více než B
Jsem stejně vysoký jako můj bratr → Jsem méně nebo více vysoký než můj bratr/Jsem vyšší nebo nižší než můj bratr

Podrobnější rozbor negací najdete dále v sekci Negace tvrzení.

Zavřít

Bájná logika: určování pravdivosti (střední)

Vyřešeno:

QR kód

Kód / krátká adresa

Nastavení cvičení

umime.to/NMK

Určování pravdivosti

Příklady výroků

Příklady vět, které výroky nejsou

Složitější výroky a kombinace výroků

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

Napište nám

Nevíte si rady?

Čeho se zpráva týká?