Raciocínio Lógico

Considere a sentença: Se x é um número par e y é um número maior do que x, então y é um número ímpar.

Sendo x um elemento do conjunto A e y um elemento do conjunto B, um cenário no qual a sentença dada é sempre verdadeira é: