Základy logiky a teorie množin - neřešené příklady