Uma sentença logicamente equivalente a "Se Roberto é carioca, então ele é trabalhador" é