Qual a negação da proposição: se Bento é desocupado, então Guedes é trabalhador?