Considere as seguintes proposições lógicas: •  Se Mauro não está e...

Vamos analisar a questão de forma lógica, utilizando as proposições dadas para entender as relações entre elas. Primeiro, temos que traduzir as frases em proposições lógicas:

1. Se Mauro não está endividado (¬E), então seu carro está na funilaria (F): ¬E → F
2. Se Silvano foi de ônibus (O), então sua moto está na oficina (M): O → M
3. Se o carro de Mauro está na funilaria ou a moto de Silvano está na oficina, então haverá vaga para Janaína (J): (F ∨ M) → J

A pergunta é: Se não havia vaga para Janaína (¬J), o que podemos concluir sobre Mauro e Silvano?

Pela lógica, ¬J é o contrapositivo da terceira proposição, ou seja, se não há vaga, então nem o carro está na funilaria nem a moto na oficina: ¬J → ¬(F ∨ M), que equivale a ¬J → (¬F ∧ ¬M).

Então, temos ¬J que implica ¬F e ¬M.

De ¬F e a primeira proposição ¬E → F, pelo contrarrecíproco, temos ¬F → E, e como temos ¬F, podemos concluir E (Mauro está endividado).

De ¬M e a segunda proposição O → M, pelo contrarrecíproco, temos ¬M → ¬O, e como temos ¬M, concluímos ¬O (Silvano não foi de ônibus).

Portanto, a conclusão correta é que Mauro está endividado (E) e Silvano não foi de ônibus (¬O).

Comparando com as alternativas, a letra d) corresponde a essa conclusão: está endividado e Silvano não foi de ônibus para o trabalho.

Gabarito: d