As proposições P, Q e R a seguir referem-se a um ilícito ...

O conectivo se e somente se, transforma a questão em errada.

(~Q) --> (~R)

Q: Paulo não é mentiroso

R: Maria é inocente

A negação disso "equivaleria":

~Q: Paulo é mentiroso

~R: Maria é culpada

Para construirmos a proposição “Se Paulo é mentiroso então Maria é culpada.”

Devemos utilizar o simbolo da condicional ? que representa SE... ENTÃO e não o simbolo da bicondicional ? que representa SE...E SOMENTE SE. 

O correto seria (~Q) ? (~R)

;-)

Correto seria a Simbologia do: Se... Então...

A simbolização representa a frese:

"Paulo é mentiroso se, e somente se Maria é culpada"

Q --> ~R

Resolução: Pra que uma equivalência (<->) possa ser verdadeira é necessário que seja verdadeiro na ida e na volta. A frase dada por ele já está na ida, agora vamos ver a volta: Se Maria é culpada então Paulo é mentiroso. Ora, como posso afirmar isso , Maria pode ser culpada independente se Paulo é mentiroso ou não, ou seja , como eu não tenho como confirmar a volta então não dá pra afirmar que pode ser representado por uma equivalência.