(logic) a proposition that asserts something of all members of a class
Universal
Logic
Proposition
Particular proposition