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 etc. Novas proposições podem ser construídas usando-se símbolos lógicos. Uma expressão da forma P!$ \rightarrow !$Q é uma proposição cuja leitura é “se P, então Q” e terá valor lógico F quando P for V e Q for F; caso contrário, será sempre V. Uma expressão da forma P!$ \vee !$Q é uma proposição que se lê: “P ou Q”, e será F quando P e Q forem F; caso contrário, será sempre V. Uma expressão da forma P!$ \wedge !$Q, que se lê “P e Q”, será V quando P e Q forem V; caso contrário, será sempre F. Uma expressão da forma P!$ \leftrightarrow !$Q, que se lê “P, se e somente se Q” será V quando P e Q tiverem o mesmo valor lógico, caso contrário, será sempre F. A forma ¬P simboliza a negação de P e tem valores lógicos contrários aos de P.

A partir das informações acima, julgue o item que se segue.

A proposição ¬{P!$ \vee !$Q!$ \rightarrow !$(¬R)} é logicamente equivalente à proposição {(¬P)!$ \wedge !$(¬Q)}!$ \rightarrow !$R.