Simulador de lógica formal: Logicamente 2.0 – De entre as várias tipologias de exercícios encontram-se as seguintes:
- completar tabelas de verdade para classificar fórmulas proposicionais e argumentativas;

- completar formas argumentativas de acordo com as regras de inferência estudadas.

Salas do crime – um jogo interativo onde o aluno se serve das suas competências dedutivas para solucionar diferentes crimes, sempre sob a orientação do Inspetor LeBeaux;

Simulador de ética: Eticamente 1.0 – para construir um perfil ético em função da resposta a dilemas morais;

Gerador de testes;

Atividades interativas para lógica formal – exercícios com correção automática para treinar:

- quadrado da oposição;

- tradução;

- regras de inferência.

Atividades interativas complementares para todas as secções de exercícios do manual;

Animações tutoriais passo a passo para alguns aspetos de lógica formal;

Divertidas animações de diálogos entre filósofos. Os diálogos recriam o ambiente da popular aplicação WhatsApp®;

Animações de Laboratórios mentais;

Apresentações em PowerPoint® para os capítulos 1 a 7;

Canal YouTube® do projeto com vídeos relacionados com todos os capítulos;

Resumos áudio para todos os capítulos;

Testes interativos para o aluno e outros exclusivos do professor;

Kahoot®;

Conteúdos do Caderno de Apoio ao Professor em Word® para facilitar a adaptação dos recursos às necessidades dos professores.