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.
