Logika dla informatyków/Ćwiczenia 3