Todas as pessoas que conhecem os irmãos Bernardo e Bianca gostam de Bianca. Entretanto, algumas pessoas que conhecem Bianca não gostam dela. É correto concluir que:

Gabarito

Certo

Comentário do professor

Premissas: (i) quem conhece os dois, Bernardo e Bianca, gosta de Bianca; (ii) existem pessoas que conhecem Bianca e não gostam dela.

Formalizando: (i) \((K_b(x)\land K_{bi}(x))\to G_{bi}(x)\). (ii) \(\exists x\,(K_{bi}(x)\land\neg G_{bi}(x))\).

Da premissa (i) segue que toda pessoa que conhece Bianca e também conhece Bernardo necessariamente gosta de Bianca. Mas a premissa (ii) garante a existência de algum indivíduo \(x\) que conhece Bianca e não gosta dela.

Conclusão: esse indivíduo não pode conhecer Bernardo, pois conhecer os dois implicaria gostar de Bianca — contradição com \(\neg G_{bi}(x)\). Logo \(\exists x\,(K_{bi}(x)\land\neg K_b(x))\): alguns que conhecem Bianca não conhecem Bernardo.