Bem-Vindo ao Sistema Heráclito

O debate é pai e rei de todas as coisas (Heráclito de Éfeso, circa 504 AC)

O Sistema Heráclito auxília estudantes a resolver problemas de prova de argumentos de Lógica Proposicional. O Heráclito pode ser usado em disciplinas de Lógica que usem o sistema de Dedução Natural para a prova dos argumentos, disponibilizando um editor de provas de Lógica compatível com tablets, smartphones e PCs. O Heráclito também oferece um serviço inteligente de tutoria que ajuda os estudantes a elaborar provas de argumentos da Lógica. Para mais informações consulte a página do Projeto Heráclito.
O editor de provas pode ser usado em modo online, com o apoio do serviço de tutoria, ou em modo offline, como usuário visitante, mas sem a tutoria. Para o modo online é necessário se logar ao sistema.

Acesse o editor de provas como visitante

O Heráclito ainda está sob desenvolvimento, então haverão modificações constantes no sistema.
Em caso de erros, ou se você quiser dar alguma sugestão, envie um email para heraclitoobaa@gmail.com.

Informações e modificações do sistema:


Já possui cadastro? Faça aqui!