e-escola

Condições incompletas Intermédio

Publicado em 28/11/2005 

Há condições de variável natural que podem não ser verificadas totalmente.

Por exemplo, a condição

n2 - 5n - 150 > 0,

não é válida, como facilmente se observa, para n = 1, 2, 3, ... , 14, embora seja verificada para n > 15. (Note-se que n2 - 5 n - 150 = (n + 10)(n - 15)).

Temos, no entanto, neste exemplo, uma condição, P(n), que apesar de não ser verificada totalmente, é válida, digamos que a posteriori, ou seja, para valores de n maiores que um certo número natural.

Mais precisamente:

é verdadeira.

Numa situação deste tipo, diremos então que a condição P(n) é verificada posteriormente ou ulteriormente.

Assim, relativamente ao exemplo anterior, podemos afirmar que

n2 - 5 n - 150 > 0, posteriormente.

A condição

é válida posteriormente, sem que o seja totalmente. De facto, a relação

é válida se e só se n ≥ 100.

É esta ainda a situação concreta do exemplo da página seguinte.

Autor e Créditos

Autor:

  • José Manuel Ferreira
 

Tópicos Relacionados

 

Para comentar tem de estar registado no portal.

Esqueceu-se da password?

© 2008-2009, Instituto Superior Técnico. Todos os direitos reservados.
  • Feder
  • POS_conhecimento