Une petite question dans l'arithmetiques dans Z

[zerow2001]

Salut mes meilleurs ami(e)s !
Pouvez vous corriger ma reponse s'il est possible

La question :


Montrez que Si : ( et )

Ma réponse :

et :
en remplacant m par sa valeur "mk" on trouve :
alors : c.q.f.d
Je veux savoir si ma réponse est juste et je veux aussi si'il est possible de partager avec moi une autre methode pour faire l'exercice si'il est disponible
MERCI !!!

[zerow2001]

PS : a et b dans Z
m et n dans IN

par sa valeur "nk" et pas "mk"

[Mimosa]

Bonjour

Oui, la réponse est correcte, plutôt mal rédigée. Si tu veux écrire des équivalences il faut utiliser des quantificateurs. Par exemple

.


On peut faire un peu d'acrobatie dans les quotients du type , mais ta méthode est bien meilleure.

[zerow2001]

Merci, oui, dans mon papier je fais les connecteurs logiques.