Supondo falso o valor-lógico das proposições:

• Antônio trabalha no bairro Floresta. • Antônio reside no bairro Alegria.

A alternativa que apresenta uma sentença condicional composta verdadeira é: