Logique pour démonstration

[invite2caf9e39]

Bonjours j'aurais voulu savoir si un raisonnement de ce type est valable :
On cherche à démontrer que A=B
On suppose A=B : A=B <=> ... <=> (Un truc toujours vrai) , donc A=B

Ce type de raisonnement est bien juste ? J'ai un gros doute ^^
-----

[invitef8f652fc]

Dans la mesure où tu peux remonter toutes les équivalences oui, par exemple montrer que A=B <=> 0=0, revient à dire que la propriété est vraie puisque 0=0 est vraie.

[invite585c4bf5]

Du genre, je suppose 2=1 <=> 2-1=0 <=> 2=0+1<=>2=1 donc 2=1?

[invite2caf9e39]

Non pas de ce genre là Nissousspou ^^, mais merci vous m'enlevez un doute terrible =)

[A voir en vidéo sur Futura]

[invite0a963149]

Salut,

cela s'appelle tout bêtement un raisonnement par équivalence et c'est strictement juste !

(bien que très peu esthétique en mon sens)

mais ça marche !

ciao

[invite0a963149]

salut

tu remarqueras que 6!=6*5*4*3*2*1 et que 4!=4*3*2*1 donc que se passe-t-il si tu disises l'un par l'autre ?


ciao

[édit] (oups bug de forum dsl)