Bonjour,

J'ai besoin d'aide pour cet exo:

On on considère dans l'ensemble des entiers naturels N les assertions suivantes:

P<< 5 est un entier naturel>>;

Q<<3 est divisible par 2>>;

R<<Tout entier naturel pair est divisible par 2>>;

S<<Tout entier naturel impair est divisible par 2>>.

Les assertions P et R sont vraies et Q et S sont fausses.

On me demande de chercher la négation de chacune des assertions.

Voici comment j'ai fait :

P<<5  n'est pas un entier naturel>>;

Q<<3 n'est pas divisible par 2>>;

R<<il existe un entier naturel pair qui n'est pas divisible par 2>>;

<<il existe un entier naturel impair qui n'est pas divisible par 2>>.

Merci d'avance !