TryLogic tutorial: an approach to Learning Logic by proving and refuting

TL;DR

TryLogic is an interactive tutorial designed to teach proof theory through proving and refuting logical conjectures, integrated with Moodle for blended learning, and evaluated for effectiveness.

Contribution

The paper introduces TryLogic, a novel interactive tutorial framework for learning proof theory, integrated with Moodle via IMS LTI, and provides an evaluation of its effectiveness.

Findings

Successful integration with Moodle enhances accessibility.

The tutorial effectively teaches proof and refutation skills.

Evaluation shows positive learning outcomes.

Abstract

Aiming to offer a framework for blended learning to the teaching of proof theory, the present paper describes an interactive tutorial, called \textsc{TryLogic}, teaching how to solve logical conjectures either by proofs or refutations. The paper also describes the integration of our infrastructure with the Virtual Learning Environment \texttt{Moodle} through the IMS Learning Tools Interoperability specification, and evaluates the tool we have developed.