Assim como na matemática, a precedência de operadores e o uso de parênteses são fundamentais para a resolução correta da expressão. Considerando o contexto, assinale a alternativa que apresenta corretamente a sequência de precedência de conectivos.

Alternativa A - Parênteses ( ); negação ( ¬ ); conjunções e disjunções ( ∧ e ∨ ); implicações e bi-implicações ( → e ↔ ).

Introdução

Esta questão aborda a precedência de operadores lógicos, conceito fundamental em lógica proposicional. Assim como na matemática com as operações aritméticas, existe uma ordem estabelecida para avaliar expressões lógicas.

Desenvolvimento

Na lógica proposicional, os conectivos devem ser avaliados em uma sequência específica para garantir resultados corretos:

Por que essa ordem?

• Parênteses: Sempre têm prioridade máxima, pois definem grupos explícitos
• Negação: Opera sobre um único operador, deve ser resolvida antes das combinações
• Conjunção/Disjunção: Combinam valores, ficam no meio da hierarquia
• Implicação/Bi-implicação: São as mais "fracas" logicamente, avaliam-se por último

Exemplo prático

Considere a expressão: ¬P ∧ Q → R

Sem parênteses, seguimos a precedência:

1. Primeiro: ¬P (negação)
2. Depois: (¬P) ∧ Q (conjunção)
3. Por fim: ((¬P) ∧ Q) → R (implicação)

Análise

• Alternativa A ✅ Correta - segue a ordem padrão aceita em lógica matemática
• Alternativa B ❌ Errada - coloca conjunção antes da negação
• Alternativa C ❌ Errada - coloca negação antes dos parênteses
• Alternativa D ❌ Errada - coloca negação por último
• Alternativa E ❌ Errada - coloca negação antes dos parênteses

Obs.: O texto original contém "ovo" em vez de "()", que é claramente um erro de digitação para representar parênteses.

Conclusão

A alternativa correta é a A, pois reflete a convenção universal de precedência de operadores lógicos usada em lógica formal e matemática discreta.