Logika dla informatyków/Ćwiczenia 6