No universo dos números naturais, consideram-se duas propriedades p e q: p: n é um número natural primo e q: o número natural n possui somente os divisores 1 e n. Nessas condições, é CORRETO afirmar que a relação de implicação lógica entre as propriedades p e q é:
- A ~ p ⇒ q
- B ~ q ⇒ p
- C p ⇒ q
- D p ⇔q