Dadas as premissas:
(1) Todos os médicos sảo pobres.
(II) Artistas são chatos.
(III) Margarido é médico
(IV) Nenhum chato é pobre.
Assinale entre as sentenças a seguir aquela que pode ser considerada uma conclusão das premissas:
a) Alguns pobres são chatos.
b) Margarıdo nāo é artista.
c) Existe pelo menos um médico que é artisla.
d) Alguns artistas são pobres.
(1) Todos os médicos sảo pobres.
(II) Artistas são chatos.
(III) Margarido é médico
(IV) Nenhum chato é pobre.
a) Alguns pobres são chatos.
b) Margarıdo nāo é artista.
c) Existe pelo menos um médico que é artisla.
d) Alguns artistas são pobres.
Passo 1
O enunciado nos dá quatro premissas sobre médicos (
), pobres (
), artistas (
) e chatos (
):
- Todos os médicos são pobres.
- Todos os artistas são chatos.
- Margarido é médico.
- Nenhum chato é pobre.
Conteúdo: lógica de predicados elementar e uso de contraposição para deduzir relações entre as classes.
Passo 2
Traduzindo para forma “se–então”:
–
–
–
–
–
–
–
–
Passo 3
Da premissa
obtemos, por contraposição,
.
Combinando com segue
.
Logo, nenhum médico é chato.
Combinando com
Logo, nenhum médico é chato.
Passo 4
Sabendo que
(todo artista é chato) e que nenhum médico é chato, concluímos
.
Ou seja, nenhum médico pode ser artista.
Ou seja, nenhum médico pode ser artista.
Passo 5
Em particular, como Margarido é médico, não pode ser artista.
Resposta
b) Margarido não é artista.