Logika a teória množín – testy