universal proposition n 1: (logic) a proposition that asserts something of all members of a class [syn: {universal}, {universal proposition}] [ant: {particular}, {particular proposition}]