Luíz e João são servidores da Assembleia Legislativa e são responsáveis por organizarem os documentos contratuais de algumas licitações.

Em um diálogo entre os dois, surgem duas proposições:

Luíz diz: - Todas as pastas de arquivos são identificadas por um número de 5 algarismos!

João diz: - Você está mentindo!

Se a proposição de João é verdadeira, podemos concluir que