VU Elementare Mathematik, Einheit 2 (Aussagenlogik, Mengenlehre)