Termo latino que pode ser traduzido como “Redução ao Absurdo”. Trata-se de um método para se obter conclusões a partir de negações de premissas. Normalmente é usado em computação para se obter provas matemáticas de resultados.
Termo latino que pode ser traduzido como “Redução ao Absurdo”. Trata-se de um método para se obter conclusões a partir de negações de premissas. Normalmente é usado em computação para se obter provas matemáticas de resultados.
