Assinala a alternativa que apresenta uma sentença logicamente equivalente a "Se um número é primo, então ele é um número natural".

Se um número não é natural, então ele é um número primo.

Se um número não é primo, então ele é natural.

Um número pode ser não natural e primo.

Um número pode ser primo e não natural.

Se um número não é natural, então ele não é um número primo.