Bon jour à tous! j'ai une question sur une proposition logique et j'aurais besoin de vos lumières :
La proposition c'est :
Il éxiste a € Z, il existe b € Z-{0}, pour tout q € Z, pour tout r € N, r>= |b| ou a =/= bq + r
on me demande si c'est vrai.
La négation de ce truc c'est bien le théorème de la division euclidienne? alors si non (la proposition) est équivalent à un truc vrai, (la proposition) doit être fausse? Pourtant j'ai l'impression qu'elle est vrai cette proposition...