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