Elle est vraie.

Sa négation est "Tout entier non divisible par 6 n'est divisible ni par 2 ni par 3".

Sa contraposée est "Tout entier non divisible par 6 n'est pas divisible par 2 ou n'est pas divisible par 3".

Sa réciproque est "Tout entier divisible par 2 et par 3 est divisible par 6".