Três pessoas, A, B e C, têm as seguintes características: os que dizem a verdade sempre falam a verdade, e os mentirosos sempre mentem. Eles fazem as seguintes afirmações:
• A diz: “B é mentiroso”;
• B diz: “A e C são verdadeiros”;
• C diz: “A e B são mentirosos”.
Com base nessas informações, quem é, necessariamente, verdadeiro?