Al pasar por un salón, Santiago escucha discutir a un grupo de estudiantes indecisos si ir o no a un evento:


— Uno de ellos dice: Pero si no somos más de tres, ¿para qué ir? Además, todos mentimos.

— Otro estudiante se apresura en manifestar: No somos más de cuatro. No todos son mentirosos.

— El tercero afirma: Aquí somos cinco y son tres los que mienten.

Después de escuchar las tres aseveraciones, Santiago se lo comenta a un compañero. Éste le revela que en tal aula cada quien presenta una cualidad marcada: o bien dice la verdad o bien miente, pero nunca ambas.

¿Cuántos estudiantes hay en el referido salón? ¿Cuántos de ellos dicen la verdad?

Solución:

Ya que en el salón aludido se encuentran estudiantes que dicen estrictamente la verdad o bien mienten (como le fue descubierto a Santiago), entonces por lo menos uno de ellos es veraz en su afirmación o por lo menos uno es mentiroso.

Si hay como mínimo uno que dice la verdad, entonces el primer estudiantes al expresar: «todos mentimos» está manifestando una afirmación falaz; es decir, miente. Como también sostiene que «no son más de tres», se deduce, evidentemente, que «son más de tres»; esto es, en el aula hay 4, 5, 6 o más estudiantes.

Hemos demostrado, hasta aquí, que en el salón se encuentran cuatro o más alumnos. La afirmación del segundo («No somos más de cuatro. No todos son mentirosos») puede ser cierta o no. Evaluemos:

* Tal afirmación es cierta: Entonces hay cuatro estudiantes (no puede haber menos por lo ya probado). Además, si mintiera, la negación de «No todos son mentirosos» sería «Todos son mentirosos» (lo que es imposible sustentar porque por lo menos uno de ellos dice la verdad). Entonces, este segundo alumno dice la verdad. Descartamos una segunda evaluación.

Hasta este punto la deducción lógica nos ha mostrado que son cuatro los estudiantes que integran el salón, que el primero miente y el segundo dice la verdad. Como el tercero asegura que son cinco, es indiscutible que miente. Asimismo, éste afirma que "son tres los que mienten". Pero como él es mentiroso (ya son dos con él), el cuarto alumno (que no ha hablado) necesariamente dice la verdad. Entonces, son dos los que mienten y dos los que son veraces.