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