Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Normalização de provas na dedução natural

Índice Normalização de provas na dedução natural

Normalização de provas na dedução natural é o processo de eliminar possíveis redundâncias existentes numa árvore de prova criada a partir da Dedução natural, assim obtendo a dedução mais simples possível, o que chamamos de "prova direta" ou "prova normal".

1 relação: Dedução natural.

Dedução natural

Dedução natural é um dos sistemas dedutivos utilizados para construir demonstrações formais na Lógica.

Novo!!: Normalização de provas na dedução natural e Dedução natural · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »