Ensino de Lógica através de estratégias de Demonstração e Refutação: A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability

Resumo

The present study proposes an interactive tutorial, namely the TRY - LOGIC, aimed at teaching to solve logical conjectures either by proofs or refu- tations. The study also aims at: describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally evaluating the tool.