WordNet (r) 3.0 (2006):universal proposition n 1: (logic) a proposition that asserts something of all members of a class [syn: universal, universal proposition] [ant: particular, particular proposition]