Pedro diz que gosta de biscoito. Raquel diz que detesta chocolate. Sabemos que pelo menos um deles está mentindo.
Pela lógica formal, podemos deduzir corretamente que: