Výroková logika

Žáci čtou a zapisují tvrzení v symbolickém jazyce, používají logické spojky a rozlišují správný úsudek od nesprávného.

Průvodce tématem Výroková logika v předmětu Matematika pro I. ročník: co mají žáci zvládnout, na co navázat a kde nejčastěji chybují. K tomu příprava na hodinu, pracovní list nebo písemka, které ScioBot připraví na jedno kliknutí přesně pro tento ročník.

Připravit hodinu Všechny formáty

Klikněte a tvořte

Získejte přípravu zdarma

Vyberte formát. Jedním kliknutím otevřete tvorbu na téma Výroková logika (I. ročník) — ScioBot ho připraví za vás.

Připravit hodinu

Další formáty na jedno kliknutí

Téma i ročník jsou už vyplněné. Nic nepíšete — rovnou tvoříte.

Výroková logika v I. ročníku gymnázia zavádí přesný jazyk, kterým se zapisují tvrzení a skládají z jednodušších výroků. Žák rozlišuje výrok od věty, která výrok není, přiřazuje pravdivostní hodnotu a čte i zapisuje složené výroky pomocí spojek negace, konjunkce, disjunkce, implikace a ekvivalence (G-MAA-01-001, G-MAA-01-002, G-MAA-01-009).

Jádrem práce je pravdivostní tabulka a význam složeného výroku: kdy je konjunkce pravdivá, proč je disjunkce pravdivá už při jedné pravdivé složce a kdy je implikace nepravdivá. Na krátkých úsudcích žák odděluje platný postup (modus ponens, modus tollens) od záměny implikace za obrácenou nebo obměněnou (G-MAA-01-004).

Kvantifikátory a formální stavba definice–věta–důkaz se probírají v navazujících tématech; zde zůstává výroková vrstva: spojky, tabulky, tautologie a kontrola úsudku na konkrétních matematických i slovníkových výrocích.

Předpoklady

  • Rozlišovat pravdivé a nepravdivé tvrzení v běžné řeči a v aritmetice ZŠ
  • Číst jednoduché symbolické zápisy rovností a nerovností
  • Chápat, že matematická věta má předpoklad a závěr

Klíčové pojmy

Výrok
Oznamovací věta, o níž má smysl říci, že je pravdivá, nebo nepravdivá; otázka, rozkaz ani neurčitá věta výrok není.
Pravdivostní hodnota
Každému výroku přiřazujeme 1 (pravda) nebo 0 (nepravda); u složeného výroku ji určujeme z hodnot složek.
Negace
Výrok ¬A má opačnou pravdivostní hodnotu než A; negace „všechna lichá čísla jsou prvočísla“ není „žádné liché číslo není prvočíslo“.
Konjunkce a disjunkce
A ∧ B je pravdivá jen když jsou pravdivé obě složky; A ∨ B je pravdivá, stačí-li jedna pravdivá složka (včetně případu obou pravdivých).
Implikace A ⇒ B
Je nepravdivá pouze při pravdivém A a nepravdivém B; z nepravdivého předpokladu může implikace zůstat pravdivá.
Ekvivalence
A ⇔ B platí, právě když mají A a B stejnou pravdivostní hodnotu; čte se „právě tehdy, když“.
Tautologie a úsudek
Tautologie je složený výrok pravdivý při všech ohodnoceních složek; úsudek je správný, odpovídá-li tautologickému schématu (např. ((A ⇒ B) ∧ A) ⇒ B), jinak je nesprávný.

Časté miskoncepce

  • Častá chyba

    Žák čte A ∨ B jako „buď A, nebo B, ale ne obojí“ a v tabulce dává nulu, když jsou obě složky pravdivé.

    Jak na to

    Srovnej na tabuli disjunkci (alespoň jedna) s vylučovací „buď–anebo“; vyplň společně řádek 1∨1 a nech žáky opravit vlastní tabulku.

  • Častá chyba

    Žák prohlásí A ⇒ B za nepravdivou, jakmile je A nepravdivé („z blbosti přece nic neplyne“).

    Jak na to

    Vyplň čtyři řádky tabulky a zvýrazni jediný řádek 1⇒0; doplň slovní příklad s nepravdivým předpokladem, který implikaci nekazí.

  • Častá chyba

    Z A ⇒ B žák usoudí B ⇒ A („když z prvočísla plyne liché, tak z lichého plyne prvočíslo“).

    Jak na to

    Nakresli šipku jen jedním směrem a hned vedle zapiš obrácenou implikaci; nech třídu najít protipříklad (9 je liché a není prvočíslo).

  • Častá chyba

    Žák neguje „prší a je zima“ jako „neprší a není zima“ místo De Morganova ¬A ∨ ¬B.

    Jak na to

    Zapiš ¬(A ∧ B) do tabulky vedle (¬A) ∨ (¬B); slovy: stačí, aby neplatila aspoň jedna složka.

Jak učit

2–3 hodiny

  1. Evokace: žáci třídí věty na výroky a nevýroky a hádají, zda „Jestliže prší, je mokro“ platí, když neprší.
  2. Jádro: zavede se zápis spojek, vyplní se tabulky a na schématech se oddělí modus ponens a tollens od záměny implikace.
  3. Reflexe: každý žák zapíše jeden složený výrok symbolicky, určí hodnotu a označí, zda zadaný úsudek je, nebo není správný.

Nápady na aktivity

  • Dvojice dostane čtyři řádky tabulky k doplnění u ∧, ∨, ⇒, ⇔ a jednu větu k přepisu do symbolů.
  • Skupiny dostanou tři krátké úsudky; u každého musí říct „správný / nesprávný“ a ukázat řádek tabulky nebo protipříklad.

Hodnocení

Písemně: zapsat složený výrok spojkami, doplnit tabulku implikace a rozhodnout o správnosti jednoho úsudku.

Ústně: negovat konjunkci nebo disjunkci a vysvětlit, proč obrácení implikace není totéž co implikace.

Související témata

Zdroje

Co pro vás ScioBot připraví k tématu Výroková logika

Interaktivní aktivity, které žáci spustí na tabletu či tabuli, tisknutelné kartičky a hry pro celou třídu – každý formát na téma Výroková logika jedním klikem.

Základní materiály

Interaktivní aktivity 14

K tisku a rozstříhání 8

Hry pro celou třídu 4

Očekávané výstupy

  • G-MAA-01-001 žák čte a zapisuje tvrzení v symbolickém jazyce matematiky
  • G-MAA-01-002 žák užívá správně logické spojky a kvantifikátory
  • G-MAA-01-004 žák rozliší správný a nesprávný úsudek
  • G-MAA-01-009 výroková logika

Učíte Výroková logika trochu jinak?

Popište ScioBotu vlastními slovy, co s žáky chcete zvládnout a kolik máte času. Materiál přizpůsobí vašemu ŠVP, třídě i žákům se speciálními vzdělávacími potřebami.

Napsat ScioBotu

Související témata