KMT/ML Matematická logika pro učitele (ZSiLS)

Získat dovednost v rozlišování správného a nesprávného úsudku ve výrokovém i predikátovém kalkulu intuitivně, pravdivostní tabulkou, pomocí pravidel a užitím množin. Ovládat techniky pro zjištění typu formule výrokového kalkulu a predikátového kalkulu.