Výrokový počet: Výukový podklad a řešené příklady

Abstract

This work serves as a supporting material for mathematics teachers and teacher tra- ining students in preparing for teaching propositional logic in high school. It includes a concise instructional guide explaining key concepts (statement, negation, conjunction, disjunction, implication, equivalence, tautology, contradiction) supplemented with short motivational exercises. The second part of the work is a collection of exercises designed for practicing propositional logic. The work thus provides both direct support for tea- chers and an opportunity for students to actively engage in discovering the principles of propositional logic.

Tato práce slouží jako podpůrný materiál pro učitele matematiky a studenty učitelství při přípravě na výuku výrokového počtu na střední škole. Obsahuje stručný výukový podklad s vysvětlením klíčových pojmů (výrok, negace, konjunkce, disjunkce, implikace, ekvivalence, tautologie, kontradikce) doplněný o krátké motivační úlohy. Druhá část práce je sbírka určená na procvičení výrokového počtu. Práce tak nabízí jak přímou oporu pro učitele, tak prostor pro aktivní zapojení studentů do objevování principů výrokového počtu.