Policiais montaram um posto de vistoria em certo ponto de uma estrada. Alguns carros são obrigados a parar e os policiais conferem se o motorista tem habilitação válida e verificam, por meio de teste do bafômetro, se o motorista ingeriu ou não bebida alcoólica. A instrução que os policiais possuem é:

• Se o motorista tem habilitação válida e passa no teste do bafômetro então deve ser liberado.

Carlos, viajando nessa estrada, foi abordado pelos policiais e não foi liberado para prosseguir viagem.

É correto concluir que