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

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