Quantificateurs
On note l'ensemble des entiers naturels, A l'ensemble des nombres pairs, et B l'ensemble des nombres premiers. Exprimer sous forme symbolique les phrases suivantes.
Question
Tout nombre pair est divisible par 2.
Question
Aucun nombre impair n'est divisible par 2.
Question
Il n'existe pas de nombre premier pair distinct de 2.
Question
Tout nombre premier distinct de 2 est impair.
Question
Il existe un nombre pair qui divise tout nombre pair.
Question
Tout nombre premier divise au moins un nombre pair
