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.
Se ficar comprovado que apenas um dos quatro envolvidos no ilícito penal é culpado, então a proposição simbolizada por (~P)→(~Q)∨R será verdadeira.