A proposal for analyzing and diversifying OBMEP Logic questions for use in Basic Education
logical reasoning; logic teaching; didactic proposal; problem-solving
Over the years, with each new edition of the OBMEP (Brazilian Educational Standards) administered to the classes I worked with, the perception grew that the questions that most intrigued students were those involving pure logical reasoning, without the need for specific mathematical knowledge. Incredulous, students questioned whether they would need to do any "additives" for these questions. This perception sparked the idea of bringing logic problems, like those found in puzzle magazines, into the classroom as a tool to sharpen students' reasoning. The BNCC (Brazilian National Curricular Framework) identifies logical reasoning as a skill to be developed in elementary and high school students, although it maintains its connection to mathematical content. This view can reinforce the idea that finding patterns, formulating problem-solving strategies, and investigating hypotheses are less mathematical. However, entire fields of mathematical knowledge, such as graph theory, emerged from mere speculation about puzzles that piqued curious minds. This dissertation seeks to create a space for logical questions to take center stage, with a view to implementing the teaching of propositional and predicate logic. These logic questions, which are excluded from the curriculum but are essential for equipping students with tools that help guide their reasoning, are used as a reference. To this end, the OBMEP logic questions are used as a reference, offering an interesting starting point for working with problem-solving methodology.