Se é verdade que “Alguns médicos são canhotos” e que “Nenhum míope é canhoto”, então é necessariamente verdadeiro que:

Gabarito

Certo

Comentário do professor

Alguns médicos são canhotos e Nenhum míope é canhoto são as premissas do problema.

Formalizando: seja M(x) "x é médico", C(x) "x é canhoto" e Mi(x) "x é míope". As premissas são \(∃x\,[M(x)\land C(x)]\) e \(∀x\,[Mi(x)\to\neg C(x)]\).

Da segunda premissa obtemos a contrapartida lógica \(∀x\,[C(x)\to\neg Mi(x)]\), isto é, todo canhoto não é míope.

Aplicando essa propriedade ao indivíduo garantido pela primeira premissa (um médico canhoto), concluímos que existe um médico que não é míope.

Conclusão: algum médico não é míope, pois o médico canhoto não pode ser míope segundo a regra dada.