Questão
ID 147073Disciplina: Raciocínio Lógico
Assunto: Linguagem da Lógica Proposicional
Ano: 2014 Banca: COPEVE/UFAL - FUNDEPES Órgão: Universidade Federal de Alagoas
Considere as seguintes fórmulas do cálculo proposicional.
\(\quad\)
I. ~~~R
II. (~R)
III. ~~(P ^ P)
IV. ~(P \(\leftrightarrow\) (Q ^ R))
\(\quad\)
Usando as regras de formação, verifica-se que são fórmulas bem formuladas,