Segundo Alencar Filho (2003), para resolver o cálculo proposicional é necessário localizar o ponto de partida na proposição composta, para tal surge a ordem de precedência dos respectivos conectivos proposicionais. De acordo com a ordem de precedência, assinale a alternativa que contenha a sequência correta:

Para determinar a ordem de precedência (prioridade de resolução) dos conectivos no cálculo proposicional, usa-se a convenção mais comum na Lógica Proposicional:

1. Negação ($\neg$ ou $\sim$): é o conectivo de maior precedência, pois atua diretamente sobre uma proposição.
2. Conjunção ($\land$, aqui “˄”): vem antes da disjunção.
3. Disjunção ($\lor$, aqui “˅”).
4. Condicional/Implicação ($\to$, aqui “→”).
5. Bicondicional/Equivalência ($\leftrightarrow$, aqui “↔”): usualmente a de menor precedência.

Logo, a sequência correta é: “⁓”; “˄”; “˅”; “→”; “↔”, que corresponde à alternativa a.