Em cada um dos itens a seguir, é apresentado um argumento lógico,
formado por uma ou mais premissas — que devem ser consideradas
verdadeiras — e uma conclusão, a ser julgada CERTA ou ERRADA, a partir das premissas.
Lúcio visitou três detentos no presídio: Mateus, muito
religioso, que sempre diz a verdade; Juca, ressentido, que
sempre mente, não falando nunca a verdade; e Otávio, de
poucas convicções, que ora mente, ora diz a verdade. Lúcio
não conhece nenhum desses detentos, mas sabe que um deles
será libertado amanhã. Em conversa com eles, Lúcio ouviu um
deles dizer: “Amanhã eu saio da cadeia”. Outro complementou:
“É verdade, amanhã ele sai da cadeia”. E o terceiro
contestou ambos: “Sou eu que amanhã saio da cadeia!”. Conclusão: quem sairá do presídio amanhã será Mateus.