Dimostrazione per assurdo

La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum) è un tipo di argomentazione logica in cui si assume temporaneamente un'ipotesi, si giunge a un risultato assurdo, e quindi si conclude che l'assunzione originale deve essere errata, siccome ha condotto a tale risultato assurdo. È nota anche come ragionamento per assurdo. Fa uso del principio del terzo escluso: un enunciato che non può essere falso, deve essere vero.
Per saperne di più visita Wikipedia.org...