Proposições são sentenças que podem ser julgadas como verdadeiras - V - ou falsas - F -, de forma que um julgamento exclui o outro, e são simbolizadas por letras maiúsculas, como P, Q, R e S. A partir de proposições conhecidas, novas proposições podem ser construídas usando-se símbolos especiais. Alguns desses símbolos são apresentados na tabela abaixo.
Considerando as definições acima e a proposição {(P∨Q)→[R∧(~S)]}∨[(P∧S)↔(Q∧R)], julgue o item a seguir.
Essa proposição é logicamente equivalente à proposição {[(~R)∨S]→[( ~P)∧(~Q)]}∨[(P∧S)↔(Q∧R)].
