Sejam p, q, r e t proposições simples e ∼p, ∼q, ∼r e ∼t, respectivamente, as suas negações. Se as seguintes proposições compostas têm valor lógico falso:
p∨ ∼ q q∧ ∼ r r → t
conclui-se que são logicamente verdadeiras apenas as proposições simples