Uma ideia que tive (ou que algum aluno teve - não lembro) em 2016 foi a de usar aplicativos para o desenho de mapas mentais para desenhar demonstrações usando o sistema de tablôs analíticos.
Mas nem todos os aplicativos funcionam bem. O que melhor funcionou para mim foi o Bubbl.us. Abaixo uma demonstração de um sequente não-válido usando o sistema de tablôs analíticos com fórmulas marcadas para lógica clássica proposicional:
Com uma conta grátis no Bubbl.us, você pode ter até 3 mapas. E pode compartilhar um link de um mapa, como este link do tablô abaixo, cujo sequente é válido:
Nenhum comentário:
Postar um comentário