Utilize as regras de formação para determinar quais das seguintes fórmulas são bem formadas, e quais não são. Justifique sua resposta.
Passo 1
O enunciado pede para verificar, usando as regras de formação da lógica proposicional, se a expressão
é uma fórmula bem formada (wff). Para isso, vamos precisar das regras básicas: (i) qualquer proposição atômica é wff; (ii) se
e
são wffs, então
é wff; (iii) se
é wff, então
é wff.
Passo 2
As letras
e
são proposições atômicas, logo são, por definição, fórmulas bem formadas.
Passo 3
Como
e
são wffs, podemos aplicar a regra do condicional:
é uma fórmula bem formada.
Passo 4
Dado que
é wff, aplicamos a regra da negação:
é também uma fórmula bem formada.
Resposta
A fórmula
é bem formada.