Considere verdadeira a declaração: "Se x é par, então y é ímpar".

Com base na declaração, é correto concluir que, se