admissible rule in

this logic inference rule is admissible in that logical system