
A habilidade no tratamiento de implicações lógicas é imprescindível para que os futuros matemáticos sejam capazes de construir demonstrações. Apesar de sua importancia, os estudantes têm grandes dificuldades com esta tarefa. Neste artigo, apresenta-se uma pesquisa na qual estudantes universitários realizaram tarefas para a definição do conceito de proposição matemática (concretamente, implicações lógicas), identificação de enunciados deste tipo, reconhecimento de seus componentes e da funfao associada ao processo de demonstração. A construção do conceito foi gerada em discussões em pequenos grupos e em grandes grupos guiados pelo professor. Ambas foram gravadas totalmente e analisadas com o modelo RBC-C (Schwarz, Dreyfus & Hershkowitz, 2009) para documentar como o processo de construção ocorre.
Também poderá iniciar uma pesquisa avançada de similaridade para este artigo.