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.
neg neg(P wed>= P)

Passo 1

Resumo do enunciado: precisamos verificar se a fórmula negneg(Pwed>= P) é bem formada, usando as regras de formação de fórmulas proposicionais: 1) todo átomo é WFF; 2) se varphi é WFF então negvarphi é WFF; 3) se varphi e psi são WFF então (varphiwed>=psi) é WFF.

Passo 2

Identificar que P é um átomo, logo pela regra 1 temos que P é WFF.

Passo 3

Construir a subfórmula (Pwed>= P): como ambas as ocorrências de P são WFF, pela regra 3 segue que (Pwed>= P) é WFF.

Passo 4

Aplicar negação duas vezes: primeiro, como (Pwed>= P) é WFF, pela regra 2 neg(Pwed>= P) é WFF; em seguida, novamente pela regra 2, negneg(Pwed>= P) é WFF.

Resposta

A fórmula negneg(Pwed>= P) é bem formada.

Exercícios relacionados