Pergunta 4 O quantificador existencial é uma ferramenta importante na lógica e na matemática para expressar a existência de pelo menos um elemento com determinada propriedade em um conjunto. É denotado pelo símbolo ∃ e é usado em afirmações que afirmam a existência de algo. Na ciência da computação, o quantificador existencial é frequentemente utilizado para descrever a existência de soluções ou objetos que satisfaçam determinadas condições em problemas computacionais. Considere um problema clássico de programação: encontrar um elemento específico em um conjunto de dados. Suponha que você tenha uma lista de números inteiros e deseje verificar se existe algum número par nessa lista. Nesse caso, você pode usar o quantificador existencial para expressar essa condição. Considere a lista de números inteiros a seguir: [1, 3, 5, 7, 8, 9]. Qual das seguintes afirmações é verdadeira? a. ∃x ∈ lista: x é um número irracional. b. ∀x ∈ lista: x é um número par. c. ∀x ∈ lista: x é um número primo. d. ∃x ∈ lista: x é um número par. e. ∀x ∈ lista: x é um número ímpar.