Using deduction to prove the validity of an argument is not unlike playing one of the many board games. In checkers, for example, there is a board and a set of tokens. You move the tokens on the board according to a set of rules to achieve a specific goal. In a deductive proof there is a set of premises and a conclusion. The goal is to manipulate the premises with a set of inference rules to derive the conclusion. No prerequisites are needed to use this app. It contains ample documentation for the user.
Enjoy the app.