A proposição lógica equivalente à afirmação " Se Lucas é cabeleireiro, então não trabalha aos domingos" é: