Vaje iz Logike in množic na FMF, 9. 10. 2020