De ao menos um contraexemplo para as seguintes conjecturas:
Toda ave consegue voar.

Passo 1

O enunciado pede um contraexemplo para a conjectura “toda ave consegue voar”. Isso envolve lógica de proposição universal e o conceito de contraexemplo: basta encontrar um elemento no conjunto “aves” que não satisfaça a propriedade “consegue voar”.

Passo 2

Em lógica, uma afirmação do tipo “para todo x em A, P(x)” é refutada se existe algum x em A tal que P(x) seja falsa. Esse x é o contraexemplo.

Passo 3

Um exemplo de ave que não voa é o pinguim. Embora pertença à classe Aves, o pinguim adapta suas asas para nadar, não para voo, e portanto não satisfaz a propriedade “consegue voar”.

Resposta

Um pinguim é um contraexemplo à conjectura “toda ave consegue voar”.

Exercícios relacionados