Observe as proposições lógicas simples P, Q e R.

• P: Hoje é dia de Natal.

• Q: Eu vou ganhar presente.

• R: A família está feliz.

As proposições ~P, ~Q , ~R são, respectivamente, as negações das proposições P, Q e R. O conectivo “e” é representado pelo símbolo ∧, enquanto o conectivo “ou” é representado por ∨ . A implicação é representada por →.

A proposição composta (~P ∧ R) → Q corresponde a