Considere as concatenações de símbolos do alfabeto da Lógica Proposicional dadas a seguir. Identifique aquelas que são fórmulas da Lógica Proposicional. Considere a forma simplificada de representação de fórmulas, em que os símbolos de pontuação podem ser omitidos.
\vee Q

Passo 1

O enunciado dá a única concatenação \vee Q
e pede para verificar se ela é uma fórmula bem‐formada (FBF) da Lógica Proposicional em representação simplificada (isto é, sem parênteses).
Em Lógica Proposicional, as FBF são geradas pelas regras:
  1. Toda variável proposicional (por exemplo, \!P, \!Q, \!R, …) é FBF.
  2. Se \alpha é FBF, então \lnot \alpha é FBF.
  3. Se \alpha e \beta são FBF, então \alpha \land \beta, \alpha \lor \beta, \alpha \to \beta etc. são FBF.
Na forma simplificada, pode‐se omitir parênteses mas mantém‐se a ordenação de dois operandos quando há conectivo binário.

Passo 2

Analisando \vee Q:
  • O símbolo \vee é um conectivo binário (ou disjunção).
  • Para aplicar a regra da disjunção seria preciso ter duas FBFs, uma antes e outra depois de \vee.
  • Em \vee Q só aparece um operando à direita Q e nada à esquerda.
  • Também não se trata de negação \lnot, que é o único conectivo unário.
Portanto, \vee Q não obedece a nenhuma das regras de formação de FBF.

Resposta

A concatenação \vee Q não é uma fórmula da Lógica Proposicional.

Exercícios relacionados