O artigo apresenta o desenvolvimento do algoritmo “Predimate” e seu protótipo de integração com o módulo da “Tabela-Verdade” na plataforma do Logic Live. O objetivo principal foi aprimorar o aprendizado dos alunos na disciplina de lógica proposicional, tornando o processo de construção de tabelas-verdade, princípio básico da área, mais eficiente e diversificado. Essa nova ferramenta automatiza o processo de geração de tabelas, simplificando argumentos complexos em partes menores, além de indicar as propriedades e a validade das tabelas.