A alternativa que apresenta uma sentença aberta com o quantificador universal é: