David Castilho
31/12/1969 • 21:00
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.
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.