. 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,
Usando as regras de formação, verifica-se que são fórmulas bem formuladas,
Provas
Questão presente nas seguintes provas
