De ao menos um contraexemplo para as seguintes conjecturas:
Toda ave consegue voar.
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
em
,
” é refutada se existe algum
em
tal que
seja falsa. Esse
é 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”.