O que é
O projeto explora busca de provas no estilo meios-fins para lógica proposicional e adiciona uma camada educacional para teoremas de análise real, como limites, continuidade e derivadas simbólicas.
Voltar para projetos
Lógica simbólica
GPS Theorem Prover
Um provador de teoremas em Python inspirado no clássico General Problem Solver, criado para gerar passos de prova legíveis em vez de devolver apenas uma resposta booleana.
Destaques
- Expressões simbólicas imutáveis para lógica proposicional.
- Busca recursiva de provas com regras como Modus Ponens e De Morgan.
- Geração de passos legíveis, não apenas verdadeiro ou falso.
- Suporte a expressões reais simbólicas com somas, produtos, quocientes e potências.
- Provas educacionais para limites, continuidade e derivadas.
- Suíte de testes sem dependências externas usando unittest.