Considere o argumento a seguir.

P1: Toda capivara é verde.
P2: Ártemis é uma capivara.
Conclusão: Ártemis é verde.

Segundo a lógica formal, é correto afirmar que este argumento é: