Método de Verificación Axiomática: Deducción Lógica y Verificación por Contraejemplo