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
Resumo do enunciado: precisamos verificar se a fórmula
é bem formada, usando as regras de formação de fórmulas proposicionais: 1) todo átomo é WFF; 2) se
é WFF então
é WFF; 3) se
e
são WFF então
é WFF.
Passo 2
Identificar que
é um átomo, logo pela regra 1 temos que
é WFF.
Passo 3
Construir a subfórmula
: como ambas as ocorrências de
são WFF, pela regra 3 segue que
é WFF.
Passo 4
Aplicar negação duas vezes: primeiro, como
é WFF, pela regra 2
é WFF; em seguida, novamente pela regra 2,
é WFF.
Resposta
A fórmula
é bem formada.