Considere as seguintes fórmulas do cálculo proposicional. I....
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,
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,