Logic in a Logic Way: um Aplicativo para Exercitar a Resolução de Problemas de Lógica da Olimpíada Brasileira de Informática

The Brazilian Olympiad of Informatics (OBI) mobilizes a large number of students in the country every year. In the competition named “Initiation”, the competitors solve logic problems without using the computer. In order to expand the alternatives for the preparation of the competitors in this modality, we developed ”Logic in a Logic Way”, a mobile application which supports the user in the use of a systematic method of solving textual problems of logic. In this article, we present the design, implementation and test of this application by tutors with experience in preparing students for OBI. The results indicate possible improvements to the application, which is available as an open source software.