A lógica consiste no estudo dos princípios e das técnicas do raciocínio, procurando definir linguagens formais que permitam representar de forma precisa e sem ambiguidade a linguagem natural e estabelecendo regras que conduzam a uma construção rigorosa e sistemática de argumentos válidos. Desempenha, pois, um papel fundamental em qualquer área do saber, pelo que é de extrema importância que os alunos a explorem para mais facilmente a assumirem como uma ferramenta de aprendizagem e descoberta. Nesta atividade, é feita uma abordagem a noções elementares de lógica, com uma breve introdução ao cálculo proposicional da lógica clássica. Em seguida, é aberto aos alunos um espaço de resolução de desafios matemáticos, em pequenos grupos. No final, os alunos são encorajados a apresentar e discutir os resultados obtidos com os restantes participantes.

Duração: 1h/90min