En castellano reducción al absurdo, es un método de demostración matemática en la cual a partir de un conjunto “µ” de premisas, que constituyen las hipótesis, se quiere probar la validez de cierta conclusión T (si estamos tratando un teorema se suele denominar tesis).
|
etiquetas: lógica , reducción al absurdo , demostración matemática 
