Výroky
Žiak vie :
rozlíšiť používanie logických spojok a kvantifikátorov vo vyjadrovaní sa v bežnom živote na jednej strane a v rovine zákonov, nariadení, zmlúv, návodov, matematiky na strane druhej,
zistiť pravdivostnú hodnotu zloženého výroku (vytvoreného pomocou negácie, konjunkcie, disjunkcie, implikácie, ekvivalencie) z pravdivostných hodnôt jednotlivých zložiek (teda napísať pre danú situáciu príslušný riadok „tabuľky pravdivostných hodnôt“),
v jednoduchých prípadoch rozhodnúť, či je výrok negáciou daného výroku, vytvoriť negáciu zloženého výroku (nie len pomocou „nie je pravda, že…“),
Vysvetlite pojmy:
Výrok a jeho negácia
Pravdivostná hodnota výroku
Operácie s výrokmi a ich pravdivostné hodnoty
Negácia zložených výrokov
Matematická veta, obmena, obrátenie, negácia a jej pravdivostné hodnoty