As proposições P, Q e R a seguir referem-se a um ilícito penal envolvendo João, Carlos, Paulo e Maria:

P: “João e Carlos não são culpados”.
Q: “Paulo não é mentiroso”.
R: “Maria é inocente”.

Considerando que ~X representa a negação da proposição X, julgue o item a seguir.

A proposição “Se Paulo é mentiroso então Maria é culpada.” pode ser representada simbolicamente por (~Q)!$ \leftrightarrow !$(~R).