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:
Questão
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:
Alternativas
a) “⁓”; “˄”; “˅”, “→”, “↔”.
b) “⁓”;“↔”; “⁓”; “˄”; “˅”.
c) “˄”; “˅”; “→”, “↔”; “⁓”.
d) “↔”; “⁓”; “˄”; “˅”; “→”.
e) “→”, “↔”; “⁓”; “˄”; “˅”.
Explicação
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:
- Negação ((\neg) ou (\sim)): é o conectivo de maior precedência, pois atua diretamente sobre uma proposição.
- Conjunção ((\land), aqui “˄”): vem antes da disjunção.
- Disjunção ((\lor), aqui “˅”).
- Condicional/Implicação ((\to), aqui “→”).
- Bicondicional/Equivalência ((\leftrightarrow), aqui “↔”): usualmente a de menor precedência.
Logo, a sequência correta é: “⁓”; “˄”; “˅”; “→”; “↔”, que corresponde à alternativa a.
Alternativa correta: (a).