GitHub repository: Brenaki/logicatb
Primary language: TypeScript
Created: 2024-06-20T18:29:07Z
Description: Elaborar uma página web que descreva e exemplifique os seguintes tópicos: inferência proposicional com raciocínio para frente, unificação em lógica de primeira ordem, raciocínio para trás em lógica de primeira ordem e forma normal prenex. A tarefa deve ser realizada em grupos de 3 ou 4 alunos.