Em cada um dos itens a seguir, é apresentado um argumento lógico, formado ...

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.