Sejam p, q e r proposições simples e ∼p, ∼q e ∼r, respectivamente, as suas negações. As seguintes proposições compostas têm valor lógico verdadeiro:
p∨q
q∨ ∼r
r∨ ∼p
Pode-se concluir que o conjunto de proposições simples logicamente verdadeiras é dado por
A
{p}.
B
{q}.
C
{r}.
D
{p, q}.
E
{q, r}.