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)↔(~R).