universal proposition n (logic) a proposition that asserts something of all members of a class Synonym(s) universal Antonym(s) particular particular_proposition