Sejam p, q, r, s e t proposições simples e ~p, ~q, ~r, ~s e ~t as suas respectivas negações.
Se a proposição composta p ∨ q ∨ ~ r ∨ s ∨ ~ t tem valor lógico falso, pode-se afirmar que