Considere o argumento:
P1: Se Paula é Parteira credenciada, então ela possui registro no COREN.
P2: Paula não possui registro no COREN.
C: Paula não é Parteira credenciada.
Assinale a alternativa que apresenta a regra de inferência que valida o argumento dado.