Dimostrazione per assurdo

[que1]

Perchè , in una dimostrazione per assurdo , se A=B porta ad una contraddizione logica , allora per forza è vero che A!=B ?
Grazie

[axpgn]

Casomai il contrario ... porta un esempio

[que1]

Mea culpa , avevo sbagliato a scrivere . Ho corretto il primo messaggio

[axpgn]

Detto informalmente: se supponendo vero un certo fatto e tramite ragionamenti logici giungiamo ad una conclusione sicuramente falsa, due sono le possibilità: o non è vero che siamo giunti ad una conclusione falsa o è errata l'ipotesi che abbiamo fatto supponendo vero quel fatto ... quindi se siamo ragionevolmente sicuri della nostra conclusione, ne discende che è falso ciò da cui eravamo partiti.