Paradoxo do Mentiroso

Suponhamos que em uma comunidade haja dois tipos de pessoas, as que sempre falam a verdade, e as que sempre falam a mentira. 

Sejam duas pessoas, A e B. A diz que B é mentirosa. B diz que A fala a verdade.

  Se A fala a verdade, então B mente ao dizer que A fala a verdade, logo A é mentirosa. Chega-se, assim a uma contradição.

  Por outro lado, se A mente, então B fala a verdade ao dizer que A fala a verdade. Chega-se assim a uma contradição.