Bem-Vindo ao Ambiente Heráclito

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

O Ambiente Heráclito auxilia estudantes a resolver vários tipos de exercícios de Lógica, começando com exercícios para calcular o valor lógico de uma fórmula, passando por exercícios de construção de tabelas-verdade e chegando até exercícios de elaboração de provas de argumentos por meio das regras da Dedução Natural. Para isso o Heráclito disponibiliza o Caderno Eletrônico LOGOS que permite criar e editar fórmulas, tabelas-verdade e provas da Lógica Proposicional. O caderno LOGOS é compatível com tablets, smartphones e PCs. O Heráclito também oferece um serviço inteligente de tutoria que ajuda os estudantes a resolver seus exercícios. Para mais informações consulte a página do Projeto Heráclito.
O caderno LOGOS 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.


Já possui cadastro? Faça aqui!