Qui t'a dit que ce n'est pas correct ?

Tu peux voir dans ce topic Egalité d assertion que les mathiliens se sont déjà interrogés sur l'égalité entre 2 assertions.

Bonjour,

Apparemment ce n'est pas une question de logique mais plutot de notation. Je comprends qu'on ne puisse pas ecrire "=". Egalite de quoi ?

En revanche pour "<=>" j'imagine que c'est pour ne pas confondre avec les symboles d'implication et d'equivalence utilises dans les assertions elles memes.

Bonjour,
merci d'avoir répondu si rapidement.

Tout d'abord c'est mon directeur de mémoire qui m'a dit que ce n'était pas correct.

Ensuite il m'a donné une explication du genre:
"=" c est lorsque qu'on a la même chose des deux cotés de l'égalité et ce symbole par symbole.
Cette explication ne me convient pas trop parce qu'alors écrire 1+1=2 ne serait pas correct non?

Si on écrit (A=>B)<=> (Non A ou B)  cela voudrait dire "vrai"
La je ne comprends pas trop l'explication vu que c'est vrai....

La différence avec "est équivalent à" c'est que cela veut dire que les deux propositions ont les même table de vérité (et donc qu'elle sont équivalente) donc qu'elle ont les même valeur de vérité au m^me moment.

Bref je suis vraiment désolée mais je n'ai pas encore compris pourquoi on ne pouvait pas mettre "=" ou "<=>"

Ouais c'est comme une égalité entre fonctions.

f(A,B) = A=>B
g(A,B) = non A OU B

où A et B prennent les valeurs "vrai" ou "faux".