Esercizietto di logica

[HowardRoark]

Sia $B$ l'insieme dei barbieri di Lodi che radono la barba a quelli e soltanto a quelli che non se la radono da soli.
Dimostrare che o B = insieme vuoto (non ho trovato il relativo simbolo tra le formule), oppure i barbieri appartenenti a $B$ hanno barbe...chilometriche.

Suppongo $B$ non vuoto e con più di un elemento. Non potrebbe essere che i barbieri si facciano la barba tra di loro?

[axpgn]

A me pare falso ...
Supponiamo che Paolo e Franco siano due barbieri di Lodi (perché proprio Lodi poi? Mah!), e supponiamo anche che sia Paolo che Franco non radano mai sé stessi ma si facciano fare la barba dall'altro, inoltre radano solo quelli che si non radono da soli.
Allora Paolo e Franco appartengono all'insieme $B$.
IMHO

Cordialmente, Alex

[HowardRoark]

Infatti è proprio quello a cui ho pensato io...