A lógica computacional visa expressar ideias por meio de fórmulas proposicionais. Veja a frase: “As pessoas, ao longo do ciclo da vida, podem apresentar as seguintes fases: criança, jovem, adulto ou idoso”. Assinale a alternativa que descreve corretamente como construir uma sentença declarativa sobre as fases da vida apresentadas.

Alternativa E - Criança $\lor$ jovem $\lor$ adulto $\lor$ idoso.

A questão solicita a tradução de uma frase em linguagem natural para uma fórmula lógica proposicional. O ponto chave está na identificação correta do conectivo lógico presente no texto.

O enunciado afirma que as pessoas podem apresentar as fases: "criança, jovem, adulto ou idoso". Na lógica proposicional, a palavra "ou" é traduzida pelo operador de disjunção, representado pelo símbolo $\lor$.

Análise das Alternativas

Para resolver esta questão, devemos analisar o significado dos símbolos lógicos presentes nas opções:

• $\lor$ (Disjunção): Corresponde à palavra "ou". Indica que pelo menos uma das proposições deve ser verdadeira.
• $\land$ (Conjunção): Corresponde à palavra "e". Indica que ambas as proposições devem ser verdadeiras simultaneamente.
• $\rightarrow$ (Condicional): Corresponde a "se... então...".
• $\leftrightarrow$ (Bicondicional): Corresponde a "se e somente se".

Vamos verificar as opções apresentadas:

A alternativa E utiliza corretamente o símbolo $\lor$ para conectar todas as fases, refletindo a relação de exclusão ou escolha apresentada no texto original ("ou").

Portanto, a construção da sentença declarativa deve seguir a estrutura de disjunção entre os termos.