Considere as seguintes fórmulas do cálculo proposicional.

I. ~~~R

II. (~R)

III. ~~(P ^ P)

IV. ~(P !$ \leftrightarrow !$ (Q ^ R))

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