///
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