O JAPE é um provador de teoremas com uma interface gráfica que permite a um usuário editar facilmente uma prova em uma das lógicas suportadas por ele, entre elas a dedução natural para as lógicas proposicional e predicativa.
Aqui você encontra um tutorial detalhado com todas as informações que você precisa para instalar, executar e usar o Jape para fazer provas em dedução natural para as lógicas citadas anteriormente.
Sistemas operacionais compatíveis com a última versão:
Sistemas testados com sucesso para a última versão:
Observação importante: É necessário ter o JRE v1.7 ou superior instalado corretamente para executar o Jape.
Se você tiver alguma sugestão para este tutorial, envia-me um e-mail.