Aplicação da Tríplice Contingência da Análise Comportamental na Gamificação do Módulo de Ensino e Aprendizagem da Lógica Proposicional