a (logic) The relation of a universal proposition to a specific proposition of the same form with the universal quantified variable replaced by a specific instance.