Výroky, kvantifikátory a množiny

Negace výroků, implikace a obměna, kvantifikátory, množinové operace, definice, věta a důkaz.