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