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 se a fórmula (neg P rightarrow (Q wed>= R)) é bem formada, usando as regras de formação da Lógica Proposicional: átomos, conectivos unários (¬) e binários (∧, ↔ etc.) e parênteses.

Passo 2

Identificamos que P, Q e R são fórmulas atômicas válidas. Pela regra do conectivo unário, como P é fórmula, então neg P também é fórmula. Pela regra do conectivo binário, como Q e R são fórmulas, então (Q wed>= R) também é fórmula.

Passo 3

Por fim, aplicamos a regra do conectivo bicondicional: se F e G são fórmulas, então (F rightarrow G) é fórmula. Tomando F = neg P e G = (Q wed>= R), obtemos (neg P rightarrow (Q wed>= R)) como fórmula bem formada.

Passo 4

Portanto, seguindo as regras de formação, concluímos que a fórmula dada é bem formada.

Resposta

A fórmula (neg P rightarrow (Q wed>= R)) é bem formada.

Exercícios relacionados