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 determinar, segundo as regras de formação de fórmulas bem formadas (wff) da lógica proposicional, quais expressões dadas são sintaticamente corretas. Vamos usar que: toda letra proposicional (ou átomo) é uma wff; se A é wff então ¬A também é wff; e podemos usar parênteses para agrupar.
Passo 2
Analisando a fórmula
:
- Primeiro,
é uma letra proposicional, logo é uma wff atômica. - Em seguida, aplicamos a regra do conectivo de negação: como
é wff, então é wff. - Por fim, os parênteses em torno de
apenas agrupam a expressão sem alterar sua well-formedness. Portanto é uma wff válida.
Resposta
A fórmula
é bem formada.