Se Paulo é pedreiro, então Quirino não é marceneiro. Rute é analista se, e somente se, ...

Gabarito: b)

Vamos analisar as proposições dadas uma a uma, usando lógica proposicional.

1) "Se Paulo é pedreiro, então Quirino não é marceneiro." Isso é uma condicional: se P então não Q.

2) "Rute é analista se, e somente se, Silvia é dentista." Isso é uma bicondicional: R se e somente se S.

3) "Quirino é marceneiro ou Telma é diarista." Isso é uma disjunção: Q ou T.

Além disso, temos as informações: Telma não é diarista (não T) e Silvia não é dentista (não S).

Vamos deduzir:

Como Telma não é diarista (não T), da disjunção Q ou T, para que seja verdadeira, Q deve ser verdadeiro. Logo, Quirino é marceneiro.

Sabemos que Silvia não é dentista (não S). Pela bicondicional R se e somente se S, se S é falso, R também é falso. Portanto, Rute não é analista.

Por fim, da primeira condicional: se Paulo é pedreiro (P), então Quirino não é marceneiro (não Q). Mas já concluímos que Quirino é marceneiro (Q). Portanto, a condição P implica não Q não pode ser verdadeira se Q é verdadeiro. Logo, Paulo não é pedreiro (não P).

Assim, a conclusão correta é: Quirino é marceneiro, Rute não é analista, e Paulo não é pedreiro.

Fazendo uma checagem dupla, a alternativa que corresponde a essa conclusão é a letra b.

Portanto, o gabarito está correto.