Identificação do conectivo principal pela ordem de precedência
Gabarito: letra C. A proposição é uma condicional, pois após aplicar a ordem de precedência (negação, conjunção, disjunção, condicional, bicondicional), o conectivo principal é o condicional (→).
A ordem de precedência padrão dos conectivos lógicos é:
Negação (∼) – mais forte
Conjunção (∧)
Disjunção (∨)
Condicional (→)
Bicondicional (↔) – mais fraco
Na proposição dada: ∼∼p ∨ q → r ∧ (s ↔ ∼q ∨ ∼p)
Primeiro, resolvemos a dupla negação: ∼∼p = p.
Dentro dos parênteses, aplicamos a mesma ordem: ∼q ∨ ∼p é uma disjunção (∨), e depois o bicondicional (↔) com s.
Fora dos parênteses, temos: p ∨ q → r ∧ ( ... ). Pela precedência, a conjunção (∧) é mais forte que a condicional (→), então r ∧ ( ... ) é um bloco. A disjunção (∨) é mais forte que a condicional, então p ∨ q é um bloco. Logo, a estrutura é: (p ∨ q) → (r ∧ ( ... )).
Assim, o conectivo principal é → (condicional), tornando a proposição uma condicional.
Análise das alternativas
A) negação – ❌ Incorreta. A negação é o operador de menor escopo; não é o principal aqui.
B) disjunção – ❌ Incorreta. A disjunção aparece, mas está subordinada ao condicional.
C) condicional – ✅ Correta ⟵ GABARITO
D) conjunção – ❌ Incorreta. A conjunção está dentro do consequente da condicional.
E) bicondicional – ❌ Incorreta. O bicondicional aparece apenas dentro dos parênteses.
Conclusão: A proposição é uma condicional (se... então...).