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 R)

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 (neg R):
  • Primeiro, R é uma letra proposicional, logo é uma wff atômica.
  • Em seguida, aplicamos a regra do conectivo de negação: como R é wff, então neg R é wff.
  • Por fim, os parênteses em torno de neg R apenas agrupam a expressão sem alterar sua well-formedness. Portanto (neg R) é uma wff válida.

Resposta

A fórmula (neg R) é bem formada.

Exercícios relacionados