instantiation (exclusive disjunction)

a notation for a list of propositions characterizing any member of the set as possible and denoting that instance, ¶5-1-4. I. e. d. contrasts with instantiation (inclusive disjunction). (See also ¶4-5-2 and ¶5-5-3.)