  Prosleptic syllogisms then come about as follows: They are composed of a prosleptic premise and the categorical premise obtained by instantiating a term (C) in the antecedent ‘open categorical sentence’ as premises, and the categorical sentences one obtains by putting in the same term (C) in the consequent ‘open categorical sentence’ as conclusion. For example: