Problemita de lógica

En el Club de la Lógica de Verdalia se ha cometido un robo. Abel, Bruno y Carlos, a la vez testigos y sospechosos, son interrogados por un investigador.

Como todos los nativos de Verdalia, Abel, Bruno y Carlos pertenecen, o bien al grupo de los veraces (que sólo hacen afirmaciones verdaderas), o bien al de los mentirosos (que sólo hacen afirmaciones falsas). Los tres saben a qué grupo pertenecen los demás y saben, además, quién es el culpable del robo. Leamos sus declaraciones:

Abel: El ladrón es Bruno.
Bruno: El ladrón es Carlos.
Abel: Carlos es mentiroso.
Bruno: Carlos es mentiroso.

Carlos no dice nada.

¿A qué grupo pertenece cada uno? ¿Quién es el ladrón?