Considerando que "se um animal é um cão, então ele é um mamífero; todos os mamíferos têm pelo”, conclui-se que "todos os cães têm pelo”. Diante de tal, pode-se afirmar que a natureza lógica da conclusão baseada nessas premissas define-se como uma