João diz: “Maria está mentindo.” Maria diz: “João está mentindo.” Pode-se concluir logicamente que

ambos dizem a verdade.

ambos mentem.

um dos dois mente e o outro diz a verdade. Nesse caso, necessariamente, João diz a verdade e Maria mente.

um dos dois mente, e o outro diz a verdade. Nesse caso, necessariamente, Maria diz a verdade e João mente.

um dos dois mente, e o outro diz a verdade. Nese caso, não podemos determinar quem mente e quem diz a verdade.