Término latino que se puede traducir como "Reducción al Absurdo". Es un método para sacar conclusiones de la negación de premisas. Suele utilizarse en informática para obtener pruebas matemáticas de resultados.
Término latino que se puede traducir como "Reducción al Absurdo". Es un método para sacar conclusiones de la negación de premisas. Suele utilizarse en informática para obtener pruebas matemáticas de resultados.