///
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”.
Independentemente de quem seja culpado, a proposição {P∧(~Q)}∧{Q∨[(~Q)∨R]} será sempre verdadeira, isto é, será uma tautologia.