Considere que as letras P, Q, R e T representem proposições e que os símbolos ¬, ∧, ∨ e ➔ sejam operadores lógicos que constroem novas proposições e significam não, e, ou e então, respectivamente. Na lógica proposicional, cada proposição assume um único valor (valor-verdade), que pode ser verdadeiro (V) ou falso (F), mas nunca ambos.


Considere as sentenças abaixo.

I Fumar deve ser proibido, mas muitos europeus fumam.
II Fumar não deve ser proibido e fumar faz bem à saúde.
III Se fumar não faz bem à saúde, deve ser proibido.
IV Se fumar não faz bem à saúde e não é verdade que muitos europeus fumam, então fumar deve ser proibido.
V Tanto é falso que fumar não faz bem à saúde como é falso que fumar deve ser proibido; conseqüentemente, muitos europeus fumam.

Considere também que P, Q, R e T representem as sentenças listadas na tabela a seguir.

            P Fumar deve ser proibido.
            Q Fumar de ser encorajado.
            R Fumar não faz bem à saúde.
            T Muitos europeus fumam.