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