Acerca da lógica sentencial, julgue o item que segue.
Se P, Q, R e S forem proposições simples, então as proposições PvR → Q∧S e (~Q)V(~S) →(~P)∧ (~R) serão equivalentes.
Se P, Q, R e S forem proposições simples, então as proposições PvR → Q∧S e (~Q)V(~S) →(~P)∧ (~R) serão equivalentes.