Logika dla informatyków/Ćwiczenia 1