lógica aristotélica conclusión