Presupunem contrariul Deducem consecințe Ajungem la absurd Păstrăm afirmația inițială Cum funcționează reducerea la absurd?