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(P Q)

Passo 1

O enunciado pede para verificar, usando as regras de formação da lógica proposicional, se a expressão neg(P Q) é 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 neg φ é wff.

Passo 2

As letras P e Q são proposições atômicas, logo são, por definição, fórmulas bem formadas.

Passo 3

Como P e Q são wffs, podemos aplicar a regra do condicional:
(P Q)
é uma fórmula bem formada.

Passo 4

Dado que (P Q) é wff, aplicamos a regra da negação:
neg(P Q)
é também uma fórmula bem formada.

Resposta

A fórmula neg(P Q) é bem formada.

Exercícios relacionados