Na prvním cvičení „Logiky“ jsme hned začali dokazovat tvrzení pomoci „natural deduction“, což bylo fajn.