Inference rule
= Inference rule
An <inference rule> licenses a conclusion from specified premises, possibly with side conditions. A <derived inference rule> is justified by a <logical derivation> using the primitive <inference rules>; using it subsequently abbreviates that <logical derivation>.