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