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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUN_gbAVfEWeOHgo6gEbpn%2B-N%2B7a0Ycz0UCY7Kbq06GPw%40mail.gmail.com.
