Zadania z tego działu
III. Logika i zbiory
127
6. Dowodzenie implikacji i równoważności
155