Os quantificadores possuem a função de nos informar a respeito dê determinada quantidade de elementos em uma situação. Verifque a validade dos quantificadores a seguir para a proposição no universo dos números inteiros: 2x^2-5x+2=0 1-(forall x)(p(x)) II-(forall x)(sim p(x)) 111-(exists x)(p(x)) IV-(exists x)(sim p(x)) Agora assinale a alternativa que contém apenas proposições verdadeiras:

Para verificar a validade dos quantificadores, primeiro precisamos determinar seição \( p(x) \) é verdadeira ou falsa para a equação no universo dos números inteiros.Resolvendo a equação, encontramos as raízes e . Como estamos no universo dos números inteiros, apenas é válido.Agora, vamos analisar cada proposição:1. \( 1-(\forall x)(p(x)) \): Esta proposição afirma que não existe nenhum número inteiro que satisfaça \( p(x) \). Como é uma raiz, a proposição é falsa.2. \( II-(\forall x)(\sim p(x)) \): Esta proposição afirma que para todo número inteiro , \( p(x) \) é falso. Como é uma raiz, a proposição é falsa.3. \( 111-(\exists x)(p(x)) \): Esta proposição afirma que existe pelo menos um número inteiro que satisfaça \( p(x) \). Como é uma raiz, a proposição é verdadeira.4. \( IV-(\exists x)(\sim p(x)) \): Esta proposição afirma que existe pelo menos um número inteiro que não satisfaça \( p(x) \). Como é uma raiz, a proposição é falsa.Portanto, a alternativa que contém apenas proposições verdadeiras é a alternativa 3: \( 111-(\exists x)(p(x)) \).