Ensino de Sistemas Dedutivos com ferramentas

[Adolfo Neto]

Olá,

Geralmente peço que meus alunos aprendam tablôs analíticos com fórmulas marcadas para Lógica Clássica Proposicional (como mostrado no livro de Silva Finger e Melo, que é o livro texto principal da disciplina).

Peço que eles façam em papel, mas este semestre gostaria de dar uma alternativa de algum software em que eles possam desenhar a demonstração (ver imagem em anexo). Alguém já utilizou alguma ferramenta para isso?

Não quero nenhuma ferramenta que faça nada por eles (mas podem indicar se conhecerem). Apenas uma ferramenta que facilite o desenho da árvore de demonstração.

Na imagem anexo utilizei um aplicativo para Android (SimpleMind Free) que é utilizado para desenhar mapas mentais. O problema deste aplicativo é que só consegui extrair a imagem fazendo um print screen e depois recortando a imagem.

Abs,

Adolfo