///
Considerando que o símbolo lógico ∧ corresponda à conjunção “e”; ∨, à disjunção “ou”; →, à condicional “se..., então”; ↔, à bicondicional “se, e somente se”; ~ corresponda à negação “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P∧~(Q∨R)]→[R∨(P↔Q)], julgue os próximos itens.
Se Q for uma proposição verdadeira, então, independentemente dos valores lógicos de P e R, a proposição S será sempre verdadeira.