«Pedro Hispano» es el nombre que recibe una regla de inferencia de aplicación en lógica.