According to the Brazilian Computer Society, the number of new
students in the computer area courses increases in the last years.
On the order hand, the Brazilian numbers and other countries point
to high dropout rates in these courses. The goal of managers and
teachers is to know the student’s reasons for dropout and to reduce
retention rates. The teachers could use different teaching strategies
to motivate students and learning assistance, such as games. The
goal of this work is to evaluate the usability of Andor: Learn Logic
and Trybit Logic applications for teaching Mathematical Logic. The
test was applied with different users and questions about the using
applications were responded to. The results show that the Trybit
Logic application presents better quality and easy to use. The users
consider it to be an easy to use, and intuitive game that, which can
be useful in teaching and learning Mathematical Logic because use
logical operators in a fun way.