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 o próximo item.

Se P for uma proposição verdadeira e se Q e R forem falsas, então as proposições S e [P➝(Q∨R)]∧(P↔Q) terão valores lógicos diferentes.