Assinale a alternativa que contém a sentença logicamente equivalente a "Maria é ...

Questão de Raciocínio Lógico da banca FUNCAB aplicada no concurso SEPLAG MG (2014). Confira a resolução completa abaixo:

Assinale a alternativa que contém a sentença logicamente equivalente a "Maria é solteira, então Carlos é corredor".