1. A statement in logic that asserts something about all members of a class or category, typically expressed with quantifiers such as 'all' or 'every'
The universal proposition 'All humans are mortal' makes a claim about every human being.
A proposição universal 'Todos os humanos são mortais' faz uma afirmação sobre cada ser humano.
2. In formal logic, a statement of the form 'For all x, P(x)' where P is a predicate
In symbolic logic, the universal proposition is represented by the universal quantifier (∀).
Em lógica simbólica, a proposição universal é representada pelo quantificador universal (∀).