Lógica computacional · Dedução natural
Aprende dedução natural, linha a linha
Faz provas em notação de Fitch e vê cada linha verificada, com a regra e as linhas que ela cita.
O que podes fazer
Provar
Escreve um sequente e faz a prova, com dicas, solução automática e contraexemplo.
Passo a passo
Vê uma prova gerada para o teu sequente e a estratégia de cada passo.
Aprender
Uma lição interativa sobre as regras, as subdeduções e as estratégias, com quiz no fim.
Exercícios
Provas graduadas, com o teu progresso guardado e o modo «encontra o passo errado».
O que é a dedução natural
É uma forma de mostrar que uma conclusão decorre de certas premissas, um passo de cada vez. Cada linha da prova aplica uma regra simples às linhas anteriores, e uma subdedução permite supor algo, ver onde isso leva e, depois, largar a suposição.