A presente pesquisa investiga dificuldades relacionadas as formas de demonstrações matemáticas sejam direta, contrapositivas, por redução ao absurdo, por contraexemplo, evidenciadas em registros de graduandos do curso de matemática de uma universidade norte paranaense. Entendemos que seja necessário um conteúdo para abordar o tema de pesquisa, deste modo selecionamos os conteúdos conjuntos e funções para elaborar uma proposta de atividades que foi aplicada aos sujeitos participantes dessa investigação. Para subsidiar a pesquisa nos apoiamos principalmente nos teóricos Balacheff (1987), em seus estudos sobre provas e demonstrações, e, Dreyfus (1991) acerca do pensamento matemático avançado. As análises consistiram em categorizar agrupamentos com resoluções similares e evidenciar as dificuldades explicitadas.