Universal elimination is a fundamental rule of inference in predicate logic. It permits inferring a specific instance from a general…