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