Análisis Formal de Conceptos de Roedores Portadores de Enfermedades Zoonóticas