A negação da proposição “se Paulo trabalha oito horas por dia, então ele é servidor público" é logicamente equivalente à proposição: