Em lógica, quantificadores são operadores que definem o alcance de uma proposição em relação a um domínio. O quantificador universal (∀) indica que a propriedade se aplica a todos os elementos do domínio, enquanto o quantificador existencial (∃) afirma que há pelo menos um elemento no domínio que satisfaz a propriedade.
Com base nisso, assinale a sentença que pode ser expressa por meio de um quantificador universal.