SóProvas


ID
1960993
Banca
COPEVE-UFAL
Órgão
CASAL
Ano
2014
Provas
Disciplina
Raciocínio Lógico
Assuntos

. Considere as seguintes fórmulas do cálculo proposicional.
I. ~~~R
II. (~R)
III. ~~(P ^ P)
IV. ~(P ↔ (Q ^ R))

Usando as regras de formação, verifica-se que são fórmulas bem formuladas,

Alternativas
Comentários
  • LETRA B

    Já resolvi mais 1000 questões de raciocínio lógico. Só a COPEBA pra cobrar uma coisa dessas. 

    https://pt.wikipedia.org/wiki/F%C3%B3rmula_bem_formada

  • Chutei lindamente essa questão!!! kkk

  • Por que não é a letra E?

    A diferença entre uma fórmula e uma fórmula bem-formulada (FBF) é que essa faz sentido matemático e aquela não.

    Então:

    P v Q é FBF

    PP ^ ~Q(P não é FBF porque não dá para saber o sentido de PP ou ~Q(P. É só um monte de símbolos jogados.

     

    Logo, as quatro proposições apresentadas no enunciado são FBF, na minha opinião.

  • I. ~~~R  =  ( ~R)

    II. (~R)

    III. ~~(P ^ P) = ~(v)

    IV. ~(P ↔ (Q ^ R))  ~(P se então( v e r))

    observe que a letra b é a única que possui apenas um operador lógico, não há  proposição. Era isso que essa banca complicada queria.